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