diff options
Diffstat (limited to 'tools/build')
| -rwxr-xr-x | tools/build | 53 |
1 files changed, 53 insertions, 0 deletions
diff --git a/tools/build b/tools/build new file mode 100755 index 0000000..7a374f0 --- /dev/null +++ b/tools/build @@ -0,0 +1,53 @@ +#!/bin/sh +# +# $Id: build,v 1.1.1.1 2000/02/16 23:32:47 shmit Exp $ + +os=`uname -s` +rev=`uname -r` +rev_major=`echo $rev | cut -d. -f1` + +case $os in +FreeBSD) + if [ $rev_major -ge 3 ]; then + target=freebsd + else + target=freebsd2 + fi + ;; +Linux) + target=linux + ;; +SunOS) + if [ $rev_major -ge 5 ]; then + target=solaris + else + target=sunos + fi + ;; +*) + echo "I don't know how to build for your platform, please poke" 1>&2 + echo "around in Makefiles/os and tools/build to get the server" 1>&2 + echo "to work on your platform." 1>&2 + exit 1 + ;; +esac + +# Figure out which make to use. +make=$1 && shift 1 + +# Clobber the target makefile if the target of the build is the Makefile. +if [ "$1" = "target" ]; then + rm -f Makefiles/os/target + echo "Setting build target to $target." + ln -s $target Makefiles/os/target && exit 0 + exit 1 +fi + +# Make sure the OS Makefile is in place. +if [ ! -f Makefiles/os/target ]; then + echo "Setting build target to $target." + ln -s $target Makefiles/os/target || exit 1 +fi + +# Now build the target. +$make MAKE=$make -f Makefiles/build $* |