Skip to content

Commit

Permalink
Update MAKEFILE
Browse files Browse the repository at this point in the history
Test 

Signed-off-by: Josef Edwards <joed6834@colorado.edu>
  • Loading branch information
bearycool11 authored Nov 13, 2024
1 parent 2cce7a1 commit 8b9a615
Showing 1 changed file with 5 additions and 1 deletion.
6 changes: 5 additions & 1 deletion MAKEFILE
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
TARGETS = pmll arc_agi_benchmark pmll_np_solver sat_test

# SAT Test target
sat_test: SAT_Compare.o Pmll_NP_Solver.o MiniSAT.o generate_3sat_instance.o SAT_Solver.o
sat_test: SAT_Compare.o Pmll_NP_Solver.o MiniSAT.o generate_3sat_instance.o SAT_Solver.o 3_sat_log.o
$(CC) $(CFLAGS) $(LDFLAGS) $(INCLUDES) -o $@ $^

# Compile SAT_Compare.o from SAT_Compare.c
Expand All @@ -25,6 +25,10 @@ SAT_Solver.o: SAT_Solver.c SAT_Solver.h
generate_3sat_instance.o: 3-SAT.c SAT_Solver.h
$(CC) $(CFLAGS) $(INCLUDES) -c $<

# Compile 3_sat_log.o from 3_sat_log.c (logging results)
3_sat_log.o: 3_sat_log.c SAT_Solver.h Pmll_NP_Solver.h MiniSAT.h
$(CC) $(CFLAGS) $(INCLUDES) -c $<

# Existing targets
pmll: unified_voice.o pml_logic_loop.o memory_silo.o io_socket.o persistence.o main.o
$(CC) $(CFLAGS) $(LDFLAGS) $(INCLUDES) -o $@ $^
Expand Down

0 comments on commit 8b9a615

Please sign in to comment.