cil-0.0.1: Makefile

.PHONY: all
all: Language/CIL.hs

CIL.hs: GenCIL.hs
	runhaskell -W GenCIL.hs

Language/CIL.hs: CIL.hs
	mkdir -p Language && cp CIL.hs Language/CIL.hs

#DrIFT-cabalized -o Language/CIL.hs CIL.hs

.PHONY: test
test: Test.hs Language/CIL.hs
	runhaskell -W Test.hs

.PHONY: clean
clean:
	-rm *.o *.hi
	-rm Language/*.o Language/*.hi
	-rm cil_types_nocomments.mli
	-rm CIL.hs
	-rm -r Language
	-rm -rf install-dumpcil-plugin