piston/runtimes/gnat-ada.nix

42 lines
825 B
Nix
Raw Normal View History

2022-02-21 13:48:43 +01:00
{pkgs, piston, ...}:
let
pkg = pkgs.gnat;
in piston.mkRuntime {
language = "ada";
version = pkg.version;
runtime = "gnat";
aliases = [
"adb"
"ads"
];
compile = ''
${pkg}/bin/gnatmake "$@" -o a.out
'';
run = ''
shift
./a.out "$@"
'';
tests = [
(piston.mkTest {
files = {
"test.adb" = ''
with Text_IO; use Text_IO;
with Ada.Command_line; use Ada.Command_Line;
procedure hello is
begin
Put_Line(Argument(1));
end hello;
'';
};
args = ["OK"];
stdin = "";
packages = [];
main = "test.adb";
})
];
}