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

/hets/
H A DMakefile347 QVTR_files = QVTR/As.hs QVTR/Sign.hs macro
452 QVTR/ATC_QVTR.der.hs: $(QVTR_files) CSMOF/ATC_CSMOF.hs $(GENRULES)
454 -o $@ $(QVTR_files)
/hets/debian/
H A Drules347 QVTR_files = QVTR/As.hs QVTR/Sign.hs macro
452 QVTR/ATC_QVTR.der.hs: $(QVTR_files) CSMOF/ATC_CSMOF.hs $(GENRULES)
454 -o $@ $(QVTR_files)

Completed in 16 milliseconds