ARCHIVE=kissat_mab-hywalk-sc2022.tar.xz
BIN=$(shell pwd | xargs basename)
all: install
install: compile
	install -s src/build/kissat $(BIN)
compile: extract
	cd src && ./configure --competition --default && make all
extract:
	rm -rf src
	tar xf $(ARCHIVE)
	mv Kissat_MAB-HyWalk src
	chmod +x src/configure src/scripts/generate-build-header.sh
clean:
	rm -rf Kissat* src $(BIN)
