diff --git a/build-deps.sh b/build-deps.sh deleted file mode 100755 index b38c70b7a..000000000 --- a/build-deps.sh +++ /dev/null @@ -1,8 +0,0 @@ -#!/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 -y user-setup install -opam install -y --build-test --deps-only ./src/ diff --git a/build.sh b/build.sh deleted file mode 100755 index e79f66d86..000000000 --- a/build.sh +++ /dev/null @@ -1,3 +0,0 @@ -#! /bin/sh -eval $(opam env) -dune build -p ligo diff --git a/install.sh b/install.sh deleted file mode 100755 index 78e7c42e5..000000000 --- a/install.sh +++ /dev/null @@ -1,6 +0,0 @@ -#! /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/src/build-deps.sh b/src/build-deps.sh deleted file mode 100644 index 821186320..000000000 --- a/src/build-deps.sh +++ /dev/null @@ -1,8 +0,0 @@ -#!/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/src/build.sh b/src/build.sh deleted file mode 100644 index e79f66d86..000000000 --- a/src/build.sh +++ /dev/null @@ -1,3 +0,0 @@ -#! /bin/sh -eval $(opam env) -dune build -p ligo diff --git a/src/install.sh b/src/install.sh deleted file mode 100644 index 78e7c42e5..000000000 --- a/src/install.sh +++ /dev/null @@ -1,6 +0,0 @@ -#! /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/src/makefile b/src/makefile deleted file mode 100644 index e775b0376..000000000 --- a/src/makefile +++ /dev/null @@ -1,11 +0,0 @@ -install: - ./install.sh - -build-deps: - ./build-deps.sh - -build: build-deps - ./build.sh - -test: build - dune build @ligo-test