#!/bin/sh
#
# Shell for building the DNA GUI
#
# Version: $Id: build,v 1.1 2003/05/13 13:49:37 svensson Exp $
#
# Check that DNAHOME is defined.
#
if [ -z "$DNAHOME" ]; then
  echo "ERROR: DNAHOME not defined."
  exit 1
fi
#
# Make sure we're in the right directory.
#
cd $DNAHOME/gui
echo "Building the DNA GUI"
rm -rf build_log
echo "Build log file: $DNAHOME/gui/build_log"
#
# Cleaning previously installed components.
#
make clean > $DNAHOME/gui/build_log 2>&1
#
# Building the DNA GUI
#
echo "Now building the DNA GUI in $DNAHOME/gui"
make xml >> $DNAHOME/gui/build_log 2>&1
make all >> $DNAHOME/gui/build_log 2>&1
echo "DNA GUI built."
