#!/bin/sh
#*---------------------------------------------------------------------*/
#*    serrano/prgm/project/bigloo/distribution/install                 */
#*                                                                     */
#*    Author      :  Manuel Serrano                                    */
#*    Creation    :  Fri Mar  5 13:32:49 1993                          */
#*    Last change :  Wed Oct 11 09:36:12 1995 (serrano)                */
#*                                                                     */
#*    On install bigloo (puisqu'il a ete boote)                        */
#*---------------------------------------------------------------------*/

#*---------------------------------------------------------------------*/
#*    !!! WARNING !!! WARNING !!! WARNING !!! WARNING !!! WARNING !!!  */
#*    Don't edit after this line                                       */
#*---------------------------------------------------------------------*/

#*---------------------------------------------------------------------*/
#*    Le site                                                          */
#*---------------------------------------------------------------------*/
site=`pwd`

#*---------------------------------------------------------------------*/
#*    Les variables generees                                           */
#*---------------------------------------------------------------------*/
version=1.8
bin=the-bin-dir
lib=the-lib-dir
man=the-man-dir

#*---------------------------------------------------------------------*/
#*    On installe les librairies                                       */
#*---------------------------------------------------------------------*/
if( test ! -d $bin ); then
   echo "*** ERROR: bin directory does not exist [$bin]"
   exit 1
fi

if( test ! -d $lib ); then
   echo "*** ERROR: lib directory does not exist [$lib]"
   exit 1
fi


if( test ! -d $lib/bigloo ); then
  echo ". creating $lib/bigloo directory"
  mkdir $lib/bigloo

  if( test ! -d $lib/bigloo ); then
     echo "*** ERROR: cannot create -- $lib/bigloo"
     exit 1
  fi
else
  echo ". removing old $lib/bigloo/$version directory"
  \rm -rf $lib/bigloo/$version
fi

echo ". creating $lib/bigloo/$version directory"
mkdir $lib/bigloo/$version

if( test ! -d $lib/bigloo/$version ); then
   echo "*** ERROR: cannot create -- $lib/bigloo/$version"
   exit 1
fi

#*---------------------------------------------------------------------*/
#*    On change les droits                                             */
#*---------------------------------------------------------------------*/
chmod -R a+rxw lib/*
chmod -R a+rxw bin

#*---------------------------------------------------------------------*/
#*    On construit le bigloo.h                                         */
#*---------------------------------------------------------------------*/
echo ". installing libraries"

cp lib/$version/bigloo.h $lib/bigloo/$version/bigloo.h
cp lib/$version/bigloo.heap $lib/bigloo/$version/bigloo.heap
cp lib/$version/libbigloo.a $lib/bigloo/$version/libbigloo.a
cp lib/$version/libbigloo_u.a $lib/bigloo/$version/libbigloo_u.a

ranlib $lib/bigloo/$version/libbigloo.a
ranlib $lib/bigloo/$version/libbigloo_u.a

#*---------------------------------------------------------------------*/
#*    On installe la doc                                               */
#*---------------------------------------------------------------------*/
echo ". installing manual [$man]"

if( test ! -d $man ); then
  echo "*** ERROR: Cannot install manuals -- (ignored)"
else
  \rm -f $man/bigloo.1

  cp documentation/bigloo.1 $man/bigloo.1
  chmod a+r $man/bigloo.1
fi

cp documentation/bigloo.ps $lib/bigloo/$version/bigloo.ps

#*---------------------------------------------------------------------*/
#*    On retouche le fichier de path et on recompile                   */
#*---------------------------------------------------------------------*/
echo ". installing compiler"

cp bin/bigloo$version $bin/bigloo$version

#*---------------------------------------------------------------------*/
#*    On change les droits                                             */
#*---------------------------------------------------------------------*/
chmod -R a+rwx $lib/bigloo
chmod a+rx $bin/bigloo$version

#*---------------------------------------------------------------------*/
#*    Voila, c'est fini                                                */
#*---------------------------------------------------------------------*/
echo "install done"
echo "-------------------------------"




