pkgs/development/libraries/cudd/default.nix

   1 { lib, stdenv, fetchurl, autoreconfHook }:
   2
   3 stdenv.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 }