Unverified Commit 3a3c84e1 authored by Naïm Favier's avatar Naïm Favier
Browse files

haskellPackages.idris: fix

parent d33dfa53

pkgs/development/haskell-modules/configuration-common.nix

+11 −7
Original line number Diff line number Diff line
@@ -1095,15 +1095,19 @@ self: super: { 
  }) newer;



  # * The standard libraries are compiled separately.

  # * We need a patch from master to fix compilation with

  #   updated dependencies (haskeline and megaparsec) which can be

  # * We need a few patches from master to fix compilation with

  #   updated dependencies which can be

  #   removed when the next idris release comes around.

  idris = self.generateOptparseApplicativeCompletions [ "idris" ]

  idris = lib.pipe super.idris [

    dontCheck

    doJailbreak

    (appendPatch (fetchpatch {

      name = "idris-libffi-0.2.patch";

      url = "https://github.com/idris-lang/Idris-dev/commit/6d6017f906c5aa95594dba0fd75e7a512f87883a.patch";

      hash = "sha256-wyLjqCyLh5quHMOwLM5/XjlhylVC7UuahAM79D8+uls=";

    }) (doJailbreak (dontCheck super.idris)));

      name = "idris-bumps.patch";

      url = "https://github.com/idris-lang/Idris-dev/compare/c99bc9e4af4ea32d2172f873152b76122ee4ee14...cf78f0fb337d50f4f0dba235b6bbe67030f1ff47.patch";

      hash = "sha256-RCMIRHIAK1PCm4B7v+5gXNd2buHXIqyAxei4bU8+eCk=";

    }))

    (self.generateOptparseApplicativeCompletions [ "idris" ])

  ];



  # Too strict bound on hspec

  # https://github.com/lspitzner/multistate/issues/9#issuecomment-1367853016

pkgs/development/haskell-modules/configuration-hackage2nix/broken.yaml

+0 −1
Original line number Diff line number Diff line
@@ -3012,7 +3012,6 @@ broken-packages: 
  - identifiers # failure in job https://hydra.nixos.org/build/233251845 at 2023-09-02

  - idiii # failure in job https://hydra.nixos.org/build/233228586 at 2023-09-02

  - idna2008 # failure in job https://hydra.nixos.org/build/233206444 at 2023-09-02

  - idris # failure in job https://hydra.nixos.org/build/253681757 at 2024-03-31

  - IDynamic # failure in job https://hydra.nixos.org/build/233196222 at 2023-09-02

  - ieee-utils # failure in job https://hydra.nixos.org/build/233224430 at 2023-09-02

  - iexcloud # failure in job https://hydra.nixos.org/build/233224874 at 2023-09-02

pkgs/development/haskell-modules/hackage-packages.nix

+0 −2
Original line number Diff line number Diff line
@@ -167723,8 +167723,6 @@ self: { 
       ];

       description = "Functional Programming Language with Dependent Types";

       license = lib.licenses.bsd3;

       hydraPlatforms = lib.platforms.none;

       broken = true;

     }) {inherit (pkgs) gmp;};















  "ieee" = callPackage