diff options
author | Etienne Laurin <etienne@atnnn.com> | 2018-12-11 20:20:29 +0000 |
---|---|---|
committer | Etienne Laurin <etienne@atnnn.com> | 2018-12-12 00:09:24 +0000 |
commit | 328fbcff60e9d6838d16b4228ed84d94d35cc18d (patch) | |
tree | b79b16898ca75c65dc71e1011999a703142f610e /pkgs/development/tools/analysis/ikos | |
parent | 10d9fe7d38eb783b8c468abcb27eaea078fcb293 (diff) |
ikos: init at 2.1
Diffstat (limited to 'pkgs/development/tools/analysis/ikos')
-rw-r--r-- | pkgs/development/tools/analysis/ikos/default.nix | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/pkgs/development/tools/analysis/ikos/default.nix b/pkgs/development/tools/analysis/ikos/default.nix new file mode 100644 index 0000000000000..6f3df32f3c041 --- /dev/null +++ b/pkgs/development/tools/analysis/ikos/default.nix @@ -0,0 +1,36 @@ +{ stdenv, lib, fetchFromGitHub, cmake, boost +, gmp, llvm, clang, sqlite, python3 +, ocamlPackages, mpfr, ppl, doxygen, graphviz +}: + +let + python = python3.withPackages (ps: with ps; [ + pygments + ]); +in + +stdenv.mkDerivation rec { + name = "ikos"; + version = "2.1"; + + src = fetchFromGitHub { + owner = "NASA-SW-VnV"; + repo = name; + rev = "v${version}"; + sha256 = "09nf47hpk5w5az4c0hcr5hhwvpz8zg1byyg185542cpzbq1xj8cb"; + }; + + buildInputs = [ cmake boost gmp clang llvm sqlite python + ocamlPackages.apron mpfr ppl doxygen graphviz ]; + + cmakeFlags = "-DAPRON_ROOT=${ocamlPackages.apron}"; + + postBuild = "make doc"; + + meta = with lib; { + homepage = https://github.com/NASA-SW-VnV/ikos; + description = "Static analyzer for C/C++ based on the theory of Abstract Interpretation"; + license = licenses.nasa13; + maintainers = with maintainers; [ atnnn ]; + }; +} |