Merge pull request #165092 from vbgl/ocaml-enumerate-remove

This commit is contained in:
Sandro 2022-03-27 12:10:25 +02:00 committed by GitHub
commit 384cbf466e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 0 additions and 33 deletions

View file

@ -1,31 +0,0 @@
{ stdenv, lib, fetchurl, ocaml, findlib, ocamlbuild, type_conv, camlp4 }:
assert lib.versionAtLeast (lib.getVersion ocaml) "4.00";
if lib.versionAtLeast ocaml.version "4.06"
then throw "enumerate-111.08.00 is not available for OCaml ${ocaml.version}"
else
stdenv.mkDerivation rec {
pname = "ocaml-enumerate";
version = "111.08.00";
src = fetchurl {
url = "https://ocaml.janestreet.com/ocaml-core/${lib.versions.majorMinor version}.00/individual/enumerate-${version}.tar.gz";
sha256 = "0b6mx5p01lcpimvak4wx6aj2119707wsfzd83rwgb91bhpgzh156";
};
nativeBuildInputs = [ ocaml findlib ocamlbuild ];
propagatedBuildInputs = [ type_conv camlp4 ];
strictDeps = true;
createFindlibDestdir = true;
meta = {
homepage = "https://ocaml.janestreet.com/";
description = "Quotation expanders for enumerating finite types";
license = lib.licenses.asl20;
platforms = ocaml.meta.platforms or [ ];
};
}

View file

@ -358,8 +358,6 @@ let
emile = callPackage ../development/ocaml-modules/emile { };
enumerate = callPackage ../development/ocaml-modules/enumerate { };
eqaf = callPackage ../development/ocaml-modules/eqaf { };
erm_xml = callPackage ../development/ocaml-modules/erm_xml { };