version.c

   1 #include <barvinok/util.h>
   2 #include "config.h"
   3 #include "version.h"
   4
   5 const char *barvinok_version(void)
   6 {
   7     return
   8         GIT_HEAD_ID"\n"
   9 #ifdef HAVE_PET
  10         " +PET"
  11 #else
  12         " -PET"
  13 #endif
  14 #ifdef HAVE_OMEGA
  15         " +OMEGA"
  16 #else
  17         " -OMEGA"
  18 #endif
  19 #ifdef HAVE_LIBCDDGMP
  20         " +CDDLIB"
  21 #else
  22         " -CDDLIB"
  23 #endif
  24 #ifdef HAVE_LIBGLPK
  25         " +GLPK"
  26 #else
  27         " -GLPK"
  28 #endif
  29 #ifdef POINTS2TRIANGS_PATH
  30         " +TOPCOM"
  31 #else
  32         " -TOPCOM"
  33 #endif
  34 #ifdef USE_ZSOLVE
  35         " +ZSOLVE"
  36 #else
  37         " -ZSOLVE"
  38 #endif
  39 #ifdef USE_PARKER
  40         " +PARKER"
  41 #else
  42         " -PARKER"
  43 #endif
  44     "\n"
  45     ;
  46 }