equal
deleted
inserted
replaced
85 |
85 |
86 CONFIGURE_OPTIONS += --infodir=$(CONFIGURE_PREFIX)/share/info |
86 CONFIGURE_OPTIONS += --infodir=$(CONFIGURE_PREFIX)/share/info |
87 CONFIGURE_OPTIONS += --libexecdir=$(CONFIGURE_PREFIX)/lib |
87 CONFIGURE_OPTIONS += --libexecdir=$(CONFIGURE_PREFIX)/lib |
88 CONFIGURE_OPTIONS += --enable-languages="c,c++,fortran,objc" |
88 CONFIGURE_OPTIONS += --enable-languages="c,c++,fortran,objc" |
89 CONFIGURE_OPTIONS += --enable-shared |
89 CONFIGURE_OPTIONS += --enable-shared |
|
90 CONFIGURE_OPTIONS += --with-build-config=no |
90 CONFIGURE_OPTIONS += --with-gmp-include=/usr/include/gmp |
91 CONFIGURE_OPTIONS += --with-gmp-include=/usr/include/gmp |
91 CONFIGURE_OPTIONS += --with-mpfr-include=/usr/include/mpfr |
92 CONFIGURE_OPTIONS += --with-mpfr-include=/usr/include/mpfr |
92 CONFIGURE_OPTIONS += --without-gnu-ld --with-ld=/usr/bin/ld |
93 CONFIGURE_OPTIONS += --without-gnu-ld --with-ld=/usr/bin/ld |
93 |
94 |
94 CONFIGURE_ENV += PYTHON="$(PYTHON)" |
95 CONFIGURE_ENV += PYTHON="$(PYTHON)" |