diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-27 16:26:10 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-27 16:26:10 +0100 |
| commit | b0b62fc1e92faae5de190e543bc345223855073c (patch) | |
| tree | baa1a974ab01079ec866373d1422c28c94bce204 /test/monniaux/picosat-965/picomus.c | |
| parent | 4ef8259d18add24bb589a185d050f4a524385f1f (diff) | |
| download | compcert-kvx-b0b62fc1e92faae5de190e543bc345223855073c.tar.gz compcert-kvx-b0b62fc1e92faae5de190e543bc345223855073c.zip | |
packaged
Diffstat (limited to 'test/monniaux/picosat-965/picomus.c')
| -rw-r--r-- | test/monniaux/picosat-965/picomus.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/test/monniaux/picosat-965/picomus.c b/test/monniaux/picosat-965/picomus.c index f92a2d58..c956001b 100644 --- a/test/monniaux/picosat-965/picomus.c +++ b/test/monniaux/picosat-965/picomus.c @@ -235,11 +235,15 @@ int main (int argc, char ** argv) { if (input_name && strcmp (input_name, "-")) { len = strlen (input_name); if (len >= 3 && !strcmp (input_name + len - 3, ".gz")) { +#ifdef NZIP + input_file=NULL; +#else cmd = malloc (len + 20); sprintf (cmd, "gunzip -c %s 2>/dev/null", input_name); input_file = popen (cmd, "r"); pclose_input = 1; free (cmd); +#endif } else input_file = fopen (input_name, "r"), fclose_input = 1; if (!input_file) die ("can not read '%s'", input_name); } else input_file = stdin, input_name = "-"; @@ -249,7 +253,9 @@ int main (int argc, char ** argv) { exit (1); } if (fclose_input) fclose (input_file); +#ifdef NZIP if (pclose_input) pclose (input_file); +#endif ps = picosat_init (); picosat_set_prefix (ps, "c [picosat] "); picosat_set_output (ps, stdout); |