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

[ginac.git] / tools / Makefile.in

diff --git a/tools/Makefile.in b/tools/Makefile.in
index eb3d17221dc4987189f08ed5cf49257b9c523e64..88364a6a313ba20beb0573175c228ac025b5e690 100644 (file)
--- a/tools/Makefile.in
+++ b/tools/Makefile.in
@@ -63,6 +63,7 @@ ARCHIVE_AGE = @ARCHIVE_AGE@
 ARCHIVE_VERSION = @ARCHIVE_VERSION@
 AS = @AS@
 CC = @CC@
 ARCHIVE_VERSION = @ARCHIVE_VERSION@
 AS = @AS@
 CC = @CC@

+CINT = @CINT@

 CXX = @CXX@
 CXXCPP = @CXXCPP@
 DLLTOOL = @DLLTOOL@
 CXX = @CXX@
 CXXCPP = @CXXCPP@
 DLLTOOL = @DLLTOOL@


@@ -88,6 +89,7 @@ LT_CURRENT = @LT_CURRENT@
 LT_RELEASE = @LT_RELEASE@
 LT_REVISION = @LT_REVISION@
 MAINT = @MAINT@
 LT_RELEASE = @LT_RELEASE@
 LT_REVISION = @LT_REVISION@
 MAINT = @MAINT@

+MAKECINT = @MAKECINT@

 MAKEINDEX = @MAKEINDEX@
 MAKEINFO = @MAKEINFO@
 NM = @NM@
 MAKEINDEX = @MAKEINDEX@
 MAKEINFO = @MAKEINFO@
 NM = @NM@


@@ -102,7 +104,9 @@ YACC = @YACC@
 bin_PROGRAMS = viewgar
 viewgar_SOURCES = viewgar.cpp
 viewgar_LDADD = ../ginac/libginac.la
 bin_PROGRAMS = viewgar
 viewgar_SOURCES = viewgar.cpp
 viewgar_LDADD = ../ginac/libginac.la

+INCLUDES = -I$(srcdir)/../ginac

 man_MANS = viewgar.1
 man_MANS = viewgar.1

+EXTRA_DIST = $(man_MANS)

 mkinstalldirs = $(SHELL) $(top_srcdir)/mkinstalldirs
 CONFIG_HEADER = ../config.h
 CONFIG_CLEAN_FILES = 
 mkinstalldirs = $(SHELL) $(top_srcdir)/mkinstalldirs
 CONFIG_HEADER = ../config.h
 CONFIG_CLEAN_FILES = 


@@ -293,7 +297,7 @@ distdir: $(DISTFILES)
        @for file in $(DISTFILES); do \
          d=$(srcdir); \
          if test -d $$d/$$file; then \
        @for file in $(DISTFILES); do \
          d=$(srcdir); \
          if test -d $$d/$$file; then \

-           cp -pr $$d/$$file $(distdir)/$$file; \
+           cp -pr $$/$$file $(distdir)/$$file; \

          else \
            test -f $(distdir)/$$file \
            || ln $$d/$$file $(distdir)/$$file 2> /dev/null \
          else \
            test -f $(distdir)/$$file \
            || ln $$d/$$file $(distdir)/$$file 2> /dev/null \