# 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=-I ../ParseBase -I ../.. -I ../../.. -I ../../../portableML
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
RawParser.ui: ParserData.uo RawTokens.ui ../ParseBase/Stream.ui \
    ../ParseBase/Token.ui 
UserDeclarations.uo: ../../Lib.ui RawTokens.ui \
    ../../../portableML/Portable_String.uo ../../../portableML/Portable.uo 
RawLex.uo: RawLex.ui RawTokens.ui ../../../portableML/Portable.uo \
    UserDeclarations.uo 
Actions.uo: MlyValue.uo Header.uo ../ParseBase/LRTable.ui ../../Term.ui 
EC.uo: MlyValue.uo Header.uo ../ParseBase/LRTable.ui 
MlyValue.uo: ../../Term.ui 
ParserData.uo: MlyValue.uo Header.uo ../ParseBase/LRTable.ui ../../Term.ui 
RawLex.ui: UserDeclarations.uo 
Header.uo: ../../Type.ui ../../Term.ui 
RawTokens.uo: RawTokens.ui MlyValue.uo ParserData.uo \
    ../ParseBase/LRTable.ui ../ParseBase/Token.ui 
RawTokens.ui: ParserData.uo ../ParseBase/Token.ui 
RawParser.uo: RawParser.ui ParserData.uo EC.uo Actions.uo \
    ../ParseBase/Stream.ui ../ParseBase/Token.ui RawLex.ui \
    ../ParseBase/LRParser.ui 
