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: 85dc47b441e3
Choose a base ref
...
head repository: NixOS/nixpkgs
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: e96265ebcd25
Choose a head ref
  • 2 commits
  • 1 file changed
  • 2 contributors

Commits on Jan 23, 2020

  1. frama-c: 19.1 -> 20.0

    @yrashk
    yrashk committed Jan 23, 2020
    Copy the full SHA
    8c54c82 View commit details

Commits on Jan 24, 2020

  1. Merge pull request #78384 from yrashk/frama-c-20.0 

    frama-c: 19.1 -> 20.0
    @mmahut
    mmahut authored Jan 24, 2020
    Copy the full SHA
    e96265e View commit details
Showing with 3 additions and 3 deletions.
  1. +3 −3 pkgs/development/tools/analysis/frama-c/default.nix
6 changes: 3 additions & 3 deletions pkgs/development/tools/analysis/frama-c/default.nix
View file
Original file line number Diff line number Diff line change
@@ -23,12 +23,12 @@ in

stdenv.mkDerivation rec {
pname = "frama-c";
version = "19.1";
slang = "Potassium";
version = "20.0";
slang = "Calcium";

src = fetchurl {
url = "http://frama-c.com/download/frama-c-${version}-${slang}.tar.gz";
sha256 = "16xsc4jv3ycs5dqprpkh9isr6l2w6i4bq83msqmkdc7l7hf53vrd";
sha256 = "03dvn162djylj2skmk6vv75gh87mm4s5cspkzcrlm5x0rlla2yqn";
};

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