if [ "$CINT" -a "$MAKECINT" ]; then
echo "$ac_t""creating cint/Makefile" 1>&6
(cd cint && \
- $MAKECINT -mk Makefile.makecint -o ginaccint -m \
+ $MAKECINT -mk Makefile.makecint -o ginaccint.bin -m \
-D OBSCURE_CINT_HACK -D NO_NAMESPACE_GINAC \
-I .. -I $CINTSYSDIR -m -H ../ginac/ginac.h dummies.h \
- -C++ dummies.cpp -C++ ginaccint.cpp \
+ -C++ dummies.cpp -C++ ginaccint.bin.cpp \
-l ./libginac.a -lcln -cint -M0x10; \
cd ..)
LIBGINACCINT="libginac.a"
+
trap '' 1 2 15
cat > confcache <<\EOF
# This file is a shell script that caches the results of configure
doc/tutorial/Makefile
doc/reference/Makefile
cint/Makefile
+cint/ginaccint
config.h" | sed "s/:[^ ]*//g"` conftest*; exit 1' 1 2 15
EOF
cat >> $CONFIG_STATUS <<EOF
s%@REFERENCE_TARGETS@%$REFERENCE_TARGETS%g
s%@CINT@%$CINT%g
s%@MAKECINT@%$MAKECINT%g
+s%@CINTSYSDIR@%$CINTSYSDIR%g
s%@LIBGINACCINT@%$LIBGINACCINT%g
s%@GINACCINTDIR@%$GINACCINTDIR%g
doc/tutorial/Makefile
doc/reference/Makefile
cint/Makefile
+cint/ginaccint
"}
EOF
cat >> $CONFIG_STATUS <<\EOF
EOF
cat >> $CONFIG_STATUS <<\EOF
test -z "$CONFIG_HEADERS" || echo timestamp > stamp-h
-chmod +x ginac-config
+chmod +x ginac-config cint/ginaccint
exit 0
EOF
chmod +x $CONFIG_STATUS