at v206 20 lines 523 B view raw
1diff --git a/Makefile b/Makefile 2index 6a55b06..84a6000 100644 3--- a/make/Makefile 4+++ b/make/Makefile 5@@ -387,6 +387,7 @@ configure-seam-linux64: 6 ../sources/configure \ 7 --prefix='$(PREFIX)' \ 8 --with-warnings=yes \ 9+ --with-zlib='$(zlib)' \ 10 --disable-lightning) 11 12 .PHONY: configure-seam-darwin64 13@@ -434,6 +435,7 @@ configure-alice-ll-linux: 14 (cd $(PWD)/alice/build && \ 15 ../sources/vm-seam/configure \ 16 --prefix='$(PREFIX)' \ 17+ --with-gmp='$(gmp)' \ 18 --with-warnings=yes) 19 20 .PHONY: rebuild-alice-ll