2019-09-06 06:02:18 +04:00
|
|
|
#!/bin/sh
|
|
|
|
|
set -e
|
2020-02-10 14:35:31 +04:00
|
|
|
set -x
|
2019-09-06 06:02:18 +04:00
|
|
|
|
|
|
|
|
eval $(opam config env)
|
2019-09-08 00:52:00 +04:00
|
|
|
dune build -p ligo
|
2019-09-06 06:02:18 +04:00
|
|
|
|
|
|
|
|
# TODO: also try instead from time to time:
|
|
|
|
|
#- (cd ./src/; dune build -p ligo)
|
