diff options
author | Jörg Thalheim <joerg@higgsboson.tk> | 2016-10-01 13:34:33 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-10-01 13:34:33 +0200 |
commit | 40f9f9c3f27f304f9fac94da6bb290a7147e1357 (patch) | |
tree | 64bc867a08cd74989c92ea38ce68f24737c1c6f4 /pkgs | |
parent | 66b12278f016f7121210586922fd5cace24f40b0 (diff) | |
parent | 19eba38b6c126817c5c0d38a30ea6cf764d1482b (diff) |
Merge pull request #19044 from vbgl/frama-c-aluminium
frama-c: Sodium -> Aluminium
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/development/tools/analysis/frama-c/default.nix | 27 |
1 files changed, 6 insertions, 21 deletions
diff --git a/pkgs/development/tools/analysis/frama-c/default.nix b/pkgs/development/tools/analysis/frama-c/default.nix index 2132d1e19b47e..fc817a8e391e8 100644 --- a/pkgs/development/tools/analysis/frama-c/default.nix +++ b/pkgs/development/tools/analysis/frama-c/default.nix @@ -3,12 +3,12 @@ stdenv.mkDerivation rec { name = "frama-c-${version}"; - version = "20150201"; - slang = "Sodium"; + version = "20160501"; + slang = "Aluminium"; src = fetchurl { url = "http://frama-c.com/download/frama-c-${slang}-${version}.tar.gz"; - sha256 = "0zask160vj8bxgc07dzxj5hqbdp6gz5g00j6za5397961imxhxaq"; + sha256 = "02z4d1lg2cs4hgbjx74crfrabv39dyhdrq5lvhv0q3hx5c8w7p90"; }; why2 = fetchurl { @@ -49,22 +49,7 @@ stdenv.mkDerivation rec { substituteInPlace $file --replace '/usr/bin/' "" done - # find library paths - OCAMLGRAPH_HOME=`ocamlfind query ocamlgraph` - LABLGTK_HOME=`ocamlfind query lablgtk2` - - # patch search paths - # ensure that the tests against the ocamlgraph version succeeds - # filter out the additional search paths from ocamldep - substituteInPlace ./configure \ - --replace '$OCAMLLIB/ocamlgraph' "$OCAMLGRAPH_HOME" \ - --replace '$OCAMLLIB/lablgtk2' "$LABLGTK_HOME" \ - --replace '+ocamlgraph' "$OCAMLGRAPH_HOME" \ - substituteInPlace ./Makefile --replace '+lablgtk2' "$LABLGTK_HOME" \ - --replace '$(patsubst +%,.,$(INCLUDES) $(GUI_INCLUDES))' \ - '$(patsubst /%,.,$(patsubst +%,.,$(INCLUDES) $(GUI_INCLUDES)))' - - substituteInPlace ./src/aorai/aorai_register.ml --replace '"ltl2ba' '"${ltl2ba}/bin/ltl2ba' + substituteInPlace ./src/plugins/aorai/aorai_register.ml --replace '"ltl2ba' '"${ltl2ba}/bin/ltl2ba' cd ../why* substituteInPlace ./frama-c-plugin/Makefile --replace 'shell frama-c' "shell $out/bin/frama-c" @@ -82,10 +67,10 @@ stdenv.mkDerivation rec { ''; meta = { - description = "Frama-C is an extensible tool for source-code analysis of C software"; + description = "An extensible and collaborative platform dedicated to source-code analysis of C software"; homepage = http://frama-c.com/; license = stdenv.lib.licenses.lgpl21; maintainers = with stdenv.lib.maintainers; [ thoughtpolice amiddelk ]; - platforms = stdenv.lib.platforms.linux; + platforms = stdenv.lib.platforms.unix; }; } |