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

/hets/
H A DMakefile276 CASL_files = CASL/Sublogic.hs CASL/Morphism.hs CASL/Sign.hs \ macro
352 CASL/ATC_CASL.der.hs: $(CASL_files) $(GENRULES)
353 $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(CASL_files)
/hets/debian/
H A Drules276 CASL_files = CASL/Sublogic.hs CASL/Morphism.hs CASL/Sign.hs \ macro
352 CASL/ATC_CASL.der.hs: $(CASL_files) $(GENRULES)
353 $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(CASL_files)

Completed in 2467 milliseconds