configure

#!/bin/sh
##
##

## Copyright (C) 1994-2005 The New York Group Theory Cooperative
## See magnus/doc/COPYRIGHT for the full notice.

## Contents: Configuration script for Magnus
##
## Principal Author: Jon Lennox, Dmitry Bormotov
##
## Status: Useable.
##
## Revision History:
##

#echo "Setting up default Magnus paths..."
#echo

DEFAULT_MAGNUSHOME=/usr/share/magnus
DEFAULT_MAGNUSCURRENTHOME=`pwd`
DEFAULT_WISH=/usr/bin/wish
DEFAULT_MAGNUSTMP=/tmp
MAGNUSTMP=/tmp
echo "Which operation system are you going to use ? "
echo "(Enter 0 for LINUX, 1 for System V, 2 for BSD 4.11+/Mac OS X; LINUX is default)"
# read OS
OS=0

if [ "$OS" = "1" ]
then
  	OS='SYSV'

elif [ "$OS" = "2" ]
then 
        OS='BSD'

else 
	OS='LINUX'
fi
echo "You chose $OS."
echo


echo "Enter the path to the Magnus source tree (the directory where"
echo "the Magnus source is currently located):"
echo "[$DEFAULT_MAGNUSCURRENTHOME]"
# read MAGNUSCURRENTHOME
MAGNUSCURRENTHOME=
if [ "$MAGNUSCURRENTHOME" = "" ]
then
	MAGNUSCURRENTHOME=$DEFAULT_MAGNUSCURRENTHOME
fi

echo "Checking existence of $MAGNUSCURRENTHOME ... "
if [ -d $MAGNUSCURRENTHOME ]
then
	echo "ok"
else
	echo
	echo "Uh-oh ... $MAGNUSCURRENTHOME doesn't seem to exist!"
	echo "Continue? [n]"
	read YN
	if [ "`echo $YN | sed 's/\(.\).*/\1/'`" != "y" ]
	then
		exit 1
	fi
fi

# this section should wait until we have a real install script

#echo
#echo "Enter the path to the Magnus root directory (the directory where "
#echo "Magnus will eventually be installed):"
#echo [$DEFAULT_MAGNUSHOME]"
#read MAGNUSHOME
#if [ "$MAGNUSHOME" = "" ]
#then
#	MAGNUSHOME=$DEFAULT_MAGNUSHOME
#fi
#
#echo "Checking existence of $MAGNUSHOME ... "
#if [ -d $MAGNUSHOME ]
#then
#	echo "ok"
#else
#	echo
#	echo "Uh-oh ... $MAGNUSHOME doesn't seem to exist!"
#	echo "Continue? [y]"
#	read YN
#	if [ "`echo $YN | sed 's/\(.\).*/\1/'`" = "n" ]
#	then
#		exit 1
#	fi
#fi

# in the meantime, just do this

# MAGNUSHOME=$MAGNUSCURRENTHOME
MAGNUSHOME=$DEFAULT_MAGNUSHOME

echo
echo "Enter the path to the Wish executable (with the addinput extensions):"
echo "[$DEFAULT_WISH]"
# read WISH
WISH=
if [ "$WISH" = "" ]
then
	WISH=$DEFAULT_WISH
fi

echo  "Checking existence of $WISH ... "
if [ -x $WISH ]
then
	echo "ok"
else
	echo
	echo "Uh-oh ... $WISH doesn't seem to exist!"
	echo "Continue? [n]"
	read YN
	if [ "`echo $YN | sed 's/\(.\).*/\1/'`" != "y" ]
	then
		exit 1
	fi
fi

echo "Enter the path to the Magnus temporary directory:"
echo -n  "[$DEFAULT_MAGNUSTMP]"
# read MAGNUSTMP
MAGNUSTMP=
if [ "$MAGNUSTMP" = "" ]
then
	MAGNUSTMP=$DEFAULT_MAGNUSTMP
fi

echo -n "Checking existence of $MAGNUSTMP ... "
if [ -d $MAGNUSTMP ]
then
	echo "ok"
