#! /bin/sh
#
# This script installs the TIGCCLIB.
# For this, 2 directories have to be created. One (include) contains header
# files, the other (lib) contains libraries.
#
echo GCC4TI script: Installing TIGCCLIB...
rm -Rf "$PREFIX_GCC4TI/include"
cp -Rf ../tigcclib/include "$PREFIX_GCC4TI/"
# only symlink if the file system is case sensitive
if [ ! -f "$PREFIX_GCC4TI/include/asm/OS.h" ]
then ln -sf "$PREFIX_GCC4TI/include/asm/os.h" "$PREFIX_GCC4TI/include/asm/OS.h"
fi
rm -Rf "$PREFIX_GCC4TI/lib"
cp -Rf ../tigcclib/lib "$PREFIX_GCC4TI"
rm -Rf "$PREFIX_GCC4TI/examples"
cp -Rf ../tigcclib/examples "$PREFIX_GCC4TI"

#cd ../tigcclib/src; make; make clean; cp tigcc.a "$PREFIX_GCC4TI/include/c"

exit 0
