blob: 2302c529bd1438fdb0c7552b8b2a316e4e5dabca (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
--- dynlibs/intinf/Makefile.orig Wed Feb 16 16:36:57 2000
+++ dynlibs/intinf/Makefile Fri Apr 12 02:21:26 2002
@@ -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) -o libmgmp.so intinf.o -lgmp
test:
mosml testintinf.sml
|
