update isl for introduction of isl_printer
[barvinok.git] / NTL_5_3_2.patch
blob755cdc18d3d3fe0aa092499331e5d370f36405b2
1 --- makefile.orig Fri Sep 3 18:27:12 2004
2 +++ makefile Fri Sep 3 18:27:19 2004
3 @@ -381,6 +381,7 @@
4 install:
5 mkdir -p $(LIBDIR)
6 cp ntl.a $(LIBDIR)/libntl.a
7 + ranlib $(LIBDIR)/libntl.a
8 mkdir -p $(INCLUDEDIR)
9 - rm -r $(INCLUDEDIR)/NTL
10 mkdir $(INCLUDEDIR)/NTL
11 --- ctools.c.orig Fri Sep 3 18:28:11 2004
12 +++ ctools.c Fri Sep 3 18:28:16 2004
13 @@ -22,7 +22,7 @@
14 * side effect of forcing its argument into memory.
17 -double _ntl_IsFinite__local;
18 +double _ntl_IsFinite__local = 0;
19 double *_ntl_IsFinite__ptr1 = &_ntl_IsFinite__local;
20 double *_ntl_IsFinite__ptr2 = &_ntl_IsFinite__local;
21 double *_ntl_IsFinite__ptr3 = &_ntl_IsFinite__local;