# Makefile for dynamic library interface to GNU multiprecision package GMP

# The runtime system must be compiled with support for dynamic libraries.
# The GNU GMP multiprecision package must be installed.

# Where to find GMP header file and compiled library

#GMPDIR=${HOME}/c/gmp-2.0.2
GMPINCDIR=/usr/local/include
GMPLIBDIR=/usr/local/lib

include ../../Makefile.inc

#OPTS=-fno-defer-pop
ROOTDIR:=../..
CFLAGS=-Dunix -O3 $(OPTS) $(ADDDYNLIBCFLAGS) -I$(CAMLRT) -I${GMPINCDIR}
#CFLAGS=-Dunix -O2 $(OPTS) $(ADDDYNLIBCFLAGS) -I$(INCDIR) -I ${GMPDIR}
LDFLAGS+=-L$(GMPLIBDIR)

MOSMLTOOLS=camlrunm $(TOOLDIR)

all: libmgmp.so IntInf.uo


install:
	$(INSTALL_DATA) libmgmp.so $(DESTDIR)$(LIBDIR)
	$(INSTALL_DATA) IntInf.sig $(DESTDIR)$(LIBDIR)
	$(INSTALL_DATA) IntInf.ui $(DESTDIR)$(LIBDIR)
	$(INSTALL_DATA) IntInf.uo $(DESTDIR)$(LIBDIR)

intinf.o: intinf.c
	$(CC) $(CFLAGS) -c -o intinf.o intinf.c

libmgmp.so: intinf.o
	$(DYNLD) ${LDFLAGS} -o libmgmp.so intinf.o -lgmp -lc

test:
	echo $(CURDIR)
	mosml testintinf.sml

clean:
	rm -f *.o
	rm -f *.so
	rm -f *.ui
	rm -f *.uo
	rm -f Makefile.bak

depend: 
	rm -f Makefile.bak
	mv Makefile Makefile.bak
	$(MOSMLTOOLS)/cutdeps < Makefile.bak > Makefile
	$(MOSMLTOOLS)/mosmldep >> Makefile

### DO NOT DELETE THIS LINE
IntInf.uo: IntInf.ui 
