Commit 15b6e9ef authored by José Romildo's avatar José Romildo
Browse files

fstar: do not use ppxlib >= 0.26 

See https://github.com/FStarLang/FStar/issues/2681

When a fix is availabe, this work around should be removed.
parent ab89457d

pkgs/top-level/all-packages.nix

+31 −1
Original line number Diff line number Diff line
@@ -14211,7 +14211,37 @@ with pkgs; 














  fsharp = callPackage ../development/compilers/fsharp { };



























  fstar = callPackage ../development/compilers/fstar { };













  fstar = callPackage ../development/compilers/fstar {













    # Work around while compatibility with ppxlib >= 0.26 is unavailable













    # Should be removed when a fix is availaible













    # See https://github.com/FStarLang/FStar/issues/2681













    ocamlPackages =













      ocamlPackages.overrideScope' (self: super: {













        ppxlib = super.ppxlib.override {













          version = if lib.versionAtLeast self.ocaml.version "4.07"













                    then if lib.versionAtLeast self.ocaml.version "4.08"













                         then "0.24.0" else "0.15.0" else "0.13.0";













        };













        ppx_deriving_yojson = super.ppx_deriving_yojson.overrideAttrs (oldAttrs: rec {













          version = "3.6.1";













          src = fetchFromGitHub {













            owner = "ocaml-ppx";













            repo = "ppx_deriving_yojson";













            rev = "v${version}";













            sha256 = "1icz5h6p3pfj7my5gi7wxpflrb8c902dqa17f9w424njilnpyrbk";













          };













        });













        sedlex = super.sedlex.overrideAttrs (oldAttrs: rec {













          version = "2.5";













          src = fetchFromGitHub {













            owner = "ocaml-community";













            repo = "sedlex";













            rev = "v${version}";













            sha256 = "sha256:062a5dvrzvb81l3a9phljrhxfw9nlb61q341q0a6xn65hll3z2wy";













          };













        });













      });













  };





























  dotnetPackages = recurseIntoAttrs (callPackage ./dotnet-packages.nix {});