{ stdenv, fetchurl, jdk }: with stdenv.lib; stdenv.mkDerivation rec { name = "picoLisp-${version}"; version = "16.12"; src = fetchurl { url = "https://www.software-lab.de/${name}.tgz"; sha256 = "1k3x6mvk9b34iiyml142bzh3gf241f25ywjlaagbxzb9vklpws75"; }; buildInputs = optional stdenv.is64bit jdk; patchPhase = optionalString stdenv.isAarch32 '' sed -i s/-m32//g Makefile cat >>Makefile <"$out/bin/pil" <