--- dynlibs/intinf/Makefile.orig	Wed Feb 16 16:36:57 2000
+++ dynlibs/intinf/Makefile	Sun Jun 15 15:15:38 2003
@@ -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
+	$(DYNLD) ${LDFLAGS} -o libmgmp.so intinf.o -lgmp
 
 test:
 	mosml testintinf.sml