diff --git a/templates/ada/flake.nix b/templates/ada/flake.nix index 617c2b0..ae2a7e3 100644 --- a/templates/ada/flake.nix +++ b/templates/ada/flake.nix @@ -20,7 +20,12 @@ }; buildPhase = '' - gprbuild + gprbuild thing + ''; + + installPhase = '' + mkdir -p $out/bin + mv thing $out/bin ''; }); diff --git a/templates/ada/thing.adb b/templates/ada/thing.adb new file mode 100644 index 0000000..2dda598 --- /dev/null +++ b/templates/ada/thing.adb @@ -0,0 +1,6 @@ +with Ada.Text_IO; use Ada.Text_IO; + +procedure Thing is +begin + Put_Line ("Hi Thing!"); +end Thing;