#!/bin/csh -ef

rm -f build-kernel-log
touch build-kernel-log

echo ""
echo "Logging build output to build-kernel-log."
echo ""

echo ""
echo "Building the kernel and kernel modules."
echo ""

if ( ! -d kernel ) then
    if ( -d kernel-2.4 ) then
	ln -s kernel-2.4 kernel
	echo "Linking kernel to kernel-2.4."
    else if ( -d kernel-2.2 ) then
	ln -s kernel-2.2 kernel
	echo "Linking kernel to kernel-2.2."
    else
	echo "No kernel directory."
    endif
endif

cd kernel
if ( $?DISPLAY ) then
    make xconfig >> ../build-kernel-log
else
    make menuconfig
endif
    
make dep >> ../build-kernel-log
make >> ../build-kernel-log
make modules >> ../build-kernel-log
cd ..

echo ""
echo "Building the initial policy."
echo ""
cd policy
make initpolicy >> ../build-kernel-log
cd ..

echo ""
echo "Build completed."
echo ""
