[PPL-devel] [GIT] ppl/ppl(master): New automatically generated files BUGS.hh, COPYING. hh and CREDITS.hh.

21 Feb 2012

Module: ppl/ppl
Branch: master
Commit: 7f578f53d6ca109d5b233ffbc2cba4b593067c1a
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7f578f53d6ca1...
Author: Roberto Bagnara bagnara@cs.unipr.it
Date:   Tue Feb 21 08:44:07 2012 +0100
New automatically generated files BUGS.hh, COPYING.hh and CREDITS.hh.
---
src/Makefile.am      |   21 +++++++++++++++++++++
 src/ppl-config.cc.in |   15 ++++++---------
 2 files changed, 27 insertions(+), 9 deletions(-)

diff --git a/src/Makefile.am b/src/Makefile.am
index 13d83d7..6e84ad1 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -577,12 +577,21 @@ ppl.hh:	$(top_builddir)/ppl-config.h $(top_builddir)/src/version.hh ppl_header.h
    	-I $(top_builddir) -I $(top_builddir)/src \
    	$(top_srcdir)/src/ppl_header.hh >$@
+BUGS.hh: $(top_builddir)/utils/text2cxxarray $(top_srcdir)/BUGS
+	$(top_builddir)/utils/text2cxxarray --name=BUGS_array --decl-only \
+		$(top_srcdir)/BUGS >$@
 BUGS.cc: $(top_builddir)/utils/text2cxxarray $(top_srcdir)/BUGS
    $(top_builddir)/utils/text2cxxarray --name=BUGS_array \
    	$(top_srcdir)/BUGS >$@
+COPYING.hh: $(top_builddir)/utils/text2cxxarray $(top_srcdir)/COPYING
+	$(top_builddir)/utils/text2cxxarray --name=COPYING_array --decl-only \
+		$(top_srcdir)/COPYING >$@
 COPYING.cc: $(top_builddir)/utils/text2cxxarray $(top_srcdir)/COPYING
    $(top_builddir)/utils/text2cxxarray --name=COPYING_array \
    	$(top_srcdir)/COPYING >$@
+CREDITS.hh: $(top_builddir)/utils/text2cxxarray $(top_srcdir)/CREDITS
+	$(top_builddir)/utils/text2cxxarray --name=CREDITS_array --decl-only \
+		$(top_srcdir)/CREDITS >$@
 CREDITS.cc: $(top_builddir)/utils/text2cxxarray $(top_srcdir)/CREDITS
    $(top_builddir)/utils/text2cxxarray --name=CREDITS_array \
    	$(top_srcdir)/CREDITS >$@
@@ -604,10 +613,16 @@ ppl.hh:	ppl.hh.dist ppl.hh.sed
    $(SED) -f ppl.hh.sed $< >$@
    rm -f ppl.hh.sed
+BUGS.hh:	BUGS.hh.dist
+	cp -f $< $@
 BUGS.cc:	BUGS.cc.dist
    cp -f $< $@
+COPYING.hh:	COPYING.hh.dist
+	cp -f $< $@
 COPYING.cc:	COPYING.cc.dist
    cp -f $< $@
+CREDITS.hh:	CREDITS.hh.dist
+	cp -f $< $@
 CREDITS.cc:	CREDITS.cc.dist
    cp -f $< $@
@@ -631,8 +646,11 @@ $(include_HEADERS) \
 $(nodist_noinst_HEADERS) \
 $(noinst_HEADERS) \
 $(PRECOMPILED) \
+BUGS.hh \
 BUGS.cc \
+COPYING.hh \
 COPYING.cc \
+CREDITS.hh \
 CREDITS.cc
# ppl.hh is not distributed.
@@ -640,8 +658,11 @@ CREDITS.cc
 # likewise for BUGS.cc.dist, COPYING.cc.dist and CREDITS.cc.dist.
 dist-hook:
    mv -f $(distdir)/ppl.hh $(distdir)/ppl.hh.dist
+	mv -f $(distdir)/BUGS.hh $(distdir)/BUGS.hh.dist
    mv -f $(distdir)/BUGS.cc $(distdir)/BUGS.cc.dist
+	mv -f $(distdir)/COPYING.hh $(distdir)/COPYING.hh.dist
    mv -f $(distdir)/COPYING.cc $(distdir)/COPYING.cc.dist
+	mv -f $(distdir)/CREDITS.hh $(distdir)/CREDITS.hh.dist
    mv -f $(distdir)/CREDITS.cc $(distdir)/CREDITS.cc.dist
CLEANFILES = $(BUILT_SOURCES)
diff --git a/src/ppl-config.cc.in b/src/ppl-config.cc.in
index 0fafd39..f8c5481 100644
--- a/src/ppl-config.cc.in
+++ b/src/ppl-config.cc.in
@@ -23,6 +23,9 @@ For the most up-to-date information see the Parma Polyhedra Library
 site: http://bugseng.com/products/ppl/ . */
#include "ppl.hh"
+#include "BUGS.hh"
+#include "COPYING.hh"
+#include "CREDITS.hh"
namespace PPL = Parma_Polyhedra_Library;
@@ -712,20 +715,14 @@ main(int argc, char* argv[]) try {
   if (required_license)
     portray("LICENSE", PPL_LICENSE);
-  if (required_copying) {
-    extern const char* const COPYING_array[];
+  if (required_copying)
     portray("COPYING", COPYING_array);
-  }
-  if (required_bugs) {
-    extern const char* const BUGS_array[];
+  if (required_bugs)
     portray("BUGS", BUGS_array);
-  }
-  if (required_credits) {
-    extern const char* const CREDITS_array[];
+  if (required_credits)
     portray("CREDITS", CREDITS_array);
-  }
return 0;
 }

    