ligo/scripts/build_ligo_local.sh

9 lines
171 B
Bash
Raw Normal View History

2019-09-06 06:02:18 +04:00
#!/bin/sh
set -e
eval $(opam config env)
dune build src # TODO: make it work with -p ligo
# TODO: also try instead from time to time:
#- (cd ./src/; dune build -p ligo)