X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=cint%2Fconfigure;h=ec988b42a1ca186cb6c0c8d86d15922e919d0420;hp=0b3941f095cb3b984d7f0d90f2dc24a8aecd8cc8;hb=1a21a1a5d97950126a8df787302286b6cc1a902c;hpb=6a9911249d7121c57ba279c77a2e5c4b24212354

diff --git a/cint/configure b/cint/configure
index 0b3941f0..ec988b42 100755
--- 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 \
- -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"