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

/hets/
H A DMakefile304 COL_files = COL/AS_COL.hs COL/COLSign.hs macro
395 COL/ATC_COL.der.hs: $(COL_files) $(GENRULES)
396 $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(COL_files)
/hets/debian/
H A Drules304 COL_files = COL/AS_COL.hs COL/COLSign.hs macro
395 COL/ATC_COL.der.hs: $(COL_files) $(GENRULES)
396 $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(COL_files)

Completed in 1361 milliseconds