wow... i think this version is correct...
[model-checker-benchmarks.git] / ms-queue / Makefile
index 0f19830..cd48d78 100644 (file)
@@ -2,13 +2,13 @@ include ../benchmarks.mk
 
 TESTNAME = main
 
 
 TESTNAME = main
 
-HEADERS = main.h my_queue.h
-OBJECTS = main.o my_queue.o args.o
+HEADERS = my_queue.h
+OBJECTS = main.o my_queue.o
 
 all: $(TESTNAME)
 
 $(TESTNAME): $(HEADERS) $(OBJECTS)
 
 all: $(TESTNAME)
 
 $(TESTNAME): $(HEADERS) $(OBJECTS)
-       $(CC) -o $@ $^ $(CPPFLAGS) $(LDFLAGS)
+       $(CC) -o $@ $(OBJECTS) $(CPPFLAGS) $(LDFLAGS)
 
 %.o: %.c
        $(CC) -c -o $@ $< $(CPPFLAGS)
 
 %.o: %.c
        $(CC) -c -o $@ $< $(CPPFLAGS)