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

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: 7f578f53d6ca109d5b233ffbc2cba4b593067c1a
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7f578f53d6ca109d5b233ffbc2cba4b593067c1a

Author: Roberto Bagnara <bagnara at 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;
 }