head	1.2;
access;
symbols
	RELEASE_8_3_0:1.2
	RELEASE_9_0_0:1.2
	RELEASE_7_4_0:1.2
	RELEASE_8_2_0:1.2
	RELEASE_6_EOL:1.2
	RELEASE_8_1_0:1.2
	RELEASE_7_3_0:1.2
	RELEASE_8_0_0:1.2
	RELEASE_7_2_0:1.2
	RELEASE_7_1_0:1.2
	RELEASE_6_4_0:1.2
	RELEASE_5_EOL:1.2
	RELEASE_7_0_0:1.2
	RELEASE_6_3_0:1.2
	PRE_XORG_7:1.2
	RELEASE_4_EOL:1.2
	RELEASE_6_2_0:1.2
	RELEASE_6_1_0:1.2
	RELEASE_5_5_0:1.2
	RELEASE_6_0_0:1.2
	RELEASE_5_4_0:1.2
	RELEASE_4_11_0:1.2
	RELEASE_5_3_0:1.2
	RELEASE_4_10_0:1.2
	RELEASE_5_2_1:1.2
	RELEASE_5_2_0:1.2
	RELEASE_4_9_0:1.2
	RELEASE_5_1_0:1.1
	RELEASE_4_8_0:1.1
	RELEASE_5_0_0:1.1
	RELEASE_4_7_0:1.1;
locks; strict;
comment	@# @;


1.2
date	2003.06.15.13.33.28;	author arved;	state Exp;
branches;
next	1.1;

1.1
date	2002.05.30.10.47.57;	author jkoshy;	state Exp;
branches;
next	;


desc
@@


1.2
log
@Unbreak on 5.x.
Set CFLAGS and LDFLAGS to use libgmp from LOCALBASE.

PR:		48678
Reported by:	Matthias Buelow <mkb@@informatik.uni-wuerzburg.de>
@
text
@--- 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
@


1.1
log
@Upgrade to v2.0.

Submitted by:	Johannes 5 Joemann <joemann@@beefree.free.de>
@
text
@d2 1
a2 1
+++ dynlibs/intinf/Makefile	Fri Apr 12 02:21:26 2002
d29 1
a29 1
+	$(DYNLD) -o libmgmp.so intinf.o -lgmp
@

