Searched refs:DFOL_files (Results 1 - 2 of 2) sorted by relevance

/hets/
H A DMakefile314 DFOL_files = DFOL/AS_DFOL.hs DFOL/Sign.hs DFOL/Morphism.hs DFOL/Symbol.hs macro
410 DFOL/ATC_DFOL.der.hs: $(DFOL_files) $(GENRULES)
411 $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(DFOL_files)
/hets/debian/
H A Drules314 DFOL_files = DFOL/AS_DFOL.hs DFOL/Sign.hs DFOL/Morphism.hs DFOL/Symbol.hs macro
410 DFOL/ATC_DFOL.der.hs: $(DFOL_files) $(GENRULES)
411 $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(DFOL_files)

Completed in 1047 milliseconds