equal
deleted
inserted
replaced
80 CONFIGURE_OPTIONS += --enable-shared |
80 CONFIGURE_OPTIONS += --enable-shared |
81 CONFIGURE_OPTIONS += --disable-static |
81 CONFIGURE_OPTIONS += --disable-static |
82 CONFIGURE_OPTIONS += --disable-libtool-lock |
82 CONFIGURE_OPTIONS += --disable-libtool-lock |
83 CONFIGURE_OPTIONS += --enable-thread-safe |
83 CONFIGURE_OPTIONS += --enable-thread-safe |
84 CONFIGURE_OPTIONS += --enable-tests-timeout=0 |
84 CONFIGURE_OPTIONS += --enable-tests-timeout=0 |
85 CONFIGURE_OPTIONS += --with-gmp-include=$(GMPINCDIR) |
85 CONFIGURE_OPTIONS += --with-gmp-include=$(shell pkg-config --variable=includedir libgmp) |
86 CONFIGURE_OPTIONS += --with-gmp-lib=$(USRLIB.$(BITS)) |
|
87 CONFIGURE_OPTIONS += --with-mulhigh-size=$(MPFRMULHIGH) |
86 CONFIGURE_OPTIONS += --with-mulhigh-size=$(MPFRMULHIGH) |
88 CONFIGURE_OPTIONS += --with-pic |
87 CONFIGURE_OPTIONS += --with-pic |
89 |
88 |
90 LINT_FLAGS += -I$(GMPINCDIR) |
89 LINT_FLAGS += -I$(GMPINCDIR) |
91 |
90 |