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 USE_MODULO
  10         " +MODULO"
  11 #else
  12         " -MODULO"
  13 #endif
  14 #ifdef USE_INCREMENTAL_BF
  15         " INCREMENTAL=BF"
  16 #elif defined USE_INCREMENTAL_DF
  17         " INCREMENTAL=DF"
  18 #else
  19         " -INCREMENTAL"
  20 #endif
  21     "\n"
  22 #ifdef HAVE_OMEGA
  23         " +OMEGA"
  24 #else
  25         " -OMEGA"
  26 #endif
  27 #ifdef HAVE_LIBCDDGMP
  28         " +CDDLIB"
  29 #else
  30         " -CDDLIB"
  31 #endif
  32 #ifdef HAVE_LIBGLPK
  33         " +GLPK"
  34 #else
  35         " -GLPK"
  36 #endif
  37 #ifdef HAVE_GINAC
  38         " +GINAC"
  39 #else
  40         " -GINAC"
  41 #endif
  42     "\n"
  43     ;
  44 }