Skip to content
This repository was archived by the owner on Apr 12, 2021. It is now read-only.
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-channels
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: f340be7c9682
Choose a base ref
...
head repository: NixOS/nixpkgs-channels
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: 07e5844fdf6f
Choose a head ref
  • 1 commit
  • 2 files changed
  • 1 contributor

Commits on Sep 30, 2020

  1. ikos: 2.1 → 3.0 

    (cherry picked from commit 22b076e)
    @vbgl
    vbgl committed Sep 30, 2020

    Verified

    This commit was signed with the committer’s verified signature. The key has expired.
    vbgl Vincent Laporte
    GPG key ID: EBD582ADDDB1F81F
    Expired
    Verified
    Learn about vigilant mode
    Copy the full SHA
    07e5844 View commit details
Showing with 5 additions and 5 deletions.
  1. +4 −4 pkgs/development/tools/analysis/ikos/default.nix
  2. +1 −1 pkgs/top-level/all-packages.nix
8 changes: 4 additions & 4 deletions pkgs/development/tools/analysis/ikos/default.nix
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
{ stdenv, lib, fetchFromGitHub, cmake, boost
{ stdenv, lib, fetchFromGitHub, cmake, boost, tbb
, gmp, llvm, clang, sqlite, python3
, ocamlPackages, mpfr, ppl, doxygen, graphviz
}:
@@ -11,16 +11,16 @@ in

stdenv.mkDerivation rec {
name = "ikos";
version = "2.1";
version = "3.0";

src = fetchFromGitHub {
owner = "NASA-SW-VnV";
repo = name;
rev = "v${version}";
sha256 = "09nf47hpk5w5az4c0hcr5hhwvpz8zg1byyg185542cpzbq1xj8cb";
sha256 = "0k3kp1af0qx3l1x6a4sl4fm8qlwchjvwkvs2ck0fhfnc62q2im5f";
};

buildInputs = [ cmake boost gmp clang llvm sqlite python
buildInputs = [ cmake boost tbb gmp clang llvm sqlite python
ocamlPackages.apron mpfr ppl doxygen graphviz ];

cmakeFlags = [ "-DAPRON_ROOT=${ocamlPackages.apron}" ];
2 changes: 1 addition & 1 deletion pkgs/top-level/all-packages.nix
View file
Original file line number Diff line number Diff line change
@@ -11047,7 +11047,7 @@ in
iconnamingutils = callPackage ../development/tools/misc/icon-naming-utils { };

ikos = callPackage ../development/tools/analysis/ikos {
inherit (llvmPackages_7) stdenv clang llvm;
inherit (llvmPackages_9) stdenv clang llvm;
};

include-what-you-use = callPackage ../development/tools/analysis/include-what-you-use {