ligo/scripts/build_ligo_local.sh
Suzanne Dupéron 2cbc8bbf0c Revert "Revert "Merge branch 'feature/adt-generator-poly-3' into 'dev'""
This reverts commit 8b83e375bd189b3c32629a34e1ab2db787478656.
2020-04-13 19:23:12 +02:00

10 lines
148 B
Bash
Executable File

#!/bin/sh
set -e
set -x
eval $(opam config env)
dune build -p ligo
# TODO: also try instead from time to time:
#- (cd ./src/; dune build -p ligo)