GHC=ghc
#GHC=~/Documents/ghc-6.8.3/bin/ghc -L/opt/local/lib

GHCFLAGS = --make -O2 -cpp -i../src -i../examples/logic -ibenchmark -odir out -hidir out -ddump-simpl -ddump-stg -prof -auto-all

.default=PHONY

all: bins runs hprofs
	grep 'total time' results/*/*

onebin:
	make cleanout
	$(GHC) $(GHCFLAGS) -DGen -DST benchmark/Main.hs -o bin/Logic-Gen-ST.exe > dump3
	
bins:
	make cleanout
	$(GHC) $(GHCFLAGS) -DPM  -DST benchmark/Main.hs -o bin/Logic-PM-ST.exe > dump1
	make cleanout
	$(GHC) $(GHCFLAGS) -DUni -DST benchmark/Main.hs -o bin/Logic-Uni-ST.exe > dump2
	make cleanout
	$(GHC) $(GHCFLAGS) -DGen -DST benchmark/Main.hs -o bin/Logic-Gen-ST.exe > dump3
	make cleanout
	$(GHC) $(GHCFLAGS) -DPM  -DGT benchmark/Main.hs -o bin/Logic-PM-GT.exe > dump4
	make cleanout
	$(GHC) $(GHCFLAGS) -DUni -DGT benchmark/Main.hs -o bin/Logic-Uni-GT.exe > dump5
	make cleanout
	$(GHC) $(GHCFLAGS) -DGen -DGT benchmark/Main.hs -o bin/Logic-Gen-GT.exe > dump6
	make cleanout
	$(GHC) -i../../branches/FixView/src $(GHCFLAGS) -DFixView -DST benchmark/Main.hs -o bin/Logic-FV-ST.exe > dump7
	make cleanout
	$(GHC) -i../../branches/FixView/src $(GHCFLAGS) -DFixView -DGT benchmark/Main.hs -o bin/Logic-FV-GT.exe > dump8
	make cleanout

ghciwin:
	$(GHC)ii.sh -i../src -i../examples/logic -ibenchmark -DPM -DGT -cpp

runs: 
	bin/Logic-PM-ST.exe  1 +RTS -p -hc
	bin/Logic-Uni-ST.exe 1 +RTS -p -hc
	bin/Logic-Gen-ST.exe 1 +RTS -p -hc
	bin/Logic-PM-GT.exe  1 +RTS -p -hc
	bin/Logic-Uni-GT.exe 1 +RTS -p -hc
	bin/Logic-Gen-GT.exe 1 +RTS -p -hc
	bin/Logic-FV-ST.exe  1 +RTS -p -hc
	bin/Logic-FV-GT.exe  1 +RTS -p -hc	
	mv *.prof results/dnf1
	mv *.hp results/dnf1
	
	bin/Logic-PM-ST.exe  2 +RTS -p -hc
	bin/Logic-Uni-ST.exe 2 +RTS -p -hc
	bin/Logic-Gen-ST.exe 2 +RTS -p -hc
	bin/Logic-PM-GT.exe  2 +RTS -p -hc
	bin/Logic-Uni-GT.exe 2 +RTS -p -hc
	bin/Logic-Gen-GT.exe 2 +RTS -p -hc
	bin/Logic-FV-ST.exe  2 +RTS -p -hc
	bin/Logic-FV-GT.exe  2 +RTS -p -hc	
	mv *.prof results/dnf2
	mv *.hp results/dnf2
	
	bin/Logic-PM-ST.exe  3 +RTS -p -hc
	bin/Logic-Uni-ST.exe 3 +RTS -p -hc
	bin/Logic-Gen-ST.exe 3 +RTS -p -hc
	bin/Logic-PM-GT.exe  3 +RTS -p -hc
	bin/Logic-Uni-GT.exe 3 +RTS -p -hc
	bin/Logic-Gen-GT.exe 3 +RTS -p -hc
	bin/Logic-FV-ST.exe  3 +RTS -p -hc
	bin/Logic-FV-GT.exe  3 +RTS -p -hc	
	mv *.prof results/dnf3
	mv *.hp results/dnf3
	
	bin/Logic-PM-ST.exe  4 +RTS -p -hc
	bin/Logic-Uni-ST.exe 4 +RTS -p -hc
	bin/Logic-Gen-ST.exe 4 +RTS -p -hc
	bin/Logic-PM-GT.exe  4 +RTS -p -hc
	bin/Logic-Uni-GT.exe 4 +RTS -p -hc
	bin/Logic-Gen-GT.exe 4 +RTS -p -hc
	bin/Logic-FV-ST.exe  4 +RTS -p -hc
	bin/Logic-FV-GT.exe  4 +RTS -p -hc	
	mv *.prof results/dnf4
	mv *.hp results/dnf4	

hprofs: 
	hp2ps results/dnf1/Logic-PM-ST.exe.hp
	hp2ps results/dnf1/Logic-Uni-ST.exe.hp
	hp2ps results/dnf1/Logic-Gen-ST.exe.hp
	hp2ps results/dnf1/Logic-PM-GT.exe.hp
	hp2ps results/dnf1/Logic-Uni-GT.exe.hp
	hp2ps results/dnf1/Logic-Gen-GT.exe.hp
	hp2ps results/dnf1/Logic-FV-ST.exe.hp
	hp2ps results/dnf1/Logic-FV-GT.exe.hp
	mv *.aux results/dnf1
	mv *.ps results/dnf1

	hp2ps results/dnf2/Logic-PM-ST.exe.hp
	hp2ps results/dnf2/Logic-Uni-ST.exe.hp
	hp2ps results/dnf2/Logic-Gen-ST.exe.hp
	hp2ps results/dnf2/Logic-PM-GT.exe.hp
	hp2ps results/dnf2/Logic-Uni-GT.exe.hp
	hp2ps results/dnf2/Logic-Gen-GT.exe.hp
	hp2ps results/dnf2/Logic-FV-ST.exe.hp
	hp2ps results/dnf2/Logic-FV-GT.exe.hp
	mv *.aux results/dnf2
	mv *.ps results/dnf2

	hp2ps results/dnf3/Logic-PM-ST.exe.hp
	hp2ps results/dnf3/Logic-Uni-ST.exe.hp
	hp2ps results/dnf3/Logic-Gen-ST.exe.hp
	hp2ps results/dnf3/Logic-PM-GT.exe.hp
	hp2ps results/dnf3/Logic-Uni-GT.exe.hp
	hp2ps results/dnf3/Logic-Gen-GT.exe.hp
	hp2ps results/dnf3/Logic-FV-ST.exe.hp
	hp2ps results/dnf3/Logic-FV-GT.exe.hp
	mv *.aux results/dnf3
	mv *.ps results/dnf3

	hp2ps results/dnf4/Logic-PM-ST.exe.hp
	hp2ps results/dnf4/Logic-Uni-ST.exe.hp
	hp2ps results/dnf4/Logic-Gen-ST.exe.hp
	hp2ps results/dnf4/Logic-PM-GT.exe.hp
	hp2ps results/dnf4/Logic-Uni-GT.exe.hp
	hp2ps results/dnf4/Logic-Gen-GT.exe.hp
	hp2ps results/dnf4/Logic-FV-ST.exe.hp
	hp2ps results/dnf4/Logic-FV-GT.exe.hp
	mv *.aux results/dnf4
	mv *.ps results/dnf4

clean: 
	rm -rf bin/* out/* results/dnf{1,2,3,4}/* dump*

cleanout:
	rm -f out/*