diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-29 18:39:34 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-29 18:39:34 +0100 |
| commit | 4c35899ac3f057d66784e658be5d21582b2d7e9c (patch) | |
| tree | 0efc72f098d17bf5e10d5cb47a122d03b8a9d98d | |
| parent | e7b0556e74a1fd029f13aaaf2db0253832cb2668 (diff) | |
| download | compcert-kvx-4c35899ac3f057d66784e658be5d21582b2d7e9c.tar.gz compcert-kvx-4c35899ac3f057d66784e658be5d21582b2d7e9c.zip | |
missing config.h
| -rw-r--r-- | test/monniaux/picosat-965/config.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/test/monniaux/picosat-965/config.h b/test/monniaux/picosat-965/config.h new file mode 100644 index 00000000..36ffc6b6 --- /dev/null +++ b/test/monniaux/picosat-965/config.h @@ -0,0 +1,3 @@ +#define PICOSAT_CC "../../../ccomp" +#define PICOSAT_CFLAGS "-fall -Wall -fno-unprototyped -O3 -DNALARM -DNZIP -DNGETRUSAGE" +#define PICOSAT_VERSION "965" |