[exim.git] / src / scripts / Configure-os.h

#! /bin/sh
# $Cambridge: exim/src/scripts/Configure-os.h,v 1.2 2008/01/17 13:03:35 tom Exp $

# Shell script to create a link to the appropriate OS-specific header file.

scripts=../scripts

# Get the OS type, and check that there is a make file for it.

os=`$scripts/os-type -generic` || exit 1

if	test ! -r ../OS/Makefile-$os
then    echo ""
	echo "*** Sorry - operating system $os is not supported"
        echo "*** See OS/Makefile-* for supported systems" 1>&2
        echo ""
	exit 1;
fi

# Ensure there is an OS-specific header file, and link it to os.h. There should
# always be one if there is a make file for the OS, so its absence is somewhat
# disastrous.

if	test ! -r ../OS/os.h-$os
then    echo ""
	echo "*** Build error: OS/os.h-$os file is missing"
        echo ""
	exit 1;
fi
rm -f os.h

# In order to accomodate for the fudge below, copy the file instead of
# symlinking it. Otherwise we pollute the clean copy with the fudge.
cp -a ../OS/os.h-$os os.h || exit 1

# Special-purpose fudge for older versions of Linux (pre 2.1.15) that
# use the structure name "options" instead of "ip_options".

if [ "$os" != "Linux" -a "$os" != "Linux-libc5" ] ; then exit 0; fi

grep ip_options /usr/include/linux/ip.h >/dev/null
if [ $? = 0 ] ; then exit 0; fi

cat >>os.h <<End

/* Fudge added because this Linux doesn't appear to have a definition
for ip_options in /usr/include/linux/ip.h. */

#define ip_options options
End

# End of Configure-os.h
Commit	Line	Data
61ec970d	1	#! /bin/sh
6a8f9482	2	# $Cambridge: exim/src/scripts/Configure-os.h,v 1.2 2008/01/17 13:03:35 tom Exp $
61ec970d PH	3
	4	# Shell script to create a link to the appropriate OS-specific header file.
	5
	6	scripts=../scripts
	7
	8	# Get the OS type, and check that there is a make file for it.
	9
	10	os=`$scripts/os-type -generic` \|\| exit 1
	11
	12	if test ! -r ../OS/Makefile-$os
	13	then echo ""
	14	echo "*** Sorry - operating system $os is not supported"
	15	echo "*** See OS/Makefile-* for supported systems" 1>&2
	16	echo ""
	17	exit 1;
	18	fi
	19
	20	# Ensure there is an OS-specific header file, and link it to os.h. There should
	21	# always be one if there is a make file for the OS, so its absence is somewhat
	22	# disastrous.
	23
	24	if test ! -r ../OS/os.h-$os
	25	then echo ""
	26	echo "*** Build error: OS/os.h-$os file is missing"
	27	echo ""
	28	exit 1;
	29	fi
	30	rm -f os.h
6a8f9482 TK	31
	32	# In order to accomodate for the fudge below, copy the file instead of
	33	# symlinking it. Otherwise we pollute the clean copy with the fudge.
	34	cp -a ../OS/os.h-$os os.h \|\| exit 1
61ec970d PH	35
	36	# Special-purpose fudge for older versions of Linux (pre 2.1.15) that
	37	# use the structure name "options" instead of "ip_options".
	38
	39	if [ "$os" != "Linux" -a "$os" != "Linux-libc5" ] ; then exit 0; fi
	40
	41	grep ip_options /usr/include/linux/ip.h >/dev/null
	42	if [ $? = 0 ] ; then exit 0; fi
	43
	44	cat >>os.h <<End
	45
	46	/* Fudge added because this Linux doesn't appear to have a definition
	47	for ip_options in /usr/include/linux/ip.h. */
	48
	49	#define ip_options options
	50	End
	51
	52	# End of Configure-os.h