Unverified Commit 91e450f3 authored by Atemu's avatar Atemu Committed by GitHub
Browse files

[Backport release-25.05] lngen: fix build with GHC >=9.8.1 (#408404)

parents ffd83d92 d76d76a3

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 ];