From d88beae3d487fb8aefb07f93b42f112f553914b8 Mon Sep 17 00:00:00 2001 From: John David Pressman Date: Sat, 1 Jun 2019 02:24:59 -0700 Subject: [PATCH] Add environmental variables to make build --- src/build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/build.sh b/src/build.sh index d203b42e5..e79f66d86 100644 --- a/src/build.sh +++ b/src/build.sh @@ -1,3 +1,3 @@ #! /bin/sh - +eval $(opam env) dune build -p ligo