1 files changed, 74 insertions, 0 deletions
diff --git a/mcon/U/Largefile.U b/mcon/U/Largefile.U
new file mode 100644
index 0000000..e4beb06
--- /dev/null
+++ b/mcon/U/Largefile.U
@@ -0,0 +1,74 @@
+?RCS: $Id: Largefile.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:
+?MAKE:Largefile: Trylink cat ccflags i_unistd
+?MAKE:	-pick add $@ %<
+?T:flags result saved_ccflags
+?W:%<:off_t
+?LINT:change ccflags
+: determine how to compile for large 64-bit file support
+echo " "
+echo "Checking whether we need flags for large file support..." >&4
+flags='-D_LARGEFILE_SOURCE -D_LARGEFILE64_SOURCE -D_FILE_OFFSET_BITS=64'
+$cat >try.c <<EOC
+#include <sys/types.h>
+#$i_unistd I_UNISTD
+#ifdef I_UNISTD
+#include <unistd.h>
+#endif
+int main(void)
+{
+	switch (0) { case 0: case (sizeof(off_t) >= 8): break; }
+	return 0;
+}
+EOC
+
+result=''
+set result
+eval $trylink
+
+case "$result" in
+"$define")
+	echo "Selected C flags already provide 64-bit file support."
+	;;
+"$undef")
+	echo "You're not natively compiling for large file, fixing..." >&4
+
+	saved_ccflags=$ccflags
+	ccflags="$flags $ccflags"
+
+	$cat >try.c <<EOC
+#include <sys/types.h>
+#$i_unistd I_UNISTD
+#ifdef I_UNISTD
+#include <unistd.h>
+#endif
+int main(void)
+{
+	switch (0) { case 0: case (sizeof(off_t) >= 8): break; }
+	return 0;
+}
+EOC
+	result=''
+	set result
+	eval $trylink
+
+	case "$result" in
+	"$define")
+		echo "(Adding $flags)"
+		;;
+	"$undef")
+		echo "(Could not compile the test program, using 32-bit files)" >&4
+		ccflags=$saved_ccflags
+		;;
+	esac	
+	;;
+esac
+