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

ocamlPackages.bap: 2.0.0 → 2.1.0

Browse Source
This commit is contained in:
Vincent Laporte 2020-10-02 07:44:56 +02:00 committed by Vincent Laporte
parent c8111ef271
commit afa12b1128
3 changed files with 12 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -4,20 +4,25 @@
utop, libxml2, utop, libxml2,
ppx_tools_versioned, ppx_tools_versioned,
which, makeWrapper, writeText which, makeWrapper, writeText
, z3
}: }:
if stdenv.lib.versionAtLeast core_kernel.version "0.12" if !stdenv.lib.versionAtLeast ocaml.version "4.07"
then throw "BAP needs core_kernel-0.11 (hence OCaml ≤ 4.06)" then throw "BAP is not available for OCaml ${ocaml.version}"
else
if stdenv.lib.versionAtLeast core_kernel.version "0.13"
then throw "BAP needs core_kernel-0.12 (hence OCaml 4.07)"
else else
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "ocaml${ocaml.version}-bap-${version}"; name = "ocaml${ocaml.version}-bap-${version}";
version = "2.0.0"; version = "2.1.0";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "BinaryAnalysisPlatform"; owner = "BinaryAnalysisPlatform";
repo = "bap"; repo = "bap";
rev = "v${version}"; rev = "v${version}";
sha256 = "0lb9xkfp67wjjqr75p6krivmjra7l5673236v9ny4gp0xi0755bk"; sha256 = "10fkr6p798ad18j4h9bvp9dg4pmjdpv3hmj7k389i0vhqniwi5xq";
}; };
sigs = fetchurl { sigs = fetchurl {
@ -36,6 +41,7 @@ stdenv.mkDerivation rec {
buildInputs = [ ocaml findlib ocamlbuild ocaml_oasis buildInputs = [ ocaml findlib ocamlbuild ocaml_oasis
llvm ppx_tools_versioned llvm ppx_tools_versioned
z3
utop libxml2 ]; utop libxml2 ];
propagatedBuildInputs = [ bitstring camlzip cmdliner ppx_jane core_kernel ezjsonm fileutils ocaml_lwt ocamlgraph ocurl re uri zarith piqi parsexp propagatedBuildInputs = [ bitstring camlzip cmdliner ppx_jane core_kernel ezjsonm fileutils ocaml_lwt ocamlgraph ocurl re uri zarith piqi parsexp

2
pkgs/top-level/all-packages.nix
View File

@ -13302,7 +13302,7 @@ in
libbacktrace = callPackage ../development/libraries/libbacktrace { }; libbacktrace = callPackage ../development/libraries/libbacktrace { };
libbap = callPackage ../development/libraries/libbap { libbap = callPackage ../development/libraries/libbap {
inherit (ocaml-ng.ocamlPackages_4_06) bap ocaml findlib ctypes; inherit (ocaml-ng.ocamlPackages_4_07) bap ocaml findlib ctypes;
}; };
libbass = (callPackage ../development/libraries/audio/libbass { }).bass; libbass = (callPackage ../development/libraries/audio/libbass { }).bass;

2
pkgs/top-level/python-packages.nix
View File

@ -768,7 +768,7 @@ in {
bandit = callPackage ../development/python-modules/bandit { }; bandit = callPackage ../development/python-modules/bandit { };
bap = callPackage ../development/python-modules/bap { bap = pkgs.ocaml-ng.ocamlPackages_4_06.bap; }; bap = callPackage ../development/python-modules/bap { bap = pkgs.ocaml-ng.ocamlPackages_4_07.bap; };
base58 = callPackage ../development/python-modules/base58 { }; base58 = callPackage ../development/python-modules/base58 { };