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

/hets/
H A DMakefile332 Fpl_files = Fpl/As.hs Fpl/Sign.hs macro
434 Fpl/ATC_Fpl.der.hs: $(Fpl_files) $(GENRULES)
435 $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(Fpl_files)
/hets/debian/
H A Drules332 Fpl_files = Fpl/As.hs Fpl/Sign.hs macro
434 Fpl/ATC_Fpl.der.hs: $(Fpl_files) $(GENRULES)
435 $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(Fpl_files)

Completed in 26 milliseconds