mirror of
https://github.com/NixOS/nixpkgs.git
synced 2025-01-15 09:23:37 +00:00
4f0dadbf38
After final improvements to the official formatter implementation,
this commit now performs the first treewide reformat of Nix files using it.
This is part of the implementation of RFC 166.
Only "inactive" files are reformatted, meaning only files that
aren't being touched by any PR with activity in the past 2 months.
This is to avoid conflicts for PRs that might soon be merged.
Later we can do a full treewide reformat to get the rest,
which should not cause as many conflicts.
A CI check has already been running for some time to ensure that new and
already-formatted files are formatted, so the files being reformatted here
should also stay formatted.
This commit was automatically created and can be verified using
nix-build a08b3a4d19.tar.gz \
--argstr baseRev b32a094368
result/bin/apply-formatting $NIXPKGS_PATH
84 lines
2.5 KiB
Nix
84 lines
2.5 KiB
Nix
# Lambda Lisp has several backends, here we are using
|
|
# the blc one. Ideally, this should be made into several
|
|
# packages such as lambda-lisp-blc, lambda-lisp-lazyk,
|
|
# lambda-lisp-clamb, etc.
|
|
|
|
{
|
|
lib,
|
|
gccStdenv,
|
|
fetchFromGitHub,
|
|
fetchurl,
|
|
runtimeShell,
|
|
}:
|
|
|
|
let
|
|
stdenv = gccStdenv;
|
|
s = import ./sources.nix { inherit fetchurl fetchFromGitHub; };
|
|
in
|
|
stdenv.mkDerivation rec {
|
|
pname = "lambda-lisp-blc";
|
|
version = s.lambdaLispVersion;
|
|
src = s.src;
|
|
flatSrc = s.flatSrc;
|
|
blcSrc = s.blcSrc;
|
|
|
|
installPhase = ''
|
|
runHook preInstall
|
|
|
|
mkdir -p ./build
|
|
cp $blcSrc ./build/Blc.S
|
|
cp $flatSrc ./build/flat.lds
|
|
cd build;
|
|
cat Blc.S | sed -e 's/#define.*TERMS.*//' > Blc.ext.S;
|
|
$CC -c -DTERMS=50000000 -o Blc.o Blc.ext.S
|
|
ld.bfd -o Blc Blc.o -T flat.lds
|
|
cd ..;
|
|
mv build/Blc ./bin
|
|
install -D -t $out/bin bin/Blc
|
|
install -D -t $out/lib bin/lambdalisp.blc
|
|
|
|
cd build;
|
|
$CC ../tools/asc2bin.c -O2 -o asc2bin;
|
|
cd ..;
|
|
mv build/asc2bin ./bin;
|
|
chmod 755 ./bin/asc2bin;
|
|
install -D -t $out/bin bin/asc2bin
|
|
|
|
echo -e "#!${runtimeShell}\n( cat $out/lib/lambdalisp.blc | $out/bin/asc2bin; cat ) | $out/bin/Blc" > lambda-lisp-blc
|
|
chmod +x lambda-lisp-blc
|
|
|
|
install -D -t $out/bin lambda-lisp-blc
|
|
runHook postInstall
|
|
'';
|
|
|
|
doInstallCheck = true;
|
|
|
|
installCheckPhase = ''
|
|
runHook preInstallCheck
|
|
|
|
a=$(echo "(* (+ 1 2 3 4 5 6 7 8 9 10) 12020569 (- 2 5))" | $out/bin/lambda-lisp-blc | tr -d "> ");
|
|
test $a == -1983393885
|
|
|
|
runHook postInstallCheck
|
|
'';
|
|
|
|
meta = with lib; {
|
|
description = "Lisp interpreter written in untyped lambda calculus";
|
|
homepage = "https://github.com/woodrush/lambdalisp";
|
|
longDescription = ''
|
|
LambdaLisp is a Lisp interpreter written as a closed untyped lambda calculus term.
|
|
It is written as a lambda calculus term LambdaLisp = λx. ... which takes a string
|
|
x as an input and returns a string as an output. The input x is the Lisp program
|
|
and the user's standard input, and the output is the standard output. Characters
|
|
are encoded into lambda term representations of natural numbers using the Church
|
|
encoding, and strings are encoded as a list of characters with lists expressed as
|
|
lambdas in the Mogensen-Scott encoding, so the entire computation process solely
|
|
consists of the beta-reduction of lambda terms, without introducing any
|
|
non-lambda-type object.
|
|
'';
|
|
license = licenses.mit;
|
|
maintainers = with maintainers; [ cafkafk ];
|
|
platforms = [ "x86_64-linux" ];
|
|
};
|
|
}
|