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

/hets/CspCASL/
H A DMakefile15 SOURCES = AS_CspCASL.hs \ macro
42 testwrap: $(SOURCES)
45 ccparse: ccparse.hs $(SOURCES) Print_CspCASL_Isabelle.hs

Completed in 3395 milliseconds