diff options
author | Samuel Holland <samuel@sholland.org> | 2019-06-28 18:50:17 -0500 |
---|---|---|
committer | Samuel Holland <samuel@sholland.org> | 2019-06-28 20:01:17 -0500 |
commit | a81c4ccfda2b05027cb48c5b1ad09ca8199c5906 (patch) | |
tree | 35ee8a0b9d56bffe5a8cd87d0d37e302ed110cba /user/gprbuild/foxkit.xml | |
parent | b671e746bc7eff2a97e05439cc769bd86d102cb2 (diff) | |
download | packages-a81c4ccfda2b05027cb48c5b1ad09ca8199c5906.tar.gz packages-a81c4ccfda2b05027cb48c5b1ad09ca8199c5906.tar.bz2 packages-a81c4ccfda2b05027cb48c5b1ad09ca8199c5906.tar.xz packages-a81c4ccfda2b05027cb48c5b1ad09ca8199c5906.zip |
user/gprbuild: New package
Signed-off-by: Samuel Holland <samuel@sholland.org>
Diffstat (limited to 'user/gprbuild/foxkit.xml')
-rw-r--r-- | user/gprbuild/foxkit.xml | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/user/gprbuild/foxkit.xml b/user/gprbuild/foxkit.xml new file mode 100644 index 000000000..d33cb33c2 --- /dev/null +++ b/user/gprbuild/foxkit.xml @@ -0,0 +1,17 @@ +<?xml version="1.0" ?> +<gprconfig> + <configuration> + <targets> + <target name=".*foxkit-linux.*" /> + </targets> + <hosts> + <host name=".*foxkit-linux.*" /> + </hosts> + <config> + for Archive_Builder use ("ar", "cr"); + for Archive_Builder_Append_Option use ("q"); + for Archive_Indexer use ("ranlib"); + for Archive_Suffix use ".a"; + </config> + </configuration> +</gprconfig> |