Searched defs:THF_files (Results 1 - 2 of 2) sorted by relevance

/hets/
H A DMakefile334 THF_files = THF/As.hs THF/Cons.hs THF/Sign.hs THF/Sublogic.hs macro
437 THF/ATC_THF.der.hs: $(THF_files) $(GENRULES)
438 $(GENRULECALL) -i ATC.Id -i ATC.GlobalAnnotations -o $@ $(THF_files)
/hets/debian/
H A Drules334 THF_files = THF/As.hs THF/Cons.hs THF/Sign.hs THF/Sublogic.hs macro
437 THF/ATC_THF.der.hs: $(THF_files) $(GENRULES)
438 $(GENRULECALL) -i ATC.Id -i ATC.GlobalAnnotations -o $@ $(THF_files)

Completed in 757 milliseconds