tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 stdenv,
4 fetchFromGitHub,
5 autoreconfHook,
6 pkg-config,
7 boost,
8 m4ri,
9 gd,
10}:
11
12stdenv.mkDerivation rec {
13 version = "1.2.14";
14 pname = "brial";
15
16 src = fetchFromGitHub {
17 owner = "BRiAl";
18 repo = "BRiAl";
19 rev = version;
20 sha256 = "sha256-vefvqlJab4lVHH35uItdNw5YBEOgVrETIYGoPlq8660=";
21 };
22
23 # FIXME package boost-test and enable checks
24 doCheck = false;
25
26 configureFlags = [
27 "--with-boost-unit-test-framework=no"
28 ];
29
30 buildInputs = [
31 boost
32 m4ri
33 gd
34 ];
35
36 nativeBuildInputs = [
37 autoreconfHook
38 pkg-config
39 ];
40
41 meta = with lib; {
42 homepage = "https://github.com/BRiAl/BRiAl";
43 description = "Legacy version of PolyBoRi maintained by sagemath developers";
44 license = licenses.gpl2Plus;
45 teams = [ teams.sage ];
46 platforms = platforms.unix;
47 };
48}