nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-06-05 21:03:40 +00:00
Code Issues Packages Projects Releases Wiki Activity

polyml{56,57}: drop old unused version

Browse Source
This commit is contained in:
sempiternal-aurora
2026-04-13 21:43:56 +10:00
parent b30be69cad
commit f461ed3cfd
5 changed files with 2 additions and 159 deletions
Download Patch File Download Diff File Expand all files Collapse all files

55
pkgs/development/compilers/polyml/5.6.nix
View File

@@ -1,55 +0,0 @@
{
lib,
stdenv,
fetchurl,
autoreconfHook,
fetchpatch,
}:
let
version = "5.6";
in
stdenv.mkDerivation {
pname = "polyml";
inherit version;
postPatch = ''
substituteInPlace configure.ac \
--replace-fail 'AC_FUNC_ALLOCA' "AC_FUNC_ALLOCA
AH_TEMPLATE([_Static_assert])
AC_DEFINE([_Static_assert], [static_assert])
"
''
+ lib.optionalString stdenv.hostPlatform.isDarwin ''
substituteInPlace configure.ac --replace-fail stdc++ c++
'';
patches = [
# glibc 2.34 compat
(fetchpatch {
url = "https://src.fedoraproject.org/rpms/polyml/raw/4d8868ca5a1ce3268f212599a321f8011c950496/f/polyml-pthread-stack-min.patch";
sha256 = "1h5ihg2sxld9ymrl3f2mpnbn2242ka1fsa0h4gl9h90kndvg6kby";
})
];
nativeBuildInputs = [ autoreconfHook ];
src = fetchurl {
url = "mirror://sourceforge/polyml/polyml.${version}.tar.gz";
sha256 = "05d6l2a5m9jf32a8kahwg2p2ph4x9rjf1nsl83331q3gwn5bkmr0";
};
meta = {
description = "Standard ML compiler and interpreter";
longDescription = ''
Poly/ML is a full implementation of Standard ML.
'';
homepage = "https://www.polyml.org/";
license = lib.licenses.lgpl21;
platforms = with lib.platforms; linux;
maintainers = [
# Add your name here!
];
};
}

34
pkgs/development/compilers/polyml/5.7-new-libffi-FFI_SYSV.patch
View File

@@ -1,34 +0,0 @@
For 5.7 the copyright header is different.
From ad32de7f181acaffaba78d5c3d9e5aa6b84a741c Mon Sep 17 00:00:00 2001
From: David Matthews <dm@prolingua.co.uk>
Date: Sun, 7 Apr 2019 13:41:33 +0100
Subject: [PATCH] Remove FFI_SYSV from abi table for X86/64 Unix. It appears
that this has been removed in upstream versions of libffi and causes problems
when building using the system libffi.
---
libpolyml/polyffi.cpp | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/libpolyml/polyffi.cpp b/libpolyml/polyffi.cpp
index 5424dd84..3dc9cc7c 100644
--- a/libpolyml/polyffi.cpp
+++ b/libpolyml/polyffi.cpp
@@ -1,7 +1,7 @@
/*
Title: New Foreign Function Interface
- Copyright (c) 2015 David C.J. Matthews
+ Copyright (c) 2015, 2019 David C.J. Matthews
This library is free software; you can redistribute it and/or
modify it under the terms of the GNU Lesser General Public
@@ -109,7 +109,6 @@ static struct _abiTable { const char *abiName; ffi_abi abiCode; } abiTable[] =
#elif defined(X86_WIN64)
{"win64", FFI_WIN64},
#elif defined(X86_ANY)
- {"sysv", FFI_SYSV},
{"unix64", FFI_UNIX64},
#endif
{ "default", FFI_DEFAULT_ABI}

68
pkgs/development/compilers/polyml/5.7.nix
View File

@@ -1,68 +0,0 @@
{
lib,
stdenv,
fetchFromGitHub,
autoreconfHook,
gmp,
libffi,
fetchpatch,
}:
stdenv.mkDerivation rec {
pname = "polyml";
version = "5.7.1";
postPatch = ''
substituteInPlace configure.ac \
--replace-fail 'AC_FUNC_ALLOCA' "AC_FUNC_ALLOCA
AH_TEMPLATE([_Static_assert])
AC_DEFINE([_Static_assert], [static_assert])
"
''
+ lib.optionalString stdenv.hostPlatform.isDarwin ''
substituteInPlace configure.ac --replace-fail stdc++ c++
'';
patches = [
./5.7-new-libffi-FFI_SYSV.patch
# glibc 2.34 compat
(fetchpatch {
url = "https://src.fedoraproject.org/rpms/polyml/raw/4d8868ca5a1ce3268f212599a321f8011c950496/f/polyml-pthread-stack-min.patch";
sha256 = "1h5ihg2sxld9ymrl3f2mpnbn2242ka1fsa0h4gl9h90kndvg6kby";
})
];
buildInputs = [
libffi
gmp
];
nativeBuildInputs = [ autoreconfHook ];
configureFlags = [
"--enable-shared"
"--with-system-libffi"
"--with-gmp"
];
src = fetchFromGitHub {
owner = "polyml";
repo = "polyml";
rev = "v${version}";
sha256 = "0j0wv3ijfrjkfngy7dswm4k1dchk3jak9chl5735dl8yrl8mq755";
};
meta = {
description = "Standard ML compiler and interpreter";
longDescription = ''
Poly/ML is a full implementation of Standard ML.
'';
homepage = "https://www.polyml.org/";
license = lib.licenses.lgpl21;
platforms = with lib.platforms; (linux ++ darwin);
# never built on aarch64-darwin since first introduction in nixpkgs
# The last successful Darwin Hydra build was in 2024
broken = stdenv.hostPlatform.isDarwin;
};
}

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

@@ -1754,6 +1754,8 @@ mapAliases {
podofo_1_0 = throw "'podofo_1_0' has been deprecated in favour of 'podofo'"; # Added 2026-05-08
polipo = throw "'polipo' has been removed as it is unmaintained upstream"; # Added 2025-05-18
polonium = throw "'polonium' has been removed, as Plasma 5 has reached end of life."; # Added 2026-05-01
polyml56 = throw "'polyml56' has been deprecated in favor of polyml"; # Added 2026-06-01
polyml57 = throw "'polyml57' has been deprecated in favor of polyml"; # Added 2026-06-01
polypane = throw "'polypane' has been removed due to lack of maintenance in nixpkgs"; # Added 2025-06-25
poppler_utils = throw "'poppler_utils' has been renamed to/replaced by 'poppler-utils'"; # Converted to throw 2025-10-27
popura = throw "'popura' is abandoned upstream and in nixpkgs and has been removed"; # Added 2026-01-15

2
pkgs/top-level/all-packages.nix
View File

@@ -4850,8 +4850,6 @@ with pkgs;
php85Packages = recurseIntoAttrs php85.packages;
polyml = callPackage ../development/compilers/polyml { };
polyml56 = callPackage ../development/compilers/polyml/5.6.nix { };
polyml57 = callPackage ../development/compilers/polyml/5.7.nix { };
# Python interpreters. All standard library modules are included except for tkinter, which is
# available as `pythonPackages.tkinter` and can be used as any other Python package.