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

/hets/
H A DMakefile295 Modal_files = Modal/AS_Modal.hs Modal/ModalSign.hs macro
374 Modal/ATC_Modal.der.hs: $(Modal_files) $(GENRULES)
375 $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(Modal_files)
/hets/debian/
H A Drules295 Modal_files = Modal/AS_Modal.hs Modal/ModalSign.hs macro
374 Modal/ATC_Modal.der.hs: $(Modal_files) $(GENRULES)
375 $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(Modal_files)

Completed in 18 milliseconds