polymake: enable polydb (#480023)

2026-01-17 20:56:57 +00:00
parent 5c89b02c9a 977d6545b9
commit 4362fac670
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"