4 echo "GiNaCcint configure script"
5 echo "--------------------------"
7 echo "Warning: this is not a sophisticated GNU configure script!"
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"
17 if [ X"$CINTSYSDIR"X = "XX" ]; then
18 echo "ERROR: cint does not seem to be installed (\$CINTSYSDIR not set)"
21 echo "ok, cint seems to be installed (\$CINTSYSDIR = $CINTSYSDIR)"
23 if [ X`which cint`X = "XX" ]; then
24 echo "ERROR: cint not in \$PATH"
27 echo "ok, cint seems to be in \$PATH"
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 \
35 echo "ok, makecint has created the Makefile"
38 echo "Configuration done. Now type \"make\"."
39 echo "(please ignore template warnings about 'statement with no effect')"