4329
|
1 diff -ur interval-2.1.0.orig/src/Makefile interval-2.1.0/src/Makefile |
|
2 --- interval-2.1.0.orig/src/Makefile 2017-01-12 07:52:23.327056830 -0500 |
|
3 +++ interval-2.1.0/src/Makefile 2017-01-12 07:54:54.896233652 -0500 |
|
4 @@ -18,6 +18,8 @@ |
|
5 ## Use important flags in XTRA_CFLAGS for OpenMP (workaround for bug #45280) |
|
6 CFLAG_OPENMP =$(findstring -fopenmp,$(shell $(MKOCTFILE) -p XTRA_CFLAGS)) |
|
7 |
|
8 +CRLIBM_CONFIG_FLAGS ?= |
|
9 + |
|
10 all: $(OBJ) |
|
11 |
|
12 ## crlibm api oct-file |
|
13 @@ -37,7 +39,7 @@ |
|
14 crlibm/crlibm_private.o: crlibm/crlibm_config.h |
|
15 $(MAKE) -C crlibm CFLAGS+="$(shell $(MKOCTFILE) -p CPICFLAG) -Wno-div-by-zero -Wno-unused-variable -Wno-unused-but-set-variable" |
|
16 crlibm/crlibm_config.h: |
|
17 - (cd crlibm && ./configure --disable-dependency-tracking --enable-sse2) |
|
18 + (cd crlibm && ./configure --disable-dependency-tracking --enable-sse2 $(CRLIBM_CONFIG_FLAGS) ) |
|
19 |
|
20 ## GNU MPFR api oct-files |
|
21 mpfr_matrix_mul_d.oct mpfr_matrix_sqr_d.oct : mpfr_%.oct: mpfr_%.cc mpfr_commons.cc |