From 849b91157fca6451301abc4cfcd4bbd867a193b9 Mon Sep 17 00:00:00 2001 From: John David Pressman Date: Fri, 31 May 2019 20:51:23 -0700 Subject: [PATCH] Add rough draft of makefile to experiment with --- src/build-deps.sh | 6 ++++++ src/build.sh | 3 +++ src/install.sh | 6 ++++++ src/makefile | 11 +++++++++++ 4 files changed, 26 insertions(+) create mode 100644 src/build-deps.sh create mode 100644 src/build.sh create mode 100644 src/install.sh create mode 100644 src/makefile diff --git a/src/build-deps.sh b/src/build-deps.sh new file mode 100644 index 000000000..bbfd9c3cf --- /dev/null +++ b/src/build-deps.sh @@ -0,0 +1,6 @@ +#!/bin/sh +vendors/opam-repository-tools/rewrite-local-opam-repository.sh +opam repository add localrepo "file://$PWD/vendors/ligo-opam-repository-local-generated/" +opam install ocp-indent merlin alcotest-lwt crowbar +opam user-setup install +opam install -y --build-test --deps-only ./src/ diff --git a/src/build.sh b/src/build.sh new file mode 100644 index 000000000..d203b42e5 --- /dev/null +++ b/src/build.sh @@ -0,0 +1,3 @@ +#! /bin/sh + +dune build -p ligo diff --git a/src/install.sh b/src/install.sh new file mode 100644 index 000000000..99d86d003 --- /dev/null +++ b/src/install.sh @@ -0,0 +1,6 @@ +add-apt-repository ppa:avsm/ppa +apt update +apt-get install opam mercurial darcs make m4 gcc libev-dev libgmp-dev pkg-config libhidapi-dev +opam init --bare +y +y diff --git a/src/makefile b/src/makefile new file mode 100644 index 000000000..e775b0376 --- /dev/null +++ b/src/makefile @@ -0,0 +1,11 @@ +install: + ./install.sh + +build-deps: + ./build-deps.sh + +build: build-deps + ./build.sh + +test: build + dune build @ligo-test