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_INCREMENTAL_BF
  10         " INCREMENTAL=BF"
  11 #elif defined USE_INCREMENTAL_DF
  12         " INCREMENTAL=DF"
  13 #else
  14         " -INCREMENTAL"
  15 #endif
  16     "\n"
  17 #ifdef HAVE_PET
  18         " +PET"
  19 #else
  20         " -PET"
  21 #endif
  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 POINTS2TRIANGS_PATH
  38         " +TOPCOM"
  39 #else
  40         " -TOPCOM"
  41 #endif
  42 #ifdef USE_ZSOLVE
  43         " +ZSOLVE"
  44 #else
  45         " -ZSOLVE"
  46 #endif
  47 #ifdef USE_PARKER
  48         " +PARKER"
  49 #else
  50         " -PARKER"
  51 #endif
  52     "\n"
  53     ;
  54 }