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