Joaquim Pedro França Simão
3e69bdcc94
picoLisp 16.12 -> 18.12
{ stdenv, fetchurl, jdk, makeWrapper }:
with stdenv.lib;
stdenv.mkDerivation rec {
name = "picoLisp-${version}";
version = "18.12";
src = fetchurl {
url = "https://www.software-lab.de/${name}.tgz";
sha256 = "0hvgq2vc03bki528jqn95xmvv7mw8xx832spfczhxc16wwbrnrhk";
};
buildInputs = [makeWrapper] ++ optional stdenv.is64bit jdk;
patchPhase = ''
sed -i "s/which java/command -v java/g" mkAsm
${optionalString stdenv.isAarch32 ''
sed -i s/-m32//g Makefile
cat >>Makefile <<EOF
ext.o: ext.c
\$(CC) \$(CFLAGS) -fPIC -D_OS='"\$(OS)"' \$*.c
ht.o: ht.c
\$(CC) \$(CFLAGS) -fPIC -D_OS='"\$(OS)"' \$*.c
EOF
''}
'';
sourceRoot = ''picoLisp/src${optionalString stdenv.is64bit "64"}'';
installPhase = ''
cd ..
mkdir -p "$out/share/picolisp" "$out/lib" "$out/bin"
cp -r . "$out/share/picolisp/build-dir"
ln -s "$out/share/picolisp/build-dir" "$out/lib/picolisp"
ln -s "$out/lib/picolisp/bin/picolisp" "$out/bin/picolisp"
makeWrapper $out/bin/picolisp $out/bin/pil \
--add-flags "$out/lib/picolisp/lib.l" \
--add-flags "@lib/misc.l" \
--add-flags "@lib/btree.l" \
--add-flags "@lib/db.l" \
--add-flags "@lib/pilog.l"
mkdir -p "$out/share/emacs"
ln -s "$out/lib/picolisp/lib/el" "$out/share/emacs/site-lisp"
'';
meta = {
description = "A simple Lisp with an integrated database";
homepage = https://picolisp.com/;
license = licenses.mit;
platforms = platforms.all;
broken = stdenv.isDarwin; # times out
maintainers = with maintainers; [ raskin tohl ];
};
passthru = {
updateInfo = {
downloadPage = "http://www.software-lab.de/down.html";
};
};
}
2018-12-28 11:30:57 -03:00
..
2018-09-21 19:09:47 +03:00
2018-12-10 14:55:19 -05:00
2018-10-27 15:43:09 +02:00
2018-10-14 14:41:40 +02:00
2018-12-22 02:41:42 +01:00
2018-11-13 14:48:15 -05:00
2018-09-30 23:44:06 +02:00
2018-10-25 15:55:15 +02:00
2018-12-11 21:14:40 +01:00
2018-12-26 10:36:30 +01:00
2018-12-02 15:51:59 +01:00
2018-11-19 08:48:30 -08:00
2018-12-02 15:51:59 +01:00
2018-12-02 16:46:31 -05:00
2018-10-30 01:07:07 +01:00
2018-10-03 19:59:23 +02:00
2018-11-08 20:19:06 -02:00
2018-12-15 07:35:40 -08:00
2018-12-17 17:15:28 +01:00
2018-09-22 19:09:33 +02:00
2018-12-02 15:33:08 +01:00
2018-11-13 03:40:53 +00:00
2018-12-11 09:10:06 +00:00
2018-09-28 11:34:56 +02:00
2018-11-02 03:10:11 +01:00
2018-12-14 10:56:46 +03:00
2018-12-28 11:30:57 -03:00
2018-12-27 09:27:59 +01:00
2018-11-16 15:41:48 +08:00
2018-12-02 15:33:08 +01:00
2018-12-14 04:00:34 -08:00
2018-12-26 09:32:24 -05:00
2018-12-16 16:53:34 +01:00
2018-10-31 23:16:53 +02:00
2018-09-23 22:33:09 +09:00