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

/hets/
H A DMakefile306 CspCASL_files = CspCASL/AS_CspCASL.hs CspCASL/AS_CspCASL_Process.hs \ macro
398 CspCASL/ATC_CspCASL.der.hs: $(CspCASL_files) $(GENRULES)
399 $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CspCASL_files)
/hets/debian/
H A Drules306 CspCASL_files = CspCASL/AS_CspCASL.hs CspCASL/AS_CspCASL_Process.hs \ macro
398 CspCASL/ATC_CspCASL.der.hs: $(CspCASL_files) $(GENRULES)
399 $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CspCASL_files)

Completed in 1049 milliseconds