42 lines
825 B
Nix
42 lines
825 B
Nix
|
{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";
|
||
|
|
})
|
||
|
|
];
|
||
|
|
}
|