summaryloggraphiclog1graphiclog2commitcommitdifftreerefseditfork
rawcombined (merge: 7bff91e 74dedde)
rawcombined (merge: 7bff91e 74dedde)
| author | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Tue, 28 Aug 2018 18:06:34 +0000 (28 20:06 +0200) | ||
| committer | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Tue, 28 Aug 2018 18:06:34 +0000 (28 20:06 +0200) |
| 1 | 2 | |||
|---|---|---|---|---|
| Makefile.am | patch | diff1 | diff2 | blobhistory |
| configure.ac | patch | diff1 | diff2 | blobhistory |
diff --cc Makefile.am
--- 1/Makefile.am
--- 2/Makefile.am
+++ b/Makefile.am
MP_INCLUDE_H = include/isl/val_gmp.h
endif
-AM_CPPFLAGS = -I. -I$(srcdir) -I$(srcdir)/include -Iinclude/ @MP_CPPFLAGS@
+includes = -I. -I$(srcdir) -I$(srcdir)/include -Iinclude/
+AM_CPPFLAGS = $(includes) @MP_CPPFLAGS@
- AM_CFLAGS = @WARNING_FLAGS@
+ AM_CFLAGS = @WARNING_FLAGS@ @MP_CFLAGS@
libisl_la_SOURCES = \
$(MP_SRC) \
diff --cc configure.ac
Simple merge