diff options
author | Kiyoshi Aman <kiyoshi.aman@gmail.com> | 2019-07-06 06:41:07 +0000 |
---|---|---|
committer | Kiyoshi Aman <kiyoshi.aman@gmail.com> | 2019-07-06 06:41:07 +0000 |
commit | 1c7e02467bcf74ed39d83ea66ead1bb689772345 (patch) | |
tree | bcf92c377b807fa2dab3e5d4649cee59ee79365a /usr.bin/what/what.gpr | |
parent | 91e542abd30b662683cfb93dc63d33ff36b398da (diff) | |
parent | 5b502a0ebc714bac3e679334c30faaf12e295cfb (diff) | |
download | userland-1c7e02467bcf74ed39d83ea66ead1bb689772345.tar.gz userland-1c7e02467bcf74ed39d83ea66ead1bb689772345.tar.bz2 userland-1c7e02467bcf74ed39d83ea66ead1bb689772345.tar.xz userland-1c7e02467bcf74ed39d83ea66ead1bb689772345.zip |
Merge branch 'gprbuild-build-system' into 'master'
RFC: gprbuild-based build system
See merge request Aerdan/userland!1
Diffstat (limited to 'usr.bin/what/what.gpr')
-rw-r--r-- | usr.bin/what/what.gpr | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/usr.bin/what/what.gpr b/usr.bin/what/what.gpr new file mode 100644 index 0000000..d431eb4 --- /dev/null +++ b/usr.bin/what/what.gpr @@ -0,0 +1,6 @@ +project what extends "template/usr_bin.gpr" is + + for Main use (project'Name); + for Object_Dir use External ("BUILDROOT") & "/" & project'Name; + +end what; |