summaryrefslogtreecommitdiff
path: root/userland.gpr
diff options
context:
space:
mode:
Diffstat (limited to 'userland.gpr')
-rw-r--r--userland.gpr11
1 files changed, 11 insertions, 0 deletions
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;