tjh.dev
1{ lib, stdenv, fetchurl, autoreconfHook }:
2
3stdenv.mkDerivation rec {
4 pname = "cudd";
5 version = "3.0.0";
6
7 src = fetchurl {
8 url = "https://davidkebo.com/source/cudd_versions/cudd-3.0.0.tar.gz";
9 sha256 = "0sgbgv7ljfr0lwwwrb9wsnav7mw7jmr3k8mygwza15icass6dsdq";
10 };
11
12 configureFlags = [
13 "--enable-dddmp"
14 "--enable-obj"
15 ];
16
17 patches = [
18 ./cudd.patch
19 ];
20
21 nativeBuildInputs = [ autoreconfHook ];
22
23 meta = with lib; {
24 homepage = "https://davidkebo.com/cudd";
25 description = "Binary Decision Diagram (BDD) library";
26 license = licenses.bsd3;
27 platforms = platforms.all;
28 maintainers = with maintainers; [ chessai ];
29 };
30}