# Makefile for dynamic library interface to execv etc # The runtime system must be compiled with support for dynamic libraries. include ../../Makefile.inc OPTS=-fno-defer-popCFLAGS=-Dunix -O2 $(OPTS) $(ADDDYNLIBCFLAGS) -I$(INCDIR) MOSMLTOOLS=camlrunm $(MOSMLHOME)/toolsMOSMLC=mosmlc -cMOSMLL=mosmlcMOSMLLEX=mosmllexMOSMLYACC=mosmlyac all: libmunix.so  munix.o: munix.c	$(CC) $(CFLAGS) -c -o munix.o munix.c libmunix.so: munix.o	$(DYNLD) -o libmunix.so munix.o  install:	cp libmunix.so $(LIBDIR) test:	gcc -O2 -o sieve sieve.c	mosml testunix.sml clean:	rm -f *.o	rm -f *.so	rm -f sieve	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 LINESignal.uo: Signal.ui testunix.uo: Unix.ui Unix.uo: Unix.ui Signal.ui Unix.ui: Signal.ui