diff options
| author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-05-11 14:10:48 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-05-11 14:10:48 +0300 |
| commit | acb52d7ad0984ae672cb076447f158182556e98e (patch) | |
| tree | 2049de20a0ffddf2b4e9a5f7355675a0d27770e1 /pkgs/development/tools/analysis | |
| parent | 5b0b0970c476c0e310da0ecaf23c0efb04891e70 (diff) | |
| parent | a296146f8059963d918c39e4887f235efe30c5a5 (diff) | |
Merge pull request #230567 from r-ryantm/auto-update/ocamlPackages.yojson
ocamlPackages.yojson: 2.0.2 -> 2.1.0
Diffstat (limited to 'pkgs/development/tools/analysis')
| -rw-r--r-- | pkgs/development/tools/analysis/frama-c/default.nix | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/pkgs/development/tools/analysis/frama-c/default.nix b/pkgs/development/tools/analysis/frama-c/default.nix index 491da08310bfe..6652ee134f92c 100644 --- a/pkgs/development/tools/analysis/frama-c/default.nix +++ b/pkgs/development/tools/analysis/frama-c/default.nix @@ -1,4 +1,4 @@ -{ lib, stdenv, fetchurl, makeWrapper, writeText +{ lib, stdenv, fetchurl, fetchpatch, makeWrapper, writeText , graphviz, doxygen , ocamlPackages, ltl2ba, coq, why3 , gdk-pixbuf, wrapGAppsHook @@ -53,6 +53,14 @@ stdenv.mkDerivation rec { hash = "sha256-UT7ajIyu8e5vzrz2oBKDDrtZqUacgUP/TRi0/kz9Qkg="; }; + patches = [ + (fetchpatch { + name = "fixes-yojson-2_1-support.patch"; + url = "https://git.frama-c.com/pub/frama-c/-/commit/647eace02ed8dac46e75452898c3470f82576818.patch"; + hash = "sha256-XfLi4kW1Y2MCLjHHQZAD8DvXvfZuDH3OKd9hlTV0XCw="; + }) + ]; + postConfigure = "patchShebangs src/plugins/eva/gen-api.sh"; strictDeps = true; |