diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-10-02 14:14:16 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-10-02 14:14:16 +0200 |
| commit | 4c240f12eba480b807bdaafbf817739d9ccf6b23 (patch) | |
| tree | d06d2c933e7cf07b3d578fd1f10ba67b04a3f547 /test/monniaux/rules.mk | |
| parent | 541e60e0570b70813c2ace604a1535bb4d79aa2b (diff) | |
| download | compcert-kvx-4c240f12eba480b807bdaafbf817739d9ccf6b23.tar.gz compcert-kvx-4c240f12eba480b807bdaafbf817739d9ccf6b23.zip | |
Intégration de GLPK
Diffstat (limited to 'test/monniaux/rules.mk')
| -rw-r--r-- | test/monniaux/rules.mk | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/test/monniaux/rules.mk b/test/monniaux/rules.mk index 9d05b4d6..079606e6 100644 --- a/test/monniaux/rules.mk +++ b/test/monniaux/rules.mk @@ -7,6 +7,9 @@ ALL_CFILES?=$(wildcard *.c) # Name of the target TARGET?=toto +# Arguments of execution +EXECUTE_ARGS?= + # Name of the clock object CLOCK=../clock @@ -92,7 +95,7 @@ obj/%.o: asm/%.s out/%.out: bin/%.bin @mkdir -p $(@D) - $(EXECUTE_CYCLES) $< | tee $@ + $(EXECUTE_CYCLES) $< $(EXECUTE_ARGS) | tee $@ ## # Generating the rules for all the compiler/flags.. |