frama-c: Chlorine -> Argon

This commit is contained in:
Vincent Laporte 2018-12-02 13:14:31 +00:00 committed by Vincent Laporte
parent b0a4013e52
commit 8c11c9528e

View file

@ -1,5 +1,5 @@
{ stdenv, fetchurl, makeWrapper, ncurses, ocamlPackages, graphviz { stdenv, fetchurl, makeWrapper, ncurses, ocamlPackages, graphviz
, ltl2ba, coq, alt-ergo, why3, autoconf , ltl2ba, coq, why3, autoconf
}: }:
let let
@ -9,12 +9,12 @@ in
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "frama-c-${version}"; name = "frama-c-${version}";
version = "20180502"; version = "18.0";
slang = "Chlorine"; slang = "Argon";
src = fetchurl { src = fetchurl {
url = "http://frama-c.com/download/frama-c-${slang}-${version}.tar.gz"; url = "http://frama-c.com/download/frama-c-${version}-${slang}.tar.gz";
sha256 = "1m4r8h8n1z957pylyf9b0kjblh59imnqm1bkb4s6rdwl4a1gbjgc"; sha256 = "0a88k2mhafj7pz3dzgsqkrc9digkxpnvr9jqq9nbzwq8qr02bca2";
}; };
why2 = fetchurl { why2 = fetchurl {
@ -25,8 +25,8 @@ stdenv.mkDerivation rec {
nativeBuildInputs = [ autoconf makeWrapper ]; nativeBuildInputs = [ autoconf makeWrapper ];
buildInputs = with ocamlPackages; [ buildInputs = with ocamlPackages; [
ncurses ocaml findlib alt-ergo ltl2ba ocamlgraph ncurses ocaml findlib ltl2ba ocamlgraph
lablgtk coq graphviz zarith why3 apron camlp4 lablgtk coq graphviz zarith why3 apron
]; ];