# Unix Makefile stub for separate compilation with Moscow ML.

MOSMLHOME=/home/kxs/143
MOSMLBIN=$(MOSMLHOME)/bin
MOSMLTOOLS=$(MOSMLBIN)/camlrunm $(MOSMLHOME)/tools
MOSMLC=$(MOSMLBIN)/mosmlc -c
MOSMLL=$(MOSMLBIN)/mosmlc

CC=gcc


.PRECIOUS: %.ui %.uo %.o %.so

all: mlsocket.so Socket.uo socktest.uo

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

%.ui: %.sig
	$(MOSMLC) $<

%.uo: %.sml
	$(MOSMLC) $<

%.o: %.c
	gcc -c -fPIC -Dunix -I$(MOSMLHOME)/src/runtime $<

%.so: %.o
	ld -shared -o $@  $<

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

### DO NOT DELETE THIS LINE
socktest.uo: Socket.ui 
Socket.uo: Socket.ui 
