Searched refs:MINISAT_CORE (Results 1 – 1 of 1) sorted by relevance
53 MINISAT_CORE = minisat_core# Name of simplified MiniSat executable (only core solver support). macro81 cr: $(BUILD_DIR)/release/bin/$(MINISAT_CORE)82 cd: $(BUILD_DIR)/debug/bin/$(MINISAT_CORE)83 cp: $(BUILD_DIR)/profile/bin/$(MINISAT_CORE)84 csh: $(BUILD_DIR)/dynamic/bin/$(MINISAT_CORE)100 $(BUILD_DIR)/profile/bin/$(MINISAT_CORE): MINISAT_LDFLAGS += -pg101 $(BUILD_DIR)/release/bin/$(MINISAT_CORE): MINISAT_LDFLAGS += --static $(MINISAT_RELSYM)111 $(BUILD_DIR)/release/bin/$(MINISAT_CORE): $(BUILD_DIR)/release/minisat/core/Main.o $(BUILD_DIR)/rel…112 $(BUILD_DIR)/debug/bin/$(MINISAT_CORE): $(BUILD_DIR)/debug/minisat/core/Main.o $(BUILD_DIR)/debug…148 …ase/bin/$(MINISAT_CORE) $(BUILD_DIR)/debug/bin/$(MINISAT_CORE) $(BUILD_DIR)/profile/bin/$(MINISAT_…[all …]