1# this assumes minisat's already been built in ../minisat
2
3all: zc2hs
4
5zc2hs: 
6	ln -fs ../minisat/Proof.o
7	ln -fs ../minisat/File.o
8	ln -fs ../minisat/File.h
9	ln -fs ../minisat/Proof.h
10	ln -fs ../minisat/Global.h
11	ln -fs ../minisat/Sort.h
12	ln -fs ../minisat/SolverTypes.h
13	g++ -O3 Proof.o File.o zc2hs.cpp -o zc2hs
14
15clean:
16	rm -f zc2hs *.h *.o
17