Version C des tests Cminor

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@40 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 46 insertions, 0 deletions

diff --git a/test/c/Makefile b/test/c/Makefile
new file mode 100644
index 0000000..436e222
--- /dev/null
+++ b/test/c/Makefile
@@ -0,0 +1,46 @@
+CC=gcc
+CFLAGS=-O2 -Wall
+
+VPATH=../harness ../lib
+
+PROGS=fib integr qsort fft sha1 aes almabench
+
+all: $(PROGS)
+
+fib: fib.o mainfib.o
+	$(CC) $(CFLAGS) -o fib fib.o mainfib.o
+clean::
+	rm -f fib
+
+integr: integr.o mainintegr.o
+	$(CC) $(CFLAGS) -o integr integr.o mainintegr.o
+clean::
+	rm -f integr
+
+qsort: qsort.o mainqsort.o
+	$(CC) $(CFLAGS) -o qsort qsort.o mainqsort.o
+clean::
+	rm -f qsort
+
+fft: fft.o mainfft.o staticlib.o
+	$(CC) $(CFLAGS) -o fft fft.o mainfft.o staticlib.o -lm
+clean::
+	rm -f fft
+
+sha1: sha1.o mainsha1.o staticlib.o
+	$(CC) $(CFLAGS) -o sha1 sha1.o mainsha1.o staticlib.o
+clean::
+	rm -f sha1 sha1.cm
+
+aes: aes.o mainaes.o
+	$(CC) $(CFLAGS) -o aes aes.o mainaes.o
+clean::
+	rm -f aes aes.cm
+
+almabench: almabench.o mainalmabench.o staticlib.o
+	$(CC) $(CFLAGS) -o almabench almabench.o mainalmabench.o staticlib.o -lm
+clean::
+	rm -f almabench almabench.cm
+
+clean::
+	rm -f *.s *.o *~