Changeset 1082b9 in git for gfanlib/gfanlib_zcone.cpp

Timestamp:

Jan 19, 2017, 2:57:38 PM (7 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '98550b669234b32be762076c32b3be2c35188ac4')

Children:

b08fbfc7220b87075c808c15b35900abd6636899

Parents:

0091f520ce1d05c31263015fbc74956dd9b73454

Message:

use of gfan::initializeCddlibIfRequired in polymake_wrapper

File:

• gfanlib/gfanlib_zcone.cpp (modified) (3 diffs)

gfanlib/gfanlib_zcone.cpp

@@ -13 +13 @@
 
 #include <config.h>
+extern "C"
+{
 #ifdef HAVE_CDD_SETOPER_H
 #include <cdd/setoper.h>
@@ -25 +27 @@
 #endif //HAVE_CDDLIB_SETOPER_H
 #endif //HAVE_CDD_SETOPER_H
-
+}
+extern "C" time_t dd_statStartTime; /*cddlib*/
 
 namespace gfan{
@@ -34 +37 @@
         void initializeCddlibIfRequired() // calling this frequently will cause memory leaks because deinitialisation is not possible with old versions of cddlib.
         {
+          if (dd_statStartTime==0)
+          {
                 dd_set_global_constants();
+                printf("dd_set_global_constansts\n");
+          }
         }
         void deinitializeCddlibIfRequired()
         {
         #ifdef HAVE_DD_FREE_GLOBAL_CONSTANTS
-                dd_free_global_constants();
+        //        dd_free_global_constants();
         #endif
         }