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