diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-06 09:42:59 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-06 09:48:07 +0200 |
| commit | 068dbcdfc4442ea4ccab51282a0a409362377d1b (patch) | |
| tree | e4cfa783b0bc9fb19d6e7e3064bf461fe8ff5647 /test/monniaux/ocaml/config | |
| parent | da864bcaeea72231e70e42ef45137c9a301f7745 (diff) | |
| download | compcert-kvx-068dbcdfc4442ea4ccab51282a0a409362377d1b.tar.gz compcert-kvx-068dbcdfc4442ea4ccab51282a0a409362377d1b.zip | |
add version.h, prims.c
Diffstat (limited to 'test/monniaux/ocaml/config')
| -rw-r--r-- | test/monniaux/ocaml/config/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/ocaml/config/Makefile b/test/monniaux/ocaml/config/Makefile index 26b14670..161d8a1b 100644 --- a/test/monniaux/ocaml/config/Makefile +++ b/test/monniaux/ocaml/config/Makefile @@ -22,7 +22,7 @@ X11_LINK=-lX11 LIBBFD_LINK= LIBBFD_INCLUDE= # DM CC=k1-mbr-gcc -CC=/home/monniaux/work/Kalray/mppa-xsaddr/ccomp +CC=/home/monniaux/work/Kalray/mppa-work/ccomp CPP=$(CC) -E CFLAGS=-O -Wall -fall # DM CFLAGS=-O3 -Wall |