dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

framac: 27.1 (Cobalt) → 28.0 (Nickel)

Browse Source
This commit is contained in:
Vincent Laporte 2023-12-06 06:38:08 +01:00 committed by Vincent Laporte
parent c4e2e52a21
commit a2b78690c3
2 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pkgs/development/tools/analysis/frama-c/default.nix
View File

@ -28,6 +28,7 @@ let
sexplib0
parsexp
base
unionFind
yojson
zarith
];
@ -36,12 +37,12 @@ in
stdenv.mkDerivation rec {
pname = "frama-c";
version = "27.1";
slang = "Cobalt";
version = "28.0";
slang = "Nickel";
src = fetchurl {
url = "https://frama-c.com/download/frama-c-${version}-${slang}.tar.gz";
hash = "sha256-WxNXShaliXHCeQm+6Urn83sX2JeFK0DHaKPU4uCeOdI=";
hash = "sha256-KWEogjMOy27d0LTKOvwEkrcND+szeaG46JMZTG4XOYM=";
};
postConfigure = "patchShebangs src/plugins/eva/gen-api.sh";
@ -56,6 +57,7 @@ stdenv.mkDerivation rec {
lablgtk3 lablgtk3-sourceview3 coq graphviz zarith apron why3 mlgmpidl doxygen
ppx_deriving ppx_import ppx_deriving_yaml ppx_deriving_yojson
gdk-pixbuf
unionFind
];
buildPhase = ''

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

@ -19182,9 +19182,7 @@ with pkgs;
fprettify = callPackage ../development/tools/fprettify { };
framac = callPackage ../development/tools/analysis/frama-c {
why3 = pkgs.why3.override { version = "1.6.0"; };
};
framac = callPackage ../development/tools/analysis/frama-c { };
frame = callPackage ../development/libraries/frame { };