nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-17 09:34:36 +00:00
Code Issues Packages Projects Releases Wiki Activity

framac: fix build with OCaml ≥ 5

Browse Source
This commit is contained in:
Vincent Laporte 2024-01-10 06:35:02 +01:00 committed by Vincent Laporte
parent fff96c57d4
commit 4873da366c
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/development/tools/analysis/frama-c/default.nix
View File

@ -45,6 +45,10 @@ stdenv.mkDerivation rec {
hash = "sha256-KWEogjMOy27d0LTKOvwEkrcND+szeaG46JMZTG4XOYM=";
};
preConfigure = ''
substituteInPlace src/dune --replace " bytes " " "
'';
postConfigure = "patchShebangs src/plugins/eva/gen-api.sh";
strictDeps = true;