updated makefile

zwang271 · Aug 23, 2023 · 23ee7a9 · 23ee7a9
1 parent 81f9163
commit 23ee7a9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/MLTL_reg/MLTL/Makefile b/MLTL_reg/MLTL/Makefile
@@ -1,4 +1,4 @@
-all: west test_rest benchmark_rest benchmark_west clean
+all: west test_rest benchmark_rest benchmark_west west_lib clean
 
 test_rest: test_rest.o utils.o grammar.o nnf_grammar.o reg.o rest.o
 	g++ test_rest.o utils.o rest.o grammar.o nnf_grammar.o reg.o -o test_rest -std=c++17