diff options
author | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2020-07-24 14:33:57 +0200 |
---|---|---|
committer | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2020-07-24 14:33:57 +0200 |
commit | 9a8fcdd29d763d2b5650166ddd5b359a8bfed373 (patch) | |
tree | 7675895f88b344e88ce0263cf1faf52daece73d7 /test/c | |
parent | 3c8429b030efcaba205b8d0faf7fdd1f174ea1e7 (diff) | |
download | compcert-kvx-9a8fcdd29d763d2b5650166ddd5b359a8bfed373.tar.gz compcert-kvx-9a8fcdd29d763d2b5650166ddd5b359a8bfed373.zip |
trace quand le simulateur est appele
Diffstat (limited to 'test/c')
-rw-r--r-- | test/c/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/c/Makefile b/test/c/Makefile index 726631d2..a728d182 100644 --- a/test/c/Makefile +++ b/test/c/Makefile @@ -1,6 +1,8 @@ include ../../Makefile.config CCOMP=../../ccomp +# TODO - temporary +# CCOMPOPTS:=$(CCOMPOPTS) -fall-loads-nontrap -fduplicate 2 -fprepass CCOMPFLAGS=$(CCOMPOPTS) -stdlib ../../runtime -dc -dclight -dasm CFLAGS+=-O2 -Wall |