diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-07-17 12:03:39 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-07-17 12:03:39 +0200 |
| commit | b288b587378984c3c419d26a13dcf93686d1b779 (patch) | |
| tree | 623679ad5dd5325f4d0d11d2d85d43a638d9ad33 /test/monniaux/tacle-bench-lift | |
| parent | c1330c1f6863d4029bfa965b4151e629d72a2217 (diff) | |
| download | compcert-kvx-b288b587378984c3c419d26a13dcf93686d1b779.tar.gz compcert-kvx-b288b587378984c3c419d26a13dcf93686d1b779.zip | |
All working benches ported
Diffstat (limited to 'test/monniaux/tacle-bench-lift')
| -rw-r--r-- | test/monniaux/tacle-bench-lift/Makefile | 4 | ||||
| -rw-r--r-- | test/monniaux/tacle-bench-lift/make.proto | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/test/monniaux/tacle-bench-lift/Makefile b/test/monniaux/tacle-bench-lift/Makefile new file mode 100644 index 00000000..2e1db080 --- /dev/null +++ b/test/monniaux/tacle-bench-lift/Makefile @@ -0,0 +1,4 @@ +ALL_CFLAGS:=-include kill_pragma.h +TARGET=lift + +include ../rules.mk diff --git a/test/monniaux/tacle-bench-lift/make.proto b/test/monniaux/tacle-bench-lift/make.proto deleted file mode 100644 index e9667b47..00000000 --- a/test/monniaux/tacle-bench-lift/make.proto +++ /dev/null @@ -1,4 +0,0 @@ -intro: "ALL_CFLAGS = -include kill_pragma.h" -sources: "lift.c liftlibcontrol.c liftlibio.c" -target: lift -measures: [cycles] |