Commit d76d76a3 authored by Leah Amelia Chen's avatar Leah Amelia Chen Committed by github-actions[bot]
Browse files

lngen: fix build with GHC >=9.8.1 

ZHF #403336

(cherry picked from commit 4f64e094)
parent 0af09df2

pkgs/by-name/ln/lngen/package.nix

+9 −1
Original line number Diff line number Diff line
@@ -6,15 +6,17 @@ 


haskellPackages.mkDerivation {

  pname = "lngen";

  version = "unstable-2024-10-22";

  version = "0-unstable-2024-10-22";

  src = fetchFromGitHub {

    owner = "plclub";

    repo = "lngen";

    rev = "c034c8d95264e6a5d490bc4096534ccd54f0d393";

    hash = "sha256-XzcB/mNXure6aZRmwgUWGHSEaknrbP8Onk2CisVuhiw=";

  };



  isLibrary = true;

  isExecutable = true;



  libraryHaskellDepends = with haskellPackages; [

    base

    syb
@@ -23,6 +25,12 @@ haskellPackages.mkDerivation { 
    mtl

  ];

  executableHaskellDepends = with haskellPackages; [ base ];



  # Fix build on GHC >=9.8.1, where using partial functions was made an error with `-Werror`

  preBuild = ''

    substituteInPlace lngen.cabal --replace-fail "-Werror" "-Werror -Wwarn=x-partial"

  '';



  homepage = "https://github.com/plclub/lngen";

  description = "Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott";

  maintainers = with lib.maintainers; [ chen ];