genheader.pl: create a header file 'cint_workaround.h' to fix the broken

[ginac.git] / cint / configure

diff --git a/cint/configure b/cint/configure
index 0b3941f095cb3b984d7f0d90f2dc24a8aecd8cc8..ec988b42a1ca186cb6c0c8d86d15922e919d0420 100755 (executable)
--- a/cint/configure
+++ b/cint/configure
@@ -29,7 +29,8 @@ echo "ok, cint seems to be in \$PATH"
 makecint -mk Makefile -o ginaccint -m \
  -D OBSCURE_CINT_HACK -D NO_GINAC_NAMESPACE \
  -I .. -I $CINTSYSDIR \
 makecint -mk Makefile -o ginaccint -m \
  -D OBSCURE_CINT_HACK -D NO_GINAC_NAMESPACE \
  -I .. -I $CINTSYSDIR \

- -m -H ../ginac/ginac.h -C++ dummy_ginsh.cpp -C++ ginaccint.cpp \
+ -m -H ../ginac/ginac.h -H cint_workaround.h \
+ -C++ dummy_ginsh.cpp -C++ ginaccint.cpp \

  -l ../ginac/.libs/libginac.a -lcln \
  -cint -M0x10
 echo "ok, makecint has created the Makefile"
  -l ../ginac/.libs/libginac.a -lcln \
  -cint -M0x10
 echo "ok, makecint has created the Makefile"