public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

bap: 1.2 -> 1.4

Browse Source
This commit is contained in:
Matthew Maurer
2018-03-01 12:10:41 -05:00
parent 48cc8c2fff
commit a9409104a0
6 changed files with 19 additions and 20 deletions
Download Patch File Download Diff File Expand all files Collapse all files

21
pkgs/development/ocaml-modules/bap/default.nix
View File

@@ -1,18 +1,21 @@
{stdenv, buildOcaml, fetchFromGitHub, fetchurl, camlp4, ocaml_oasis, bitstring, camlzip, cmdliner, core_kernel, ezjsonm, faillib, fileutils, ocaml_lwt, ocamlgraph, ocurl, re, uri, zarith, piqi, piqi-ocaml, uuidm, llvm_38, ulex, easy-format, xmlm, frontc, ounit, utop, which, makeWrapper, writeText, ocaml}:
{stdenv, buildOcaml, fetchFromGitHub, fetchurl, camlp4, ocaml_oasis,
bitstring, camlzip, cmdliner, core_kernel, ezjsonm, faillib, fileutils, ocaml_lwt, ocamlgraph, ocurl, re, uri, zarith, piqi, piqi-ocaml, uuidm, llvm_38, ulex, easy-format, xmlm, frontc, ounit, ppx_jane, parsexp,
utop,
which, makeWrapper, writeText, ocaml}:
buildOcaml rec {
name = "bap";
version = "1.2.0";
version = "1.4.0";
src = fetchFromGitHub {
owner = "BinaryAnalysisPlatform";
repo = "bap";
rev = "v${version}";
sha256 = "0dn1gvj73pma0rsw8r50cmjddibnf42w1kbskb2vpzq0kb79jlkw";
sha256 = "0329m65x8q5q8vgvsqgyz2vz7q6qkh2rh11j7x29hckk3fzxsf8g";
};
sigs = fetchurl {
url = "https://github.com/BinaryAnalysisPlatform/bap/releases/download/v${version}/sigs.zip";
sha256 = "0mpsq2pinbrynlisnh8j3nrlamlsls7lza0bkqnm9szqjjdmcgfn";
sha256 = "0k761w82zkmi5dwsfqq61dbjnb8mmmpb2xwp7vp85xs14g5fjz19";
};
createFindlibDestdir = true;
@@ -28,7 +31,7 @@ buildOcaml rec {
llvm_38
utop ];
propagatedBuildInputs = [ bitstring camlzip cmdliner core_kernel ezjsonm faillib fileutils ocaml_lwt ocamlgraph ocurl re uri zarith piqi
propagatedBuildInputs = [ bitstring camlzip cmdliner ppx_jane core_kernel ezjsonm faillib fileutils ocaml_lwt ocamlgraph ocurl re uri zarith piqi parsexp
piqi-ocaml uuidm frontc ounit ];
installPhase = ''
@@ -45,11 +48,7 @@ buildOcaml rec {
disableIda = "--disable-ida --disable-fsi-benchmark";
doCheck = true;
checkTarget = "check test";
configureFlags = "--enable-everything --enable-tests ${disableIda} --with-llvm-config=${llvm_38}/bin/llvm-config";
configureFlags = "--enable-everything ${disableIda} --with-llvm-config=${llvm_38}/bin/llvm-config";
BAPBUILDFLAGS = "-j $(NIX_BUILD_CORES)";
@@ -58,6 +57,6 @@ buildOcaml rec {
homepage = https://github.com/BinaryAnalysisPlatform/bap/;
maintainers = [ maintainers.maurer ];
license = licenses.mit;
broken = versionAtLeast ocaml.version "4.03";
broken = versionOlder ocaml.version "4.03";
};
}