#!/bin/sh # # $Id: Build,v 1.13 2002/05/15 07:44:36 rmg Exp $ # # Build [options] - Configure and compile the mush. case "$1" in -help | --help | --hel | --he) exec src/configure --help ;; esac echo "Building TinyMUSH 3.1..." echo echo "***** Configuring GNU DBM..." echo cd src/gdbm-1.8.0 ./configure --enable-shared=no --enable-static=yes "$@" echo echo "***** Building GNU DBM..." echo make echo echo "***** Configuring the server..." cd .. if test -z "$*"; then ./configure echo "***** Building server using default config..." else ./configure "$@" echo "***** Building server using custom config..." fi echo rm -f .depend touch .depend make 2>&1 | tee Compile.log cd .. echo echo "Done."