TARGET=bin/minisat2core

all: $(TARGET)

bin/minisat2core: minisat/core/minisat
	mkdir -p bin
	cp minisat/core/minisat bin/minisat2core

minisat/core/minisat:
	make -C minisat/core

clean:
	make -C minisat/core clean
	-rm bin/minisat2core
	-rmdir bin