Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: NixOS/nixpkgs
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: 4a1ff5b3ce9a
Choose a base ref
...
head repository: NixOS/nixpkgs
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: a81c25a5b039
Choose a head ref
  • 1 commit
  • 1 file changed
  • 1 contributor

Commits on Nov 26, 2020

  1. framac: 21.1 -> 22.0

    @yrashk @vbgl
    yrashk authored and vbgl committed Nov 26, 2020

    Verified

    This commit was signed with the committer’s verified signature.
    primeos Michael Weiss
    GPG key ID: 5BE487C4D4771D83
    Verified
    Learn about vigilant mode
    Copy the full SHA
    a81c25a View commit details
Showing with 4 additions and 4 deletions.
  1. +4 −4 pkgs/development/tools/analysis/frama-c/default.nix
8 changes: 4 additions & 4 deletions pkgs/development/tools/analysis/frama-c/default.nix
View file
Original file line number Diff line number Diff line change
@@ -7,7 +7,7 @@
let
mkocamlpath = p: "${p}/lib/ocaml/${ocamlPackages.ocaml.version}/site-lib";
runtimeDeps = with ocamlPackages; [
apron
apron.dev
biniou
camlzip
easy-format
@@ -24,12 +24,12 @@ in

stdenv.mkDerivation rec {
pname = "frama-c";
version = "21.1";
slang = "Scandium";
version = "22.0";
slang = "Titanium";

src = fetchurl {
url = "http://frama-c.com/download/frama-c-${version}-${slang}.tar.gz";
sha256 = "0qq0d08dzr0dmdjysiimdqmwlzgnn932vp5kf8lfn3nl45ai09dy";
sha256 = "1mq1fijka95ydrla486yr4w6wdl9l7vmp512s1q00b0p6lmfwmkh";
};

preConfigure = lib.optionalString stdenv.cc.isClang "configureFlagsArray=(\"--with-cpp=clang -E -C\")";