00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024 #include <ppl-config.h>
00025 #include "version.hh"
00026
00027 namespace PPL = Parma_Polyhedra_Library;
00028
00029 namespace {
00030
00031 const char version_string[] = PPL_PACKAGE_VERSION;
00032
00033 const char banner_string[] =
00034 "This is "PPL_PACKAGE_NAME" (PPL) version "PPL_PACKAGE_VERSION".\n"
00035 "Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>\n"
00036 "\n"
00037 "The PPL is free software; see the source for copying conditions.\n"
00038 "There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A\n"
00039 "PARTICULAR PURPOSE.\n"
00040 "\n"
00041 #if defined(__COMO__)
00042 #define str(s) # s
00043 #define xstr(s) str(s)
00044 "Compiled by the Comeau C++ compiler version "xstr(__COMO_VERSION__)".\n"
00045 #elif defined(__INTEL_COMPILER)
00046 #define str(s) # s
00047 #define xstr(s) str(s)
00048 "Compiled by the Intel C++ compiler version "xstr(__INTEL_COMPILER)".\n"
00049 #elif defined(__GNUC__)
00050 "Compiled by the GNU C++ compiler version "__VERSION__".\n"
00051 #else
00052 "Compiled by an unknown compiler.\n"
00053 #endif
00054 "\n"
00055 "Report bugs to "PPL_PACKAGE_BUGREPORT"."
00056 " For the most up-to-date information\n"
00057 "see the Parma Polyhedra Library site: http://www.cs.unipr.it/ppl/ .\n"
00058 "\n"
00059 "Contributors:\n"
00060 "Roberto Bagnara, Patricia M. Hill, Enea Zaffanella, Elisa Ricci,\n"
00061 "Abramo Bagnara, Andrea Cimino, Katy Dobson, Elena Mazzi,\n"
00062 "Matthew Mundell, Barbara Quartieri, Enric Rodriguez Carbonell,\n"
00063 "Alessandro Zaccagnini,\n"
00064 "Irene Bacchi, Danilo Bonardi, Sara Bonini, Giordano Fracasso,\n"
00065 "Maximiliano Marchesi, David Merchat, Andrea Pescetti, Angela Stazzone,\n"
00066 "Fabio Trabucchi, Claudio Trento, Tatiana Zolo.\n"
00067 "\n"
00068 "Special thanks to:\n"
00069 "Lucia Alessandrini, Frederic Besson, Tevfik Bultan, Manuel Carro,\n"
00070 "Marco Comini, Goran Frehse, Denis Gopan, Martin Guy, Bruno Haible,\n"
00071 "Bertrand Jeannet, Herve Le Verge, Francesco Logozzo, Costantino Medori,\n"
00072 "Fred Mesnard, Ken Mixter, Jose Morales, Sebastian Pop, Thomas Reps,\n"
00073 "Mooly Sagiv, Sriram Sankaranarayanan, Axel Simon, Fausto Spoto,\n"
00074 "Basile Starynkevitch, Pedro Vasconcelos, Ralf Wildenhues.";
00075
00076 }
00077
00078 unsigned
00079 PPL::version_major() {
00080 return PPL_VERSION_MAJOR;
00081 }
00082
00083 unsigned
00084 PPL::version_minor() {
00085 return PPL_VERSION_MINOR;
00086 }
00087
00088 unsigned
00089 PPL::version_revision() {
00090 return PPL_VERSION_REVISION;
00091 }
00092
00093 unsigned
00094 PPL::version_beta() {
00095 return PPL_VERSION_BETA;
00096 }
00097
00098 const char*
00099 PPL::version() {
00100 return version_string;
00101 }
00102
00103 const char*
00104 PPL::banner() {
00105 return banner_string;
00106 }