polymake: enable polydb

2026-01-14 09:25:57 -03:00
parent 1451da686b
commit 977d6545b9
1 changed files with 6 additions and 0 deletions
@@ -15,6 +15,7 @@
  ninja,
  ant,
  openjdk,
+  mongoc,
  perl,
  perlPackages,
  makeWrapper,
@@ -55,6 +56,7 @@ stdenv.mkDerivation rec {
    lrs
    nauty
    openjdk
+    mongoc
  ]
  ++ (with perlPackages; [
    JSON
@@ -63,6 +65,10 @@ stdenv.mkDerivation rec {
    XMLSAX
  ]);

+  configureFlags = [
+    "--with-mongoc=${mongoc}"
+  ];
+
  ninjaFlags = [
    "-C"
    "build/Opt"