movefasta/nixpkgs
0
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-07-14 14:10:33 +03:00
Code Activity

frama-c: 23.1 (Vanadium) → 24.0 (Chromium)

Browse source
This commit is contained in:
Vincent Laporte 2021-12-03 05:59:21 +01:00 • committed by Bjørn Forsman
parent 91de7c5e7b
commit deef812ae8
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
pkgs/development/tools/analysis/frama-c/default.nix
View file

@ -31,12 +31,12 @@ in
stdenv.mkDerivation rec {
pname = "frama-c";
version = "23.1";
slang = "Vanadium";
version = "24.0";
slang = "Chromium";
src = fetchurl {
url = "https://frama-c.com/download/frama-c-${version}-${slang}.tar.gz";
sha256 = "1rgkq9sg436smw005ag0j6y3xryhjn18a07m5wjfrfp0s1438nnj";
sha256 = "sha256:0x1xgip50jdz1phsb9rzwf2ra8lshn1hmd9g967xia402wrg3sjf";
};
preConfigure = lib.optionalString stdenv.cc.isClang "configureFlagsArray=(\"--with-cpp=clang -E -C\")";