Diffstat (limited to 'mcon/U/i_niip.U')
1 files changed, 30 insertions, 0 deletions
diff --git a/mcon/U/i_niip.U b/mcon/U/i_niip.U
new file mode 100644
@@ -0,0 +1,30 @@
+?RCS: $Id: i_niip.U 167 2013-05-08 17:58:00Z rmanfredi $
+?RCS: Copyright (c) 2006, Christian Biere
+?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.
+?X: This unit looks whether <netinet/ip.h> is available or not
+?MAKE: -pick add $@ %<
+?S: This variable conditionally defines I_NETINET_IP, which indicates
+?S: to the C program that it should include <netinet/ip.h>.
+?C: This symbol, if defined, indicates to the C program that it should
+?C: include <netinet/ip.h>.
+?H:#$i_niip I_NETINET_IP /**/
+: see if this is a netinet/ip.h system
+set netinet/ip.h i_niip