ARCHIVE=SBVA-starexec-stripped.tar.xz
DIR=SBVA-starexec-stripped
SCRIPT=sbva-cadical-2023
BIN=bin
all: install
install: compile
	rm -f bin
	ln -s $(DIR)/bin .
	#install -s $(DIR)/archives/kissat*/build/kissat $(BIN)
	install -s $(DIR)/archives/cadical*/build/cadical $(BIN)
	install -s $(DIR)/src/bva $(BIN)
	sed -e "s,@PREFIX@,`pwd`," $(SCRIPT).template > $(SCRIPT)
	chmod 755 $(SCRIPT)
compile: extract
	#cd $(DIR)/archives/kissat* && ./configure --competition && make
	cd $(DIR)/archives/cadical* && ./configure --competition && make
	cd $(DIR)/src && make
extract:
	rm -rf $(DIR)
	tar xf $(ARCHIVE)
clean:
	rm -rf $(DIR) $(BIN) $(SCRIPT)
