From 60a6ddf676ceb476b48cc3f69267cddd0ae7ccfc Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Mon, 13 Oct 2025 20:33:01 +0200 Subject: [PATCH] ocamlPackages.ocamlnat: remove dead code --- .../ocaml-modules/ocamlnat/default.nix | 57 ------------------- pkgs/top-level/ocaml-packages.nix | 2 - 2 files changed, 59 deletions(-) delete mode 100644 pkgs/development/ocaml-modules/ocamlnat/default.nix diff --git a/pkgs/development/ocaml-modules/ocamlnat/default.nix b/pkgs/development/ocaml-modules/ocamlnat/default.nix deleted file mode 100644 index 8729a4cc71fb..000000000000 --- a/pkgs/development/ocaml-modules/ocamlnat/default.nix +++ /dev/null @@ -1,57 +0,0 @@ -{ - stdenv, - lib, - fetchurl, - ocaml, - findlib, - ounit, -}: - -# https://github.com/bmeurer/ocamlnat/issues/3 -assert lib.versionOlder ocaml.version "4"; - -stdenv.mkDerivation rec { - pname = "ocamlnat"; - version = "0.1.1"; - - src = fetchurl { - url = "http://benediktmeurer.de/files/source/${pname}-${version}.tar.bz2"; - sha256 = "0dyvy0j6f47laxhnadvm71z1py9hz9zd49hamf6bij99cggb2ij1"; - }; - - nativeBuildInputs = [ - ocaml - findlib - ]; - checkInputs = [ ounit ]; - - strictDeps = true; - - prefixKey = "--prefix "; - - doCheck = true; - - checkTarget = "test"; - - createFindlibDestdir = true; - - meta = { - description = "OCaml native toplevel"; - homepage = "http://benediktmeurer.de/ocamlnat/"; - license = lib.licenses.qpl; - longDescription = '' - The ocamlnat project provides a new native code OCaml toplevel - ocamlnat, which is mostly compatible to the byte code toplevel ocaml, - but up to 100 times faster. It is based on the optimizing native code - compiler, the native runtime and an earlier prototype by Alain - Frisch. It is build upon Just-In-Time techniques and currently - supports Unix-like systems (i.e. Linux, BSD or macOS) running on - x86 or x86-64 processors. Support for additional architectures and - operating systems is planned, but not yet available. - ''; - inherit (ocaml.meta) platforms; - maintainers = [ - lib.maintainers.maggesi - ]; - }; -} diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix index 92da02d990d1..c7b21022812c 100644 --- a/pkgs/top-level/ocaml-packages.nix +++ b/pkgs/top-level/ocaml-packages.nix @@ -2227,8 +2227,6 @@ let hol_light = callPackage ../applications/science/logic/hol_light { }; - ocamlnat = callPackage ../development/ocaml-modules/ocamlnat { }; - ### End ### }