tjh.dev
1{ lib, stdenv, fetchurl, bison }:
2
3stdenv.mkDerivation rec {
4 pname = "buddy";
5 version = "2.4";
6
7 src = fetchurl {
8 url = "mirror://sourceforge/buddy/${pname}-${version}.tar.gz";
9 sha256 = "0dl86l9xkl33wnkz684xa9axhcxx2zzi4q5lii0axnb9lsk81pyk";
10 };
11
12 buildInputs = [ bison ];
13 patches = [ ./gcc-4.3.3-fixes.patch ];
14 configureFlags = [ "CFLAGS=-O3" "CXXFLAGS=-O3" ];
15 NIX_LDFLAGS = "-lm";
16 doCheck = true;
17
18 meta = {
19 homepage = "https://sourceforge.net/projects/buddy/";
20 description = "Binary decision diagram package";
21 license = "as-is";
22
23 platforms = lib.platforms.unix; # Once had cygwin problems
24 };
25}