cint/configure

   1 #!/bin/sh
   2
   3 echo
   4 echo "GiNaCcint configure script"
   5 echo "--------------------------"
   6 echo
   7 echo "Warning: this is not a sophisticated GNU configure script!"
   8 echo
   9 echo "It tests if cint is installed"
  10 echo "What it does NOT check:"
  11 echo "    the ginac source files (e.g. ginac.h) must be in ../ginac"
  12 echo "    libginac must have been compiled with -D NO_GINAC_NAMESPACE"
  13 echo "    libginac.a or libginac.so must be found in ../ginac/.libs"
  14 echo "    libcln.a or libcln.so must be in the standard link path"
  15 echo
  16
  17 if [ X"$CINTSYSDIR"X = "XX" ]; then
  18     echo "ERROR: cint does not seem to be installed (\$CINTSYSDIR not set)"
  19     exit
  20 fi;
  21 echo "ok, cint seems to be installed (\$CINTSYSDIR = $CINTSYSDIR)"
  22
  23 if [ X`which cint`X = "XX" ]; then
  24     echo "ERROR: cint not in \$PATH"
  25     exit
  26 fi;
  27 echo "ok, cint seems to be in \$PATH"
  28
  29 makecint -mk Makefile -o ginaccint -m \
  30  -D OBSCURE_CINT_HACK -D NO_GINAC_NAMESPACE \
  31  -I .. -I $CINTSYSDIR \
  32  -m -H ../ginac/ginac.h -C++ dummy_ginsh.cpp -C++ ginaccint.cpp \
  33  -l ../ginac/.libs/libginac.a -lcln \
  34  -cint -M0x10
  35 echo "ok, makecint has created the Makefile"
  36
  37 echo
  38 echo "Configuration done. Now type \"make\"."
  39 echo "(please ignore template warnings about 'statement with no effect')"
  40