00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023 #include <config.h>
00024 #include "version.hh"
00025
00026 namespace PPL = Parma_Polyhedra_Library;
00027
00028 namespace {
00029
00030 const char version_string[] = PACKAGE_VERSION;
00031
00032 const char banner_string[] =
00033 "This is "PACKAGE_NAME" (PPL) version "PACKAGE_VERSION".\n"
00034 "Copyright (C) 2001-2006 Roberto Bagnara <bagnara@cs.unipr.it>.\n"
00035 "The PPL is free software; see the source for copying conditions.\n"
00036 "There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A\n"
00037 "PARTICULAR PURPOSE.\n"
00038 #if defined(__GNUC__)
00039 "Compiled by the GNU C++ compiler version "__VERSION__".\n"
00040 #elif defined(__INTEL_COMPILER)
00041 #define str(s) # s
00042 #define xstr(s) str(s)
00043 "Compiled by the Intel C++ compiler version "xstr(__INTEL_COMPILER)".\n"
00044 #elif defined(__COMO__)
00045 #define str(s) # s
00046 #define xstr(s) str(s)
00047 "Compiled by the Comeau C++ compiler version "xstr(__COMO_VERSION__)".\n"
00048 #endif
00049 "Report bugs to "PACKAGE_BUGREPORT".\n"
00050 "For the most up-to-date information see the Parma Polyhedra Library\n"
00051 "site: http://www.cs.unipr.it/ppl/ .\n";
00052
00053 }
00054
00055 unsigned
00056 PPL::version_major() {
00057 return PPL_VERSION_MAJOR;
00058 }
00059
00060 unsigned
00061 PPL::version_minor() {
00062 return PPL_VERSION_MINOR;
00063 }
00064
00065 unsigned
00066 PPL::version_revision() {
00067 return PPL_VERSION_REVISION;
00068 }
00069
00070 unsigned
00071 PPL::version_beta() {
00072 return PPL_VERSION_BETA;
00073 }
00074
00075 const char*
00076 PPL::version() {
00077 return version_string;
00078 }
00079
00080 const char*
00081 PPL::banner() {
00082 return banner_string;
00083 }