wmc in the FFI (#184)

* wmc functionality to C FFI * bump nix * add ffi to features
neuppl · Dec 10, 2023 · 01a7723 · 01a7723
1 parent f5d5e17
commit 01a7723
Show file tree

Hide file tree

Showing 5 changed files with 139 additions and 61 deletions.
diff --git a/nix/0001-Cargo.lock.patch b/nix/0001-Cargo.lock.patch
diff --git a/nix/default.nix b/nix/default.nix
@@ -5,22 +5,18 @@
 }:
 rustPlatform.buildRustPackage rec {
   pname = "rsdd";
-  version = "0.1.0";
+  version = "unstable-2023-11-11";
 
   src = ../.;
 
-  #cargoHash = "sha256-GYO554P3VHilJm2z/BM8noiPKG/HQM5jSELwuXAHJAA=";
-  cargoHash = "sha256-dl1R1VHPPwa2RVZw3as7zbmKUSrWvjTrMYn/YEYw/38=";
-
   cargoPatches = [./0001-Cargo.lock.patch];
-
-
-  buildFeatures = [ "ffi" "cli" ];
+  cargoHash = "sha256-yIGvJRSW1qCf4giVZkj2rW7g0CG69nd5Ystle6cG5nU=";
+  buildFeatures = [ "ffi" ];
 
   meta = with lib; {
     description = "Rust decision diagrams";
     homepage = "https://github.com/neuppl/rsdd";
     license = licenses.mit;
-    maintainers = with maintainers; [ stites ];
+    maintainers = with maintainers; [];
   };
 }
diff --git a/nix/flake.lock b/nix/flake.lock