nixpkgs/pkgs/development/interpreters/ngn-k/default.nix
sternenseemann 5c3e0a2899 ngn-k: allow cross compilation to FreeBSD 13
For this we just need to advance by one additional commit on master
which fixes the compilation of libk.so on *BSD with -Werror.
Additionally we need to reflect the change that the system double
for x86_64 FreeBSD now also includes the FreeBSD version.
2022-11-29 15:57:09 +01:00

71 lines
1.8 KiB
Nix

{ lib
, stdenv
, stdenvNoLibs
, fetchFromGitea
, runtimeShell
, doCheck ? withLibc && stdenv.hostPlatform == stdenv.buildPlatform
, withLibc ? true
}:
let
# k itself can be compiled with -ffreestanding, but tests require a libc;
# if we want to build k-libc we need a libc obviously
useStdenv = if withLibc || doCheck then stdenv else stdenvNoLibs;
in
useStdenv.mkDerivation {
pname = "ngn-k";
version = "unstable-2022-11-28";
src = fetchFromGitea {
domain = "codeberg.org";
owner = "ngn";
repo = "k";
rev = "e5138f182a8ced07dd240e3fe58274130842a85d";
sha256 = "1pn416znrdndb8iccprzx4zicmsx8c6i9dm3wq5z3jg8nan53p69";
};
patches = [
./repl-license-path.patch
];
postPatch = ''
patchShebangs --build a19/a.sh a20/a.sh a21/a.sh dy/a.sh e/a.sh
# don't use hardcoded /bin/sh
for f in repl.k repl-bg.k m.c;do
substituteInPlace "$f" --replace "/bin/sh" "${runtimeShell}"
done
'';
makeFlags = [ "-e" ];
buildFlags = [
(if withLibc then "k-libc" else "k")
"libk.so"
];
checkTarget = "t";
inherit doCheck;
outputs = [ "out" "dev" "lib" ];
# TODO(@sternenseemann): package bulgarian translation
installPhase = ''
runHook preInstall
install -Dm755 k "$out/bin/k"
install -Dm755 repl.k "$out/bin/k-repl"
install -Dm755 libk.so "$lib/lib/libk.so"
install -Dm644 k.h "$dev/include/k.h"
install -Dm644 LICENSE -t "$out/share/ngn-k"
substituteInPlace "$out/bin/k-repl" --replace "#!k" "#!$out/bin/k"
runHook postInstall
'';
meta = {
description = "A simple fast vector programming language";
homepage = "https://codeberg.org/ngn/k";
license = lib.licenses.agpl3Only;
maintainers = [ lib.maintainers.sternenseemann ];
platforms = [ "x86_64-linux" "x86_64-freebsd13" ];
};
}