tjh.dev
Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
frama-c: 21.0 (Scandium) → 21.1 (Scandium)
authored by
Vincent Laporte
and committed by
Bjørn Forsman
18094dbd
cda852a5
+2
-2
pkgs/development/tools/analysis/frama-c/default.nix
+2
-2
pkgs/development/tools/analysis/frama-c/default.nix
···
23
23
24
24
stdenv.mkDerivation rec {
25
25
pname = "frama-c";
26
-
version = "21.0";
26
+
version = "21.1";
27
27
slang = "Scandium";
28
28
29
29
src = fetchurl {
30
30
url = "http://frama-c.com/download/frama-c-${version}-${slang}.tar.gz";
31
-
sha256 = "0xqkyrvkr31r6443zgf4f749a1mf2360v8f0km071a1za767yvf5";
31
+
sha256 = "0qq0d08dzr0dmdjysiimdqmwlzgnn932vp5kf8lfn3nl45ai09dy";
32
32
};
33
33
34
34
preConfigure = lib.optionalString stdenv.cc.isClang "configureFlagsArray=(\"--with-cpp=clang -E -C\")";