blob: 208db0adf85d047538c3ce1ae2f1f34d7fd60455 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
with import (fetchTarball "https://github.com/NixOS/nixpkgs/archive/00197eff36bb8f7dd7f53a59f730e1fd8e11b1f4.tar.gz") {};
let
ncoq = coq_8_14;
ncoqPackages = coqPackages_8_14;
bbv = ncoqPackages.callPackage
( { coq, stdenv, fetchFromGithub, mkCoqDerivation }:
mkCoqDerivation {
pname = "bbv";
owner = "ymherklotz";
defaultVersion = "1.0-dev";
src = fetchFromGitHub {
owner = "mit-plv";
repo = "bbv";
rev = "d5ab9c04db85eb85688816dc687d118000a65736";
sha256 = "0qlgkzwrg80j50md9s3fbnq62xc7fx1cb9f3y8iz714824ihkhbj";
};
buildInputs = [ ];
propagatedBuildInputs = [ coq ];
enableParallelBuilding = true;
outputs = [ "out" ];
meta = with lib; {
description = "Bedrock Bit Vector Library";
homepage = "https://github.com/mit-plv/bbv";
license = licenses.mit;
platforms = [ "x86_64-linux" "x86_64-darwin" ];
maintainers = [ ];
};
} ) { } ;
in
ncoqPackages.mkCoqDerivation {
pname = "biteq";
owner = "ymherklotz";
defaultVersion = "0.1.0";
src = ./.;
buildInputs = [ ncoq bbv ];
enableParallelBuilding = true;
}
|