aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/README.md
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2019-10-02 14:23:39 +0200
committerCyril SIX <cyril.six@kalray.eu>2019-10-02 14:23:39 +0200
commit6f181968dde1359e5710131e1360965439220457 (patch)
tree510c8a008617928b3c80a61983319de2e8ee81a7 /test/monniaux/README.md
parent372d91916521d6e2f15e4baae37b66d2dcbb4f23 (diff)
downloadcompcert-kvx-6f181968dde1359e5710131e1360965439220457.tar.gz
compcert-kvx-6f181968dde1359e5710131e1360965439220457.zip
Updating test/monniaux/README.md
Diffstat (limited to 'test/monniaux/README.md')
-rw-r--r--test/monniaux/README.md9
1 files changed, 8 insertions, 1 deletions
diff --git a/test/monniaux/README.md b/test/monniaux/README.md
index dbb3f337..f2af67fb 100644
--- a/test/monniaux/README.md
+++ b/test/monniaux/README.md
@@ -37,6 +37,7 @@ float_mat c3, 1504675, 751514, 553235, 1929369, 1372441
- `K1C_CC`: GCC compiler (default k1-cos-gcc)
- `K1C_CCOMP`: compcert compiler (default ccomp)
- `EXECUTE_CYCLES`: running command (default `k1-cluster` with some options)
+- `EXECUTE_ARGS`: execution arguments
- `GCCiFLAGS` with i from 0 to 4: the wanted optimizations. If one of these flags is empty, nothing is done. Same for `CCOMPiFLAGS`. For now, the default values:
```
# You can define up to GCC4FLAGS and CCOMP4FLAGS
@@ -68,4 +69,10 @@ The `PREFIX` are the prefixes to add to the .s, .o, etc.. You should be careful
Assembly files will be generated in `asm/`, objects in `obj/`, binaries in `bin/` and outputs in `out/`.
-To compile and execute all the benches : `make`
+To compile and execute all the benches : `make` while in the `monniaux` directory (without any `-j` flag).
+
+To compile and/or execute a single bench, `cd` to the bench directory, then:
+- `make` for compiling the bench
+- `make run` for running it
+
+You can use `-j` flag when in a single bench directory