# HOL stub file for seperate compilation

MOSMLHOME=${HOME}/lang/ml/mosml
HOLDIR=${HOME}/work/ml/hol97.mosml

MOSMLTOOLS=camlrunm $(MOSMLHOME)/tools
LOCALTOOLS=camlrunm $(HOLDIR)/tools
INCLUDE=
MOSMLFLAGS=$(INCLUDE) -q
MOSMLC=mosmlc -c $(MOSMLFLAGS)
MOSMLL=mosmlc
MOSMLLEX=mosmllex
MOSMLYACC=mosmlyac

.SUFFIXES :
.SUFFIXES : .sig .sml .ui .uo

include OBJS.inc

all: $(OBJS)

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

.sig.ui:
	$(MOSMLC) $<

.sml.uo:
	$(MOSMLC) $<

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

### DO NOT DELETE THIS LINE
