2002-05-30 10:47:57 +00:00
|
|
|
--- dynlibs/intinf/Makefile.orig Wed Feb 16 16:36:57 2000
|
2003-06-15 13:33:28 +00:00
|
|
|
+++ dynlibs/intinf/Makefile Sun Jun 15 15:15:38 2003
|
2002-05-30 10:47:57 +00:00
|
|
|
@@ -10,10 +10,11 @@
|
|
|
|
|
include ../../Makefile.inc
|
|
|
|
|
|
|
|
|
|
OPTS=-fno-defer-pop
|
|
|
|
|
-CFLAGS=-Dunix -O2 $(OPTS) $(ADDDYNLIBCFLAGS) -I$(INCDIR) -I ${GMPDIR}
|
|
|
|
|
+CFLAGS=-Dunix -O2 $(OPTS) $(ADDDYNLIBCFLAGS) -I$(INCDIR)
|
|
|
|
|
|
|
|
|
|
MOSMLTOOLS=camlrunm $(MOSMLHOME)/tools
|
|
|
|
|
-MOSMLC=mosmlc -c
|
|
|
|
|
+#MOSMLC=mosmlc -c
|
|
|
|
|
+MOSMLC=../../runtime/camlrunm ../../compiler/mosmlcmp -stdlib ../../mosmllib -P none
|
|
|
|
|
MOSMLL=mosmlc
|
|
|
|
|
MOSMLLEX=mosmllex
|
|
|
|
|
MOSMLYACC=mosmlyac
|
|
|
|
|
@@ -21,13 +22,13 @@
|
|
|
|
|
all: libmgmp.so IntInf.uo
|
|
|
|
|
|
|
|
|
|
install:
|
|
|
|
|
- cp libmgmp.so $(LIBDIR)
|
|
|
|
|
+ cp libmgmp.so IntInf.sig IntInf.ui IntInf.uo $(LIBDIR)
|
|
|
|
|
|
|
|
|
|
intinf.o: intinf.c
|
|
|
|
|
$(CC) $(CFLAGS) -c -o intinf.o intinf.c
|
|
|
|
|
|
|
|
|
|
libmgmp.so: intinf.o
|
|
|
|
|
- $(DYNLD) -o libmgmp.so intinf.o ${GMPDIR}/libgmp.a
|
2003-06-15 13:33:28 +00:00
|
|
|
+ $(DYNLD) ${LDFLAGS} -o libmgmp.so intinf.o -lgmp
|
2002-05-30 10:47:57 +00:00
|
|
|
|
|
|
|
|
test:
|
|
|
|
|
mosml testintinf.sml
|
