Ignoring revisions in .git-blame-ignore-revs. Click here to bypass and see the normal blame view.

47 lines
850 B
Nix
Raw Permalink Normal View History

2024-10-28 14:22:53 +01:00
{
lib,
stdenv,
fetchFromGitHub,
mlton,
mlkit,
futhark,
}:
2023-11-17 13:41:00 +01:00
2025-05-18 20:24:58 +02:00
stdenv.mkDerivation (finalAttrs: {
2023-11-17 13:41:00 +01:00
pname = "smlfut";
2025-05-18 20:24:58 +02:00
version = "1.6.4";
2023-11-17 13:41:00 +01:00
src = fetchFromGitHub {
owner = "diku-dk";
repo = "smlfut";
2025-05-18 20:24:58 +02:00
rev = "v${finalAttrs.version}";
hash = "sha256-xICcobdvSdHZfNxz4WRDOsaL4JGFRK7LmhMzKOZY5FY=";
2023-11-17 13:41:00 +01:00
};
enableParallelBuilding = true;
nativeBuildInputs = [ mlton ];
env.MLCOMP = "mlton";
installFlags = [ "PREFIX=$(out)" ];
doCheck = true;
2024-10-28 14:22:53 +01:00
nativeCheckInputs = [
futhark
mlkit
];
2023-11-17 13:41:00 +01:00
checkTarget = "run_test";
meta = with lib; {
description = "Allow SML programs to call Futhark programs";
homepage = "https://github.com/diku-dk/smlfut";
license = licenses.gpl3Plus;
platforms = mlton.meta.platforms;
maintainers = with maintainers; [ athas ];
mainProgram = "smlfut";
};
2025-05-18 20:24:58 +02:00
})