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

/hets/
H A DMakefile82 DRIFT = utils/DrIFT macro
566 $(DRIFT): $(DRIFT_deps)
578 $(GENRULES): $(DRIFT) $(GENERATERULES_deps)
715 %.hs: %.der.hs $(DRIFT)
716 $(DRIFT_ENV); export DERIVEPATH; $(DRIFT) $< > $@
/hets/debian/
H A Drules82 DRIFT = utils/DrIFT macro
566 $(DRIFT): $(DRIFT_deps)
578 $(GENRULES): $(DRIFT) $(GENERATERULES_deps)
715 %.hs: %.der.hs $(DRIFT)
716 $(DRIFT_ENV); export DERIVEPATH; $(DRIFT) $< > $@

Completed in 16 milliseconds