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/tacle-bench-lift | |
| 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/tacle-bench-lift')
| -rw-r--r-- | test/monniaux/tacle-bench-lift/Makefile | 42 | ||||
| -rw-r--r-- | test/monniaux/tacle-bench-lift/make.proto | 3 |
2 files changed, 3 insertions, 42 deletions
diff --git a/test/monniaux/tacle-bench-lift/Makefile b/test/monniaux/tacle-bench-lift/Makefile deleted file mode 100644 index ab930adb..00000000 --- a/test/monniaux/tacle-bench-lift/Makefile +++ /dev/null @@ -1,42 +0,0 @@ -ALL_CFLAGS = -include kill_pragma.h - -CFILES=lift.c liftlibcontrol.c liftlibio.c - -HFILES=liftlibcontrol.h liftlibio.h - -K1C_GCC_OFILES=$(CFILES:.c=.gcc.k1c.o) -K1C_GCC_OFILES_O1=$(CFILES:.c=.gcc.o1.k1c.o) -K1C_CCOMP_OFILES=$(CFILES:.c=.ccomp.k1c.o) -K1C_GCC_SFILES=$(CFILES:.c=.gcc.k1c.s) -K1C_CCOMP_SFILES=$(CFILES:.c=.ccomp.k1c.s) - -HOST_GCC_OFILES=$(CFILES:.c=.gcc.host.o) -HOST_CCOMP_OFILES=$(CFILES:.c=.ccomp.host.o) -HOST_GCC_SFILES=$(CFILES:.c=.gcc.host.s) -HOST_CCOMP_SFILES=$(CFILES:.c=.ccomp.host.s) - -all: lift.gcc.o1.k1c.out lift.gcc.k1c.out lift.ccomp.k1c.out $(K1C_GCC_SFILES) $(K1C_CCOMP_SFILES) - -include ../rules.mk - -$(K1C_GCC_SFILES) $(K1C_CCOMP_SFILES) $(HOST_GCC_SFILES) $(HOST_CCOMP_SFILES) : $(HFILES) - -lift.gcc.k1c: $(K1C_GCC_OFILES) - $(K1C_CC) $(K1C_CFLAGS) -o $@ $+ ../clock.gcc.k1c.o - -lift.gcc.o1.k1c: $(K1C_GCC_OFILES_O1) - $(K1C_CC) $(K1C_CFLAGS_O1) -o $@ $+ ../clock.gcc.k1c.o - -lift.ccomp.k1c: $(K1C_CCOMP_OFILES) - $(K1C_CCOMP) $(K1C_CCOMPFLAGS) -o $@ $+ ../clock.gcc.k1c.o - -lift.gcc.host: $(HOST_GCC_OFILES) - $(CC) $(CFLAGS) -o $@ $+ ../clock.gcc.host.o - -lift.ccomp.host: $(HOST_CCOMP_OFILES) - $(CCOMP) $(CCOMPFLAGS) -o $@ $+ ../clock.gcc.host.o - -.PHONY: clean - -clean: - rm -f *.s *.o *.k1c diff --git a/test/monniaux/tacle-bench-lift/make.proto b/test/monniaux/tacle-bench-lift/make.proto new file mode 100644 index 00000000..58dd5c39 --- /dev/null +++ b/test/monniaux/tacle-bench-lift/make.proto @@ -0,0 +1,3 @@ +intro: "ALL_CFLAGS = -include kill_pragma.h" +objdeps: [{name: liftlibcontrol, compiler: both}, {name: liftlibio, compiler: both}] +target: lift |