path: root/mcon/U/d_statfs.U
diff options
Diffstat (limited to 'mcon/U/d_statfs.U')
1 files changed, 50 insertions, 0 deletions
diff --git a/mcon/U/d_statfs.U b/mcon/U/d_statfs.U
new file mode 100644
index 0000000..4f1731a
--- /dev/null
+++ b/mcon/U/d_statfs.U
@@ -0,0 +1,50 @@
+?RCS: $Id: d_statfs.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.
+?MAKE:d_statfs: Trylink cat i_sysmount i_sysparam i_sysvfs
+?MAKE: -pick add $@ %<
+?S: This variable conditionally defines the HAS_STATFS symbol, which
+?S: indicates to the C program that the statfs() system call is available.
+?C: This symbol, if defined, indicates that the Linux statfs() system call
+?C: is available to get filesystem statistics.
+?H:#$d_statfs HAS_STATFS /**/
+?LINT:set d_statfs
+: see if statfs exists
+$cat >try.c <<EOC
+#$i_sysparam I_SYS_PARAM
+#ifdef I_SYS_PARAM
+#include <sys/param.h>
+#$i_sysmount I_SYS_MOUNT
+#ifdef I_SYS_MOUNT
+#include <sys/mount.h>
+#$i_sysvfs I_SYS_VFS
+#ifdef I_SYS_VFS
+#include <sys/vfs.h>
+int main(void)
+ static int ret;
+ static char *p;
+ static struct statfs buf;
+ ret |= statfs(p, &buf);
+ return ret ? 0 : 1;
+set d_statfs
+eval $trylink