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