b12f/nixpkgs
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

tamarin-prover: Allow compiling with maude-3.3

Browse source
This commit is contained in:
Ellie Hermaszewska 2023-04-05 14:39:55 +08:00
parent cbc30e4bbc
commit bd54a9047d
No known key found for this signature in database
1 changed files with 9 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
pkgs/applications/science/logic/tamarin-prover/default.nix
View file

@ -1,4 +1,4 @@
{ haskellPackages, mkDerivation, fetchFromGitHub, lib, stdenv
{ haskellPackages, mkDerivation, fetchFromGitHub, fetchpatch, lib, stdenv
# the following are non-haskell dependencies
, makeWrapper, which, maude, graphviz, glibcLocales
}:
@ -67,6 +67,14 @@ mkDerivation (common "tamarin-prover" src // {
isLibrary = false;
isExecutable = true;
patches = [
# Backport of https://github.com/tamarin-prover/tamarin-prover/pull/536 to 1.6.1
(fetchpatch {
url = "https://github.com/tamarin-prover/tamarin-prover/commit/95fbace0c5cbea57b5f320f6bb4d0387a4beab8d.patch";
sha256 = "sha256-Wjf7C208kcskEN1op//HQZnhoZopKQS42JvE8kV5NhI=";
})
];
# strip out unneeded deps manually
doHaddock = false;
enableSharedExecutables = false;