nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-10-02 13:00:23 +00:00
Code Issues Packages Projects Releases Wiki 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
parent 80c7745b4e
commit 5bfd2f0061
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\")";