Need config env before make?

plum-umd · Feb 5, 2016 · 4bae7a2 · 4bae7a2
1 parent 3d9e01d
commit 4bae7a2
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -10,6 +10,7 @@ PROFDIR = $(CURDIR)/profile
 TIME := $(shell date +"%Y.%m.%d-%H.%M.%S")
 
 all: clean
+	eval $(shell opam config env)
 	for ext in $(LIBS); do \
 		$(OCB) adapton.$$ext || exit 1 ; \
 	done