diff options
-rw-r--r-- | test/c/Makefile | 4 | ||||
-rw-r--r-- | test/regression/Makefile | 8 |
2 files changed, 6 insertions, 6 deletions
diff --git a/test/c/Makefile b/test/c/Makefile index 94feb993..51a8f105 100644 --- a/test/c/Makefile +++ b/test/c/Makefile @@ -21,10 +21,10 @@ all_s: $(PROGS:%=%.s) all_gcc: $(PROGS:%=%.gcc) -%.compcert: %.c $(CCOMP) +%.compcert: %.c $(CCOMP) $(CCOMPFLAGS) -o $*.compcert $*.c $(LIBS) -%.s: %.c $(CCOMP) +%.s: %.c $(CCOMP) $(CCOMPFLAGS) -S $*.c %.gcc: %.c diff --git a/test/regression/Makefile b/test/regression/Makefile index a0f1fe12..7198bebf 100644 --- a/test/regression/Makefile +++ b/test/regression/Makefile @@ -50,17 +50,17 @@ all: $(TESTS:%=%.compcert) $(TESTS_COMP:%=%.compcert) $(TESTS_DIFF:%=%.compcert) all_s: $(TESTS:%=%.s) $(TESTS_COMP:%=%.s) $(TESTS_DIFF:%=%.s) $(EXTRAS:%=%.s) -interop1.compcert: interop1.c $(CCOMP) +interop1.compcert: interop1.c $(CC) -DCC_SIDE -c -o interop1n.o interop1.c $(CCOMP) $(CCOMPFLAGS) -DCOMPCERT_SIDE -o interop1.compcert interop1.c interop1n.o $(LIBS) -interop1.s: interop1.c $(CCOMP) +interop1.s: interop1.c $(CCOMP) $(CCOMPFLAGS) -S interop1.c -%.compcert: %.c $(CCOMP) +%.compcert: %.c $(CCOMP) $(CCOMPFLAGS) -o $*.compcert $*.c $(LIBS) -%.s: %.c $(CCOMP) +%.s: %.c $(CCOMP) $(CCOMPFLAGS) -S $*.c clean: |