diff options
| author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-05-11 12:30:10 +0300 |
|---|---|---|
| committer | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-05-11 12:30:10 +0300 |
| commit | a296146f8059963d918c39e4887f235efe30c5a5 (patch) | |
| tree | 2fd2f98f729400ab61bab933227d7d24543918aa /pkgs/development/tools/analysis | |
| parent | 77a317d6565c9b005da89a96c3f4f908718b2423 (diff) | |
framac: fix build
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; |