diff options
Diffstat (limited to 'test/c/Makefile')
| -rw-r--r-- | test/c/Makefile | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/test/c/Makefile b/test/c/Makefile index 060c8fcd..1284d98f 100644 --- a/test/c/Makefile +++ b/test/c/Makefile @@ -10,13 +10,11 @@ LIBS=$(LIBMATH) TIME=xtime -o /dev/null -mintime 1.0 # Xavier's hack #TIME=time >/dev/null # Otherwise -BENCHS=fib integr qsort fft sha1 aes almabench lists \ +PROGS=fib integr qsort fft sha1 aes almabench lists \ binarytrees fannkuch knucleotide mandelbrot nbody \ nsieve nsievebits spectral vmach \ bisect chomp perlin -PROGS=$(BENCHS) initializers - all_s: $(PROGS:%=%.s) all: $(PROGS:%=%.compcert) @@ -26,7 +24,7 @@ all_gcc: $(PROGS:%=%.gcc) %.compcert: %.c $(CCOMP) $(CCOMP) $(CCOMPFLAGS) -o $*.compcert $*.c $(LIBS) -%.s: %.c ../../ccomp +%.s: %.c $(CCOMP) $(CCOMP) $(CCOMPFLAGS) -S $*.c %.gcc: %.c |