4454
|
1 diff -ur interval-3.0.0.orig/src/Makefile interval-3.0.0/src/Makefile |
|
2 --- interval-3.0.0.orig/src/Makefile 2017-08-22 12:31:47.602400636 -0400 |
|
3 +++ interval-3.0.0/src/Makefile 2017-08-22 12:33:50.151855098 -0400 |
|
4 @@ -29,6 +29,8 @@ |
|
5 CONF_FLAG_SSE2 ?=--enable-sse2 |
|
6 endif |
4329
|
7 |
|
8 +CRLIBM_CONFIG_FLAGS ?= |
|
9 + |
|
10 all: $(OBJ) |
|
11 |
|
12 ## crlibm api oct-file |
4454
|
13 @@ -48,7 +50,7 @@ |
4329
|
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: |
4454
|
17 - (cd crlibm && ./configure --disable-dependency-tracking $(CONF_FLAG_SSE2)) |
|
18 + (cd crlibm && ./configure --disable-dependency-tracking $(CONF_FLAG_SSE2) $(CRLIBM_CONFIG_FLAGS)) |
4329
|
19 |
|
20 ## GNU MPFR api oct-files |
4454
|
21 mpfr_matrix_mul_d.oct mpfr_matrix_sqr_d.oct : mpfr_%.oct: mpfr_%.cc mpfr_commons.h |