cod-src = src/COD/*.hs src/*.hs
ghc-flags = -isrc

all: bin

bin: bin/comltouppaal bin/comlquery

bin/comltouppaal: src/Tools/COMLToUPPAAL.hs $(cod-src)
	ghc $(ghc-flags) src/Tools/COMLToUPPAAL.hs -o bin/comltouppaal

bin/comlquery: src/Tools/COMLQuery.hs $(cod-src)
	ghc $(ghc-flags) src/Tools/COMLQuery.hs -o bin/comlquery

clean:
	rm -f src/*.o src/*.hi src/*/*.o src/*/*.hi src/*/*/*.o src/*/*/*.hi
	rm -f bin/comltouppaal bin/comlquery

%.xml: %.coml bin
	bin/comltouppaal $*.coml $@