diff options
Diffstat (limited to 'mcon/U/i_zlib.U')
| -rw-r--r-- | mcon/U/i_zlib.U | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/mcon/U/i_zlib.U b/mcon/U/i_zlib.U new file mode 100644 index 0000000..e667623 --- /dev/null +++ b/mcon/U/i_zlib.U @@ -0,0 +1,31 @@ +?RCS: $Id: i_zlib.U 167 2013-05-08 17:58:00Z rmanfredi $ +?RCS: +?RCS: Copyright (c) 2006, Christian Biere +?RCS: +?RCS: You may redistribute only under the terms of the Artistic License, +?RCS: as specified in the README file that comes with the distribution. +?RCS: You may reuse parts of this distribution only within the terms of +?RCS: that same Artistic License; a copy of which may be found at the root +?RCS: of the source tree for dist 4.0. +?RCS: +?X: +?X: This unit looks whether <zlib.h> is available or not +?X: +?MAKE:i_zlib: Inhdr +?MAKE: -pick add $@ %< +?S:i_zlib: +?S: This variable conditionally defines I_ZLIB, which indicates +?S: to the C program that it should include <zlib.h>. +?S:. +?C:I_ZLIB: +?C: This symbol, if defined, indicates to the C program that it should +?C: include <zlib.h>. +?C:. +?H:#$i_zlib I_ZLIB /**/ +?H:. +?Y:BOTTOM +?LINT:set i_zlib +: see if this is a zlib.h system +set zlib.h i_zlib +eval $inhdr + |