.PHONY: all
all: counter.log

.PHONY: doc
doc:
	haddock -o doc --html Language/Atom.hs \
                        Language/Atom/Language.hs \
                        Language/Atom/Compile.hs \
                        Language/Atom/Code.hs \
                        Language/Atom/TermsFake.hs \
                        Language/Atom/Common/*.hs

build_counter: Example.hs Language/*.hs Language/Atom/*.hs
	ghc --make -W -fglasgow-exts -o build_counter Example.hs

counter.mdl counter.c counter.h: build_counter
	./build_counter

counter.log: counter.c example_testbench.c
	gcc -Wall -o example_testbench counter.c example_testbench.c && ./example_testbench | tee counter.log

.PHONY: clean
clean:
	-rm doc/*.*
	-rm build_counter
	-rm build_counter.exe
	-rm counter.c
	-rm counter.h
	-rm counter.log
	-rm counter.dot
	-rm counter.png
	-rm counter.mdl
	-rm example_testbench
	-rm example_testbench.exe
	-rm -rf *.o
	-rm -rf *.hi
	-rm -rf Language/*.o
	-rm -rf Language/*.hi
	-rm -rf Language/Atom/*.o
	-rm -rf Language/Atom/*.hi
	-rm -rf Language/Atom/Common/*.o
	-rm -rf Language/Atom/Common/*.hi