diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-10-02 14:23:39 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-10-02 14:23:39 +0200 |
commit | 6f181968dde1359e5710131e1360965439220457 (patch) | |
tree | 510c8a008617928b3c80a61983319de2e8ee81a7 /test/monniaux | |
parent | 372d91916521d6e2f15e4baae37b66d2dcbb4f23 (diff) | |
download | compcert-kvx-6f181968dde1359e5710131e1360965439220457.tar.gz compcert-kvx-6f181968dde1359e5710131e1360965439220457.zip |
Updating test/monniaux/README.md
Diffstat (limited to 'test/monniaux')
-rw-r--r-- | test/monniaux/README.md | 9 |
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 |