We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 04a8515 commit 0ae6f6dCopy full SHA for 0ae6f6d
M2/libraries/cddlib/Makefile.in
@@ -9,7 +9,7 @@ VERSION = 0.94m
9
# https://www.inf.ethz.ch/personal/fukudak/cdd_home/
10
URL = https://macaulay2.com/Downloads/OtherSourceCode
11
ALLOPTIONS = SUBDIRS="lib-src" gmpdir=/nowhere
12
-CONFIGOPTIONS = $(ALLOPTIONS)
+CONFIGOPTIONS = $(ALLOPTIONS) MAKE="$(MAKE)"
13
14
# we build mpir as gmp statically, so we can't make a shared library here
15
CONFIGOPTIONS += --disable-shared
0 commit comments