diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-05-14 18:01:28 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-05-14 18:01:28 +0200 |
commit | 76abb605749d1b8ddcc842cecb258fa755d63ccf (patch) | |
tree | e636a781c4b2b49b346013dec887abeb1badedd0 /test/monniaux/quicksort | |
parent | 13ea0149e1994c5489d9aed00e7486e49d687889 (diff) | |
download | compcert-kvx-76abb605749d1b8ddcc842cecb258fa755d63ccf.tar.gz compcert-kvx-76abb605749d1b8ddcc842cecb258fa755d63ccf.zip |
Avancement sur la génération de Makefile des benchmarks
Diffstat (limited to 'test/monniaux/quicksort')
-rw-r--r-- | test/monniaux/quicksort/Makefile | 36 | ||||
-rw-r--r-- | test/monniaux/quicksort/make.proto | 2 |
2 files changed, 2 insertions, 36 deletions
diff --git a/test/monniaux/quicksort/Makefile b/test/monniaux/quicksort/Makefile deleted file mode 100644 index f753d916..00000000 --- a/test/monniaux/quicksort/Makefile +++ /dev/null @@ -1,36 +0,0 @@ -include ../rules.mk - -PRODUCTS=quicksort.host quicksort.gcc.o1.k1c.out quicksort.gcc.k1c.out quicksort.ccomp.k1c.out quicksort.ccomp.k1c.s quicksort.gcc.k1c.s quicksort.gcc.k1c quicksort.ccomp.k1c - -all: $(PRODUCTS) - -%.gcc.k1c.s: %.c - $(K1C_CC) $(K1C_CFLAGS) -S $< -o $@ - -%.gcc.k1c.o: %.gcc.k1c.s - $(K1C_CC) $(K1C_CFLAGS) -c $< -o $@ - -%.ccomp.k1c.s: %.c - $(K1C_CCOMP) $(K1C_CCOMPFLAGS) -S $< -o $@ - -%.ccomp.k1c.o: %.ccomp.k1c.s - $(K1C_CCOMP) $(K1C_CCOMPFLAGS) -c $< -o $@ - -quicksort.host: quicksort.c quicksort_run.c quicksort.h - $(CC) $(CFLAGS) quicksort.c quicksort_run.c -o $@ - -quicksort.gcc.k1c.s quicksort.ccomp.k1c.s quicksort_run.gcc.k1c.s: quicksort.h - -quicksort.gcc.k1c: quicksort.gcc.k1c.o quicksort_run.gcc.k1c.o - $(K1C_CC) $(K1C_CFLAGS) $+ -o $@ - -quicksort.gcc.o1.k1c: quicksort.gcc.o1.k1c.o quicksort_run.gcc.o1.k1c.o - $(K1C_CC) $(K1C_CFLAGS) $+ -o $@ - -quicksort.ccomp.k1c: quicksort.ccomp.k1c.o quicksort_run.gcc.k1c.o - $(K1C_CCOMP) $(K1C_CCOMPFLAGS) $+ -o $@ - -clean: - $(RM) -f $(PRODUCTS) quicksort.gcc.k1c.o quicksort.ccomp.k1c.o quicksort_run.gcc.k1c.o quicksort_run.gcc.k1c.s - -.PHONY: clean diff --git a/test/monniaux/quicksort/make.proto b/test/monniaux/quicksort/make.proto new file mode 100644 index 00000000..4af771e5 --- /dev/null +++ b/test/monniaux/quicksort/make.proto @@ -0,0 +1,2 @@ +objdeps: [{name: quicksort_run, compiler: gcc}] +target: quicksort |