Searched refs:Maude_files (Results 1 - 2 of 2) sorted by relevance

/hets/
H A DMakefile318 Maude_files = Maude/Sign.hs Maude/Morphism.hs Maude/Sentence.hs \ macro
419 Maude/ATC_Maude.der.hs: $(Maude_files) $(GENRULES)
420 $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(Maude_files)
/hets/debian/
H A Drules318 Maude_files = Maude/Sign.hs Maude/Morphism.hs Maude/Sentence.hs \ macro
419 Maude/ATC_Maude.der.hs: $(Maude_files) $(GENRULES)
420 $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(Maude_files)

Completed in 1107 milliseconds