.PHONY: lab1 example clean handin

lab1: main.cpp lab1.cpp common.cpp
	@g++ $^ -I./include -I./include/openai -lcurl -lminisat -o $@
	@./$@
	@rm -rf $@

example: minisat llm
	@echo "Environment check complete."

minisat: minisat.cpp
	@echo "Testing minisat..."
	@g++ $^ -lminisat -o $@
	@./$@
	@rm -rf $@

llm: test_llm.cpp
	@echo "Testing llm..."
	@g++ $^ -I./include -I./include/openai -lcurl -o $@
	@./$@
	@rm -rf $@

clean:
	@rm -rf lab1
	@rm -rf example minisat llm
	@rm -rf answer.txt
	@echo "Clean done"

handin:
	zip lab1.zip lab1.cpp
	@echo “Please upload lab1.zip to canvas.”
