ligo/scripts/build_ligo_local.sh

#!/bin/sh
set -e

eval $(opam config env)
dune build -p ligo

# TODO: also try instead from time to time:
#- (cd ./src/; dune build -p ligo)
Fix CI and Makefile (WIP) 2019-09-06 04:02:18 +02:00			`#!/bin/sh`
			`set -e`

			`eval $(opam config env)`
Try to fix CI again 2019-09-07 13:52:00 -07:00			`dune build -p ligo`
Fix CI and Makefile (WIP) 2019-09-06 04:02:18 +02:00
			`# TODO: also try instead from time to time:`
			`#- (cd ./src/; dune build -p ligo)`