diff options
| author | Samuel Holland <samuel@sholland.org> | 2019-07-05 21:25:36 -0500 |
|---|---|---|
| committer | Samuel Holland <samuel@sholland.org> | 2019-07-05 22:32:22 -0500 |
| commit | 1db574fa1f339f77999d3988251e13a266201083 (patch) | |
| tree | 9d5d6cf6fef5b0cf81ec107eb2ef70f22c296156 /userland.gpr | |
| parent | 4b05e0e49c979e4a49f37a441556ee11cd6a0c5e (diff) | |
| download | userland-1db574fa1f339f77999d3988251e13a266201083.tar.gz userland-1db574fa1f339f77999d3988251e13a266201083.tar.bz2 userland-1db574fa1f339f77999d3988251e13a266201083.tar.xz userland-1db574fa1f339f77999d3988251e13a266201083.zip | |
build: add wrapper Makefile
Diffstat (limited to 'userland.gpr')
| -rw-r--r-- | userland.gpr | 11 |
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; |