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

/hets/
H A DMakefile338 OWL2_files = OWL2/AS.hs OWL2/Symbols.hs OWL2/Sign.hs OWL2/MS.hs \ macro
443 OWL2/ATC_OWL2.der.hs: $(OWL2_files) $(GENRULES)
444 $(GENRULECALL) -i ATC.Result -o $@ $(OWL2_files)
/hets/debian/
H A Drules338 OWL2_files = OWL2/AS.hs OWL2/Symbols.hs OWL2/Sign.hs OWL2/MS.hs \ macro
443 OWL2/ATC_OWL2.der.hs: $(OWL2_files) $(GENRULES)
444 $(GENRULECALL) -i ATC.Result -o $@ $(OWL2_files)

Completed in 677 milliseconds