From 1db574fa1f339f77999d3988251e13a266201083 Mon Sep 17 00:00:00 2001
From: Samuel Holland <samuel@sholland.org>
Date: Fri, 5 Jul 2019 21:25:36 -0500
Subject: build: add wrapper Makefile

---
 userland.gpr | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 userland.gpr

(limited to 'userland.gpr')

diff --git a/userland.gpr b/userland.gpr
new file mode 100644
index 0000000..b26a28a
--- /dev/null
+++ b/userland.gpr
@@ -0,0 +1,11 @@
+aggregate project Userland is
+
+   for Create_Missing_Dirs use "true";
+   for External ("BUILDROOT") use Userland'Project_Dir & "/build";
+   for Project_Files use ("bin/**/*.gpr", "usr.bin/**/*.gpr");
+
+   package Builder is
+      for Switches (others) use ("-j" & External ("JOBS", "0"), "-s");
+   end Builder;
+
+end Userland;
-- 
cgit v1.2.3-60-g2f50