From 0c07350e95c1ea87da418237adccb282137339e7 Mon Sep 17 00:00:00 2001
From: Aaron Bieber <aaron@bolddaemon.com>
Date: Mon, 19 Sep 2022 07:16:39 -0600
Subject: [PATCH] templates/ada: add install phase

---
 templates/ada/flake.nix | 7 ++++++-
 templates/ada/thing.adb | 6 ++++++
 2 files changed, 12 insertions(+), 1 deletion(-)
 create mode 100644 templates/ada/thing.adb

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;