From abcbae3cfd490b74e4ea124a6353499688c6fb1d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9ana=20=E6=B1=9F?= <leana.jiang+git@icloud.com>
Date: Sat, 17 May 2025 21:28:06 +0200
Subject: [PATCH] manticore: drop

---
 pkgs/by-name/ma/manticore/package.nix | 69 ---------------------------
 pkgs/top-level/aliases.nix            |  2 +
 2 files changed, 2 insertions(+), 69 deletions(-)
 delete mode 100644 pkgs/by-name/ma/manticore/package.nix

diff --git a/pkgs/by-name/ma/manticore/package.nix b/pkgs/by-name/ma/manticore/package.nix
deleted file mode 100644
index 883acec4526a..000000000000
--- a/pkgs/by-name/ma/manticore/package.nix
+++ /dev/null
@@ -1,69 +0,0 @@
-{
-  stdenv,
-  fetchFromGitHub,
-  coreutils,
-  autoreconfHook,
-  smlnj,
-}:
-
-let
-  rev = "7376cb20ba5285a6b076a73c821e4743809c1d9d";
-in
-stdenv.mkDerivation {
-  pname = "manticore";
-  version = "2019.12.03";
-
-  src = fetchFromGitHub {
-    owner = "ManticoreProject";
-    repo = "manticore";
-    sha256 = "17h3ar7d6145dyrm006r3gd5frk3v4apjk383n78dh4vlniv1ay2";
-    inherit rev;
-  };
-
-  enableParallelBuilding = false;
-
-  nativeBuildInputs = [ autoreconfHook ];
-
-  buildInputs = [
-    coreutils
-    smlnj
-  ];
-
-  autoreconfFlags = [
-    "-Iconfig"
-    "-vfi"
-  ];
-
-  unpackPhase = ''
-    mkdir -p $out
-    cd $out
-    unpackFile $src
-    mv source repo_checkout
-    cd repo_checkout
-    chmod u+w . -R
-  '';
-
-  postPatch = ''
-    patchShebangs .
-    substituteInPlace configure.ac --replace 'MANTICORE_ROOT=`pwd`' 'MANTICORE_ROOT=$out/repo_checkout'
-  '';
-
-  preInstall = "mkdir -p $out/bin";
-
-  meta = {
-    description = "Parallel, pure variant of Standard ML";
-    mainProgram = "pmlc";
-
-    longDescription = ''
-      Manticore is a high-level parallel programming language aimed at
-      general-purpose applications running on multi-core
-      processors. Manticore supports parallelism at multiple levels:
-      explicit concurrency and coarse-grain parallelism via CML-style
-      constructs and fine-grain parallelism via various light-weight
-      notations, such as parallel tuple expressions and NESL/Nepal-style
-      parallel array comprehensions.
-    '';
-
-    homepage = "http://manticore.cs.uchicago.edu/";
-  };
-}
diff --git a/pkgs/top-level/aliases.nix b/pkgs/top-level/aliases.nix
index 713bd99fb021..532b0acfd853 100644
--- a/pkgs/top-level/aliases.nix
+++ b/pkgs/top-level/aliases.nix
@@ -1126,6 +1126,7 @@ mapAliases {
   lxd-unwrapped = lib.warnOnInstantiate "lxd-unwrapped has been renamed to lxd-unwrapped-lts" lxd-unwrapped-lts; # Added 2024-04-01
   lzma = throw "'lzma' has been renamed to/replaced by 'xz'"; # Converted to throw 2024-10-17
   lzwolf = throw "'lzwolf' has been removed because it's no longer maintained upstream. Consider using 'ecwolf'"; # Added 2025-03-02
+
   ### M ###
 
   ma1sd = throw "ma1sd was dropped as it is unmaintained"; # Added 2024-07-10
@@ -1139,6 +1140,7 @@ mapAliases {
   maligned = throw "maligned was deprecated upstream in favor of x/tools/go/analysis/passes/fieldalignment"; # Added 20204-08-24
   manicode = throw "manicode has been renamed to codebuff"; # Added 2024-12-10
   manta = throw "manta does not support python3, and development has been abandoned upstream"; # Added 2025-03-17
+  manticore = throw "manticore is no longer maintained since 2020, and doesn't build since smlnj-110.99.7.1"; # Added 2025-05-17
 
   maple-mono-NF = throw ''
     maple-mono-NF had been moved to maple-mono.NF.