diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-07-04 15:42:09 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-07-11 12:02:48 +0200 |
| commit | 4ab0a6b4293c1774931b4b84a649dc1ff8fba5d9 (patch) | |
| tree | d9e62cffad4be20cef4bb6ce50b259e4dcf82a0b | |
| parent | c40a3f4d1a5143dd9148d1d58b9fcb2a6a40340e (diff) | |
| download | compcert-kvx-4ab0a6b4293c1774931b4b84a649dc1ff8fba5d9.tar.gz compcert-kvx-4ab0a6b4293c1774931b4b84a649dc1ff8fba5d9.zip | |
Fixing the make.proto of tacle-bench-lift and powerwindow, it now links correctly with the right things
| -rw-r--r-- | test/monniaux/tacle-bench-lift/make.proto | 2 | ||||
| -rw-r--r-- | test/monniaux/tacle-bench-powerwindow/make.proto | 6 |
2 files changed, 2 insertions, 6 deletions
diff --git a/test/monniaux/tacle-bench-lift/make.proto b/test/monniaux/tacle-bench-lift/make.proto index c4849bab..e9667b47 100644 --- a/test/monniaux/tacle-bench-lift/make.proto +++ b/test/monniaux/tacle-bench-lift/make.proto @@ -1,4 +1,4 @@ intro: "ALL_CFLAGS = -include kill_pragma.h" -objdeps: [{name: liftlibcontrol, compiler: both}, {name: liftlibio, compiler: both}] +sources: "lift.c liftlibcontrol.c liftlibio.c" target: lift measures: [cycles] diff --git a/test/monniaux/tacle-bench-powerwindow/make.proto b/test/monniaux/tacle-bench-powerwindow/make.proto index 21e07941..c4be5f05 100644 --- a/test/monniaux/tacle-bench-powerwindow/make.proto +++ b/test/monniaux/tacle-bench-powerwindow/make.proto @@ -1,8 +1,4 @@ intro: "ALL_CFLAGS = -include kill_pragma.h" -objdeps: [{name: powerwindow_const_params, compiler: both}, {name: powerwindow_controlexclusion, compiler: both}, - {name: powerwindow_debounce, compiler: both}, {name: powerwindow_inputs, compiler: both}, - {name: powerwindow_powerwindow_control, compiler: both}, {name: powerwindow_PW_Control_DRV, compiler: both}, - {name: powerwindow_PW_Control_PSG_BackL, compiler: both}, {name: powerwindow_PW_Control_PSG_BackR, compiler: both}, - {name: powerwindow_PW_Control_PSG_Front, compiler: both}] +sources: "$(wildcard *.c)" target: powerwindow measures: [cycles] |