else
	echo
	echo "Uh-oh ... $MAGNUSTMP doesn't seem to exist!"
	echo -n "Continue? [n]"
	read YN
	if [ "`echo $YN | sed 's/\(.\).*/\1/'`" != "y" ]
	then
		exit 1
	fi
fi

SEDSCRIPT="s,%MAGNUSHOME%,$MAGNUSHOME,;s,%WISH%,$WISH,;s,%OS%,$OS,;s,%MAGNUSTMP%,$MAGNUSTMP,"



echo
echo "Creating $MAGNUSCURRENTHOME/back_end/global/config.h ..."
if [ ! -f $MAGNUSCURRENTHOME/back_end/global/config.h.in ]
then
	echo "$MAGNUSCURRENTHOME/back_end/global/config.h.in is missing!"
	exit 1
fi

if [ -f $MAGNUSCURRENTHOME/back_end/global/config.h ]
then
	echo "	$MAGNUSCURRENTHOME/back_end/global/config.h already exists!"
	echo "	Copying it to $MAGNUSCURRENTHOME/back_end/global/config.h.old"
	cp $MAGNUSCURRENTHOME/back_end/global/config.h $MAGNUSCURRENTHOME/back_end/global/config.h.old
fi

sed $SEDSCRIPT < $MAGNUSCURRENTHOME/back_end/global/config.h.in > $MAGNUSCURRENTHOME/back_end/global/config.h

echo "$MAGNUSCURRENTHOME/back_end/global/config.h created."


#@njz
echo
echo "Creating $MAGNUSCURRENTHOME/back_end/black_boxes/TietzeTrek/Makefile ..."
if [ ! -f $MAGNUSCURRENTHOME/back_end/black_boxes/TietzeTrek/Makefile.in ]
then
	echo "$MAGNUSCURRENTHOME/back_end/black_boxes/TietzeTrek/Makefile.in is missing!"
	exit 1
fi

if [ -f $MAGNUSCURRENTHOME/back_end/black_boxes/TietzeTrek/Makefile ]
then
	echo "	$MAGNUSCURRENTHOME/back_end/black_boxes/TietzeTrek/Makefile already exists!"
	echo "	Copying it to $MAGNUSCURRENTHOME/back_end/black_boxes/TietzeTrek/Makefile.old"
	cp $MAGNUSCURRENTHOME/back_end/black_boxes/TietzeTrek/Makefile $MAGNUSCURRENTHOME/back_end/black_boxes/TietzeTrek/Makefile.old
fi

sed $SEDSCRIPT < $MAGNUSCURRENTHOME/back_end/black_boxes/TietzeTrek/Makefile.in > $MAGNUSCURRENTHOME/back_end/black_boxes/TietzeTrek/Makefile

echo "$MAGNUSCURRENTHOME/back_end/black_boxes/TietzeTrek/Makefile created."
#

echo
echo "Creating $MAGNUSCURRENTHOME/front_end/magnus ..."
if [ ! -f $MAGNUSCURRENTHOME/front_end/magnus.in ]
then
	echo "$MAGNUSCURRENTHOME/front_end/magnus.in is missing!"
	exit 1
fi

if [ -f $MAGNUSCURRENTHOME/front_end/magnus ]
then
	echo "	$MAGNUSCURRENTHOME/front_end/magnus already exists!"
	echo "	Copying it to $MAGNUSCURRENTHOME/front_end/magnus.old"
	cp $MAGNUSCURRENTHOME/front_end/magnus $MAGNUSCURRENTHOME/front_end/magnus.old
fi

sed $SEDSCRIPT < $MAGNUSCURRENTHOME/front_end/magnus.in > $MAGNUSCURRENTHOME/front_end/magnus



chmod ug+x $MAGNUSCURRENTHOME/front_end/magnus

echo "$MAGNUSCURRENTHOME/front_end/magnus created."
chmod 755 $MAGNUSCURRENTHOME

echo

echo "Configuration complete."

exit 0