diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index de00490bb..e005feae6 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -20,9 +20,9 @@ before_script: default-job: script: - - (cd src/lib_utils && ls -a && opam install -y --build-test --working-dir .) - - (cd src/ligo && ls -a && opam install -y --build-test --working-dir .) - - (cd src/ligo && ls -a && dune build && dune build -p ligo && dune build @ligo-test) + - (cd src/lib_utils && opam install -y --build-test --working-dir .) + - (cd src/ligo && opam install -y --build-test --working-dir .) + - (cd src/ligo && dune build && dune build -p ligo && dune build @ligo-test) artifacts: paths: - src/ligo/bin/cli.ml @@ -31,3 +31,8 @@ default-job: install-from-repo-job: script: - opam install -y ligo + # Used in the IDE + #- opam install -y user-setup + #- opam install -y merlin + #- opam install -y ocp-indent + #- opam user-setup install diff --git a/src/ligo/ligo.opam b/src/ligo/ligo.opam index b9ba9a104..1797dad77 100644 --- a/src/ligo/ligo.opam +++ b/src/ligo/ligo.opam @@ -15,7 +15,7 @@ depends: [ "ppx_let" "tezos-utils" "yojson" - "alcotest" { test } + "alcotest" { with-test } ] build: [ [ "dune" "build" "-p" name "-j" jobs ]