diff options
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> |