Makefile

all: Benchmarks/sc13-benchmarks-application-info.csv Benchmarks/times.csv Bin/community Bin/minipure
	make -C Haskell cabal
	make -C Haskell

Bin/community:
	make -C Snap
	mkdir -p Bin
	cp Snap/examples/community/community Bin/
	chmod +x Community

Bin/minipure:
	make -C Minipure
	cp Minipure/binary/minipure Bin/minipure

Benchmarks/sc13-benchmarks-application-info.csv: Benchmarks/sc13-benchmarks-application.tgz
	tar -C Benchmarks -xvzf Benchmarks/sc13-benchmarks-application.tgz
	touch Benchmarks/sc13-benchmarks-application-info.csv

Benchmarks/sc13-benchmarks-application.tgz:
	wget -P Benchmarks http://www.satcompetition.org/2013/files/sc13-benchmarks-application.tgz

Benchmarks/times.csv:
	wget -O Benchmarks/times.csv http://edacc4.informatik.uni-ulm.de/SC13/experiment/19/results/full-csv