all: bliss dprtrim
	$(MAKE) -C "/home/iser/git/sc2026/solvers/zheng/kissat-mab-hypre-evolve/src/build"
kissat: bliss dprtrim
	$(MAKE) -C "/home/iser/git/sc2026/solvers/zheng/kissat-mab-hypre-evolve/src/build" kissat
tissat: bliss dprtrim
	$(MAKE) -C "/home/iser/git/sc2026/solvers/zheng/kissat-mab-hypre-evolve/src/build" tissat
bliss:
	@if [ -d "/home/iser/git/sc2026/solvers/zheng/kissat-mab-hypre-evolve/src/bliss" ]; then \
	  if [ ! -f "/home/iser/git/sc2026/solvers/zheng/kissat-mab-hypre-evolve/src/bliss/libbliss.a" ]; then \
	    $(MAKE) -C "/home/iser/git/sc2026/solvers/zheng/kissat-mab-hypre-evolve/src/bliss"; \
	  fi \
	fi
dprtrim:
	@if [ -d "/home/iser/git/sc2026/solvers/zheng/kissat-mab-hypre-evolve/src/dprtrim" ]; then \
	  if [ ! -f "/home/iser/git/sc2026/solvers/zheng/kissat-mab-hypre-evolve/src/dpr-trim" ]; then \
	    $(MAKE) -C "/home/iser/git/sc2026/solvers/zheng/kissat-mab-hypre-evolve/src/dprtrim"; \
	    cp "/home/iser/git/sc2026/solvers/zheng/kissat-mab-hypre-evolve/src/dprtrim/dpr-trim" "/home/iser/git/sc2026/solvers/zheng/kissat-mab-hypre-evolve/src/"; \
	  fi \
	fi
clean:
	rm -f "/home/iser/git/sc2026/solvers/zheng/kissat-mab-hypre-evolve/src"/makefile
	rm -f "/home/iser/git/sc2026/solvers/zheng/kissat-mab-hypre-evolve/src"/src/makefile
	rm -f "/home/iser/git/sc2026/solvers/zheng/kissat-mab-hypre-evolve/src"/dpr-trim
	rm -f "/home/iser/git/sc2026/solvers/zheng/kissat-mab-hypre-evolve/src"/bliss/libbliss.a "/home/iser/git/sc2026/solvers/zheng/kissat-mab-hypre-evolve/src"/bliss/*.o "/home/iser/git/sc2026/solvers/zheng/kissat-mab-hypre-evolve/src"/bliss/bliss
	-$(MAKE) -C "/home/iser/git/sc2026/solvers/zheng/kissat-mab-hypre-evolve/src/build" clean
	rm -rf "/home/iser/git/sc2026/solvers/zheng/kissat-mab-hypre-evolve/src/build"
distclean: clean
	rm -rf "/home/iser/git/sc2026/solvers/zheng/kissat-mab-hypre-evolve/src/bliss" "/home/iser/git/sc2026/solvers/zheng/kissat-mab-hypre-evolve/src/dprtrim"
coverage:
	$(MAKE) -C "/home/iser/git/sc2026/solvers/zheng/kissat-mab-hypre-evolve/src/build" coverage
format:
	$(MAKE) -C "/home/iser/git/sc2026/solvers/zheng/kissat-mab-hypre-evolve/src/build" format
test: bliss dprtrim
	$(MAKE) -C "/home/iser/git/sc2026/solvers/zheng/kissat-mab-hypre-evolve/src/build" test
.PHONY: all bliss dprtrim clean distclean coverage format kissat test tissat
