Commit 9f8ced3a authored by Weijia Wang's avatar Weijia Wang
Browse files

heptagon: unpin ocaml 4.14

parent c9486e98

pkgs/development/compilers/heptagon/default.nix→pkgs/by-name/he/heptagon/package.nix

+8 −0
Original line number Diff line number Diff line
@@ -4,6 +4,7 @@ 
  fetchFromGitLab,

  makeWrapper,

  ocamlPackages,

  fetchpatch,

}:



stdenv.mkDerivation (finalAttrs: {
@@ -18,6 +19,13 @@ stdenv.mkDerivation (finalAttrs: { 
    hash = "sha256-b4O48MQT3Neh8a1Z5wRgS701w6XrwpsbSMprlqTT+CE=";

  };



  patches = [

    (fetchpatch {

      url = "https://gitlab.inria.fr/synchrone/heptagon/-/commit/f10405e385ca25dc737727e0c210a44986929bf0.patch";

      hash = "sha256-Sn55jEoRDYnEUg4SjuBDCNN4TNl2Dwn1fTjb9O8O1bo=";

    })

  ];



  strictDeps = true;



  nativeBuildInputs = with ocamlPackages; [

pkgs/top-level/all-packages.nix

+0 −4
Original line number Diff line number Diff line
@@ -6358,10 +6358,6 @@ with pkgs; 
    inherit (emacs.pkgs.melpaStablePackages) irony;

  };













  heptagon = callPackage ../development/compilers/heptagon {













    ocamlPackages = ocaml-ng.ocamlPackages_4_14;













  };



























  openjfx17 = openjfx;















  openjfx21 = callPackage ../by-name/op/openjfx/package.nix { featureVersion = "21"; };















  openjfx23 = callPackage ../by-name/op/openjfx/package.nix { featureVersion = "23"; };