Bin/sppoc

   1 #!/bin/sh
   2
   3 #
   4 # Some constants
   5 #
   6 BIN_DIR=`dirname $0`
   7 SPPOC_TOP=${BIN_DIR}/sppoctop
   8 TOP_DIR=${BIN_DIR}/..
   9 ETC_DIR=${TOP_DIR}/Etc
  10 CAMLP5_DIR=`camlp5 -where`
  11 SPPOC_INC="-I ${ETC_DIR} -I ${TOP_DIR}/MlTools -I ${TOP_DIR}/Formel"
  12 SPPOC_INC="${SPPOC_INC} -I ${CAMLP5_DIR} -I /usr/local/lib"
  13 INIT_FILE=.ocamlinit
  14 INIT_PATH=${ETC_DIR}/${INIT_FILE}
  15 LEDIT=`which ledit 2> /dev/null`
  16
  17 #
  18 # Launch the SPPoC top level interpretor
  19 #
  20 if [ ! -x "${LEDIT}" -o "${NO_LEDIT}" ] ; then LEDIT='' ; fi
  21 if [ ! -f ${INIT_FILE} ] ; then
  22   cp ${INIT_PATH} .
  23   chmod a=r,u+w ${INIT_FILE}
  24 fi
  25 ${LEDIT} ${SPPOC_TOP} ${SPPOC_INC} "$@"