diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-20 13:09:42 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-20 13:09:42 +0100 |
| commit | 7ab5f7b6ca7155e0db967afac6e20d046f72bfd0 (patch) | |
| tree | f9d139b8234c85d72969c01ab09f995213532770 /test/monniaux/picosat-965/dm_configure_ccomp.sh | |
| parent | 2638a022276c932ed00dc3f64b0e58bc0114a3d7 (diff) | |
| download | compcert-kvx-7ab5f7b6ca7155e0db967afac6e20d046f72bfd0.tar.gz compcert-kvx-7ab5f7b6ca7155e0db967afac6e20d046f72bfd0.zip | |
picosat fonctionne
Diffstat (limited to 'test/monniaux/picosat-965/dm_configure_ccomp.sh')
| -rwxr-xr-x | test/monniaux/picosat-965/dm_configure_ccomp.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/picosat-965/dm_configure_ccomp.sh b/test/monniaux/picosat-965/dm_configure_ccomp.sh index 457d2856..3be58a48 100755 --- a/test/monniaux/picosat-965/dm_configure_ccomp.sh +++ b/test/monniaux/picosat-965/dm_configure_ccomp.sh @@ -1,2 +1,2 @@ # BUG -CC=../../../ccomp CFLAGS="-fall -Wall -O3 -DNALARM -DNZIP -DNGETRUSAGE" ./configure.sh +CC=../../../ccomp CFLAGS="-fall -Wall -fno-unprototyped -O3 -DNALARM -DNZIP -DNGETRUSAGE" ./configure.sh |