diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-18 16:09:13 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-18 16:09:13 +0100 |
| commit | 2a1db308610355d66c6baff004702fd00816e25a (patch) | |
| tree | 1a547213fd2b0c5483b4cffbe0c9b5b6be256afd /test/monniaux/mod_int_mat | |
| parent | fc104905f2258af120428c1d49492992276181a7 (diff) | |
| download | compcert-kvx-2a1db308610355d66c6baff004702fd00816e25a.tar.gz compcert-kvx-2a1db308610355d66c6baff004702fd00816e25a.zip | |
adjust path
Diffstat (limited to 'test/monniaux/mod_int_mat')
| -rw-r--r-- | test/monniaux/mod_int_mat/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/mod_int_mat/Makefile b/test/monniaux/mod_int_mat/Makefile index be534653..9a90a4ae 100644 --- a/test/monniaux/mod_int_mat/Makefile +++ b/test/monniaux/mod_int_mat/Makefile @@ -1,7 +1,7 @@ CFLAGS=-Wall -O3 K1C_CC=k1-mbr-gcc K1C_CFLAGS=-Wall -O3 -std=c99 -K1C_CCOMP=../../ccomp +K1C_CCOMP=../../../ccomp K1C_CCOMPFLAGS=-Wall -O3 -D__thread= -D__int128=int PRODUCTS=int_mat.host int_mat.gcc.k1c.out int_mat.ccomp.k1c.out int_mat.ccomp.k1c.s int_mat.gcc.k1c.s |