Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
1.3 kB · 56 lines
Nix
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657{ 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! lib.maintainers.maggesi ]; };}