From afa272245642b1781a234116aac7a65064f79902 Mon Sep 17 00:00:00 2001 From: John David Pressman Date: Fri, 31 May 2019 22:32:23 -0700 Subject: [PATCH] Change directory of make files --- build-deps.sh | 8 ++++++++ build.sh | 3 +++ install.sh | 6 ++++++ makefile | 11 +++++++++++ 4 files changed, 28 insertions(+) create mode 100644 build-deps.sh create mode 100644 build.sh create mode 100644 install.sh create mode 100644 makefile diff --git a/build-deps.sh b/build-deps.sh new file mode 100644 index 000000000..821186320 --- /dev/null +++ b/build-deps.sh @@ -0,0 +1,8 @@ +#!/bin/sh +opam switch create .. ocaml-base-compiler.4.06.1 +eval $(opam env) +vendors/opam-repository-tools/rewrite-local-opam-repository.sh +opam repository add localrepo "file://$PWD/vendors/ligo-opam-repository-local-generated/" +opam install -y ocp-indent merlin alcotest-lwt crowbar +opam user-setup install +opam install -y --build-test --deps-only ./src/ diff --git a/build.sh b/build.sh new file mode 100644 index 000000000..d203b42e5 --- /dev/null +++ b/build.sh @@ -0,0 +1,3 @@ +#! /bin/sh + +dune build -p ligo diff --git a/install.sh b/install.sh new file mode 100644 index 000000000..78e7c42e5 --- /dev/null +++ b/install.sh @@ -0,0 +1,6 @@ +#! /bin/sh +sudo add-apt-repository -y ppa:avsm/ppa +sudo apt-get update +sudo apt-get install -y opam mercurial darcs make m4 gcc libev-dev libgmp-dev pkg-config libhidapi-dev +opam init --bare -a + diff --git a/makefile b/makefile new file mode 100644 index 000000000..e775b0376 --- /dev/null +++ b/makefile @@ -0,0 +1,11 @@ +install: + ./install.sh + +build-deps: + ./build-deps.sh + +build: build-deps + ./build.sh + +test: build + dune build @ligo-test