Unverified Commit 8d625a89 authored by Aleksana's avatar Aleksana Committed by GitHub
Browse files

manticore: drop (#408107)

parents f85d0659 abcbae3c

pkgs/by-name/ma/manticore/package.nix

deleted100644 → 0
+0 −69
Original line number Diff line number Diff line 
{

  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/";

  };

}

pkgs/top-level/aliases.nix

+2 −0
Original line number Diff line number Diff line
@@ -1135,6 +1135,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
@@ -1148,6 +1149,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.