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

/hets/
H A DMakefile324 CSL_files = CSL/Sign.hs CSL/Morphism.hs CSL/AS_BASIC_CSL.hs CSL/Symbol.hs \ macro
425 CSL/ATC_CSL.der.hs: $(CSL_files) $(GENRULES)
426 $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(CSL_files)
/hets/debian/
H A Drules324 CSL_files = CSL/Sign.hs CSL/Morphism.hs CSL/AS_BASIC_CSL.hs CSL/Symbol.hs \ macro
425 CSL/ATC_CSL.der.hs: $(CSL_files) $(GENRULES)
426 $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(CSL_files)

Completed in 16 milliseconds