Changeset b258e2a in git

Timestamp:

Aug 9, 2019, 12:52:27 PM (4 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '0604212ebb110535022efecad887940825b97c3f')

Children:

3fd81b1df73f61ec1bba8aa42feb184260ea27c37161acac8387482214ebcdd85e77266519f0cad2777d4bb19a3e35537640bec3fc2db8899f9ffc8b

Parents:

fcc6e71bf5a9978aca272c257309c1804ba136c0

Message:

fix: allow polymake.lib without polymake.so

File:

• Singular/LIB/polymake.lib (modified) (1 diff)

Singular/LIB/polymake.lib

@@ -135 +135 @@
   LIB "customstd.so";
   LIB "gfanlib.so";
-  LIB "polymake.so";
+  load("polymake.so","try");
   option(set,save);
 }