Gardening.

This commit is contained in:
Christian Rinderknecht 2019-05-16 15:28:28 +02:00
parent 5fd234c8c8
commit cc706fc225

View File

@ -12,37 +12,32 @@ before_script:
- chmod +x /usr/local/bin/opam - chmod +x /usr/local/bin/opam
- export PATH="/usr/local/bin${PATH:+:}${PATH:-}" - export PATH="/usr/local/bin${PATH:+:}${PATH:-}"
# Show environment # Initialise opam
- echo "$PATH"
- printf '' | opam init --bare - printf '' | opam init --bare
- eval $(opam config env) - eval $(opam config env)
# Create switch # Create switch
- printf '' | opam switch create toto ocaml-base-compiler.4.06.1 - printf '' | opam switch create toto ocaml-base-compiler.4.06.1
- eval $(opam config env) - eval $(opam config env)
# Show versions and current switch # Show versions and current switch
- echo "$PATH"
- opam --version - opam --version
- printf '' | ocaml - printf '' | ocaml
- opam switch - opam switch
# default-job:
# script:
# - (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
local-dune-job: local-dune-job:
script: script:
- vendors/ligo-opam-repository/rewrite-local-opam-repository.sh - vendors/ligo-opam-repository/rewrite-local-opam-repository.sh
- opam repository add localrepo "file://$PWD/vendors/ligo-opam-repository-local/" - opam repository add localrepo "file://$PWD/vendors/ligo-opam-repository-local/"
- opam install -y --build-test --deps-only ./src/ - opam install -y --build-test --deps-only ./src/
- (dune build -p ligo) - dune build -p ligo
# TODO: also try instead from time to time: # TODO: also try instead from time to time:
#- (cd ./src/; dune build -p ligo) #- (cd ./src/; dune build -p ligo)
- dune build @ligo-test - dune build @ligo-test
# artifacts:
# paths:
# - src/ligo/bin/cli.ml
local-repo-job: local-repo-job:
script: script: