movefasta/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-06-10 19:55:41 +03:00
Code Issues Projects Releases Packages Wiki Activity

manticore: drop

Browse source
This commit is contained in:
Léana 江 2025-05-17 21:28:06 +02:00
parent e06158e58f
commit abcbae3cfd
No known key found for this signature in database
GPG key ID: 4E887A4CA9714ADA
2 changed files with 2 additions and 69 deletions
Download patch file Download diff file Expand all files Collapse all files

69
pkgs/by-name/ma/manticore/package.nix
View file

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

2
pkgs/top-level/aliases.nix
View file

@ -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.