devel/gprbuild: upgrade to v23.0.0

Caveat: gprconfig does not yet acknowledge gfortran12.

9 files changed, 173 insertions, 332 deletions

diff --git a/devel/gprbuild/Makefile b/devel/gprbuild/Makefile
index 6ec009a52001..d11da52e16ab 100644
--- a/devel/gprbuild/Makefile
+++ b/devel/gprbuild/Makefile
@@ -1,6 +1,7 @@
 PORTNAME=	gprbuild
-PORTVERSION=	${SNAPSHOT}
-PORTREVISION=	1
+DISTVERSIONPREFIX=	v
+DISTVERSION=	23.0.0
+PORTEPOCH=	1
 CATEGORIES=	devel
 
 MAINTAINER=	ports@FreeBSD.org
@@ -11,30 +12,96 @@ LICENSE=	GPLv3+ GPLv3RLE
 LICENSE_COMB=	multi
 LICENSE_FILE=	${WRKSRC}/COPYING3
 
-BUILD_DEPENDS=	xmlada>=4.4:textproc/xmlada
+USES=		ada:12,run gmake
+USE_BINUTILS=	yes
 
-SNAPSHOT=	20160609
-USES=		ada
 USE_GITHUB=	yes
 GH_ACCOUNT=	AdaCore
-GH_TAGNAME=	376670f
+GH_PROJECT=	gprconfig_kb:kb xmlada:xa
 
+BOOTPATH=	${WRKSRC}/bootstrap/bin
+MAKE_JOBS_NUMBER_LIMIT=	4
+MAKE_ARGS=	PROCESSORS=${MAKE_JOBS_NUMBER}	\
+		ENABLE_SHARED=yes
+XMLADA_SRC=	${WRKDIR}/xmlada-${PORTVERSION}
+PLATFORM=	${OPSYS:tl}${OSREL}
+GARCH=		${ARCH:S/amd64/x86_64/}
+CONFIGURE_TARGET=	${GARCH}-portbld-${PLATFORM}
+MAKE_ENV+=	GPR_PROJECT_PATH=${WRKSRC}/bootstrap/share/gpr
+ALL_TARGET=	all	# libgpr.build.static
+INSTALL_TARGET=	install	# libgpr.install
+P2STRIP=	libexec/gprbuild/gprbind bin/gprname bin/gprslave bin/gprbuild	\
+		bin/gprconfig bin/gprls bin/gprinstall bin/gprclean
+
+GCC_VER=	12
+
+OPTIONS_DEFINE=	DOCS EXAMPLES
+DOCSDIR=	${PREFIX}/gnat${GCC_VER}/share/doc/${PORTNAME}
+EXAMPLESDIR=	${PREFIX}/gnat${GCC_VER}/share/examples/${PORTNAME}
 PORTDOCS=	*
-MAKE_ARGS=	PROCESSORS=${MAKE_JOBS_NUMBER}
-BUILD_WRKSRC=	${WRKSRC}/construction
-INSTALL_WRKSRC=	${BUILD_WRKSRC}
-INSTALL_TARGET=	install
-
-OPTIONS_DEFINE=	DOCS
-#DOCS_BUILD_DEPENDS=	sphinx-build:textproc/py-sphinx
-#DOCS_ALL_TARGET=	gen-docs
-#DOCS_INSTALL_TARGET=	install-docs
-
-post-patch:
-	@${MKDIR} ${BUILD_WRKSRC}
-	@${CP} ${FILESDIR}/Makefile.BSD ${BUILD_WRKSRC}/Makefile
-	@${REINPLACE_CMD} -i "" -e "s,@AUXPREFIX@,${PREFIX}/${ADAXX}-aux," \
-		${WRKSRC}/share/gprconfig/compilers.xml
-	@${RM} ${WRKSRC}/share/gprconfig/*.orig
+PORTEXAMPLES=	*
+DOCS_BUILD_DEPENDS=	sphinx-build:textproc/py-sphinx
+
+pre-configure:
+	${REINPLACE_CMD} -e '/^LIB_INSTALLER/s|prefix=|prefix=${STAGEDIR}|'	\
+		${WRKSRC}/${MAKEFILE}
+	@${ECHO} "*** Build the boostrap script"
+	(cd ${WRKSRC} &&	\
+	${SETENV} ${CONFIGURE_ENV} ./bootstrap.sh	\
+		--with-xmlada=${XMLADA_SRC}	\
+		--with-kb=${WRKDIR}/gprconfig_kb-${PORTVERSION}	\
+		--prefix=./bootstrap )
+
+do-configure:
+	@${ECHO} "*** Make setup"
+	(cd ${WRKSRC} &&	\
+	${DO_MAKE_BUILD} setup )
+	@${ECHO} "*** Register our Ada compiler gnat${GCC_VER}"
+	(cd ${WRKSRC} &&	\
+	${SETENV} PATH=${PATH}:${LOCALBASE}/gnat${GCC_VER}/bin	\
+	./gprconfig --batch --target=${CONFIGURE_TARGET}	\
+	--config=Ada,,default,${LOCALBASE}/gnat${GCC_VER}/bin,GNAT )
+
+pre-build:
+	@${ECHO} "*** Bootstrap xmlada (configure)"
+	(cd ${XMLADA_SRC} &&	\
+	${SETENV} ${CONFIGURE_ENV} ./configure --prefix=${WRKSRC}/bootstrap )
+	@${ECHO} "*** Bootstrap xmlada (build)"
+	(cd ${XMLADA_SRC} &&	\
+	${DO_MAKE_BUILD:C|PATH=|PATH=${WRKSRC}/bootstrap/bin:|} all )
+	@${ECHO} "*** Bootstrap xmlada (install)"
+	(cd ${XMLADA_SRC} &&	\
+	${DO_MAKE_BUILD:C|PATH=|PATH=${WRKSRC}/bootstrap/bin:|} install )
+
+do-build:
+	@${ECHO} "*** Final build of gprbuild"
+	(cd ${WRKSRC} &&	\
+	${DO_MAKE_BUILD:C|PATH=|PATH=${WRKSRC}/bootstrap/bin:|} ${ALL_TARGET} )
+
+do-build-DOCS-on:
+	@${ECHO} "*** Build docs"
+	(cd ${WRKSRC}/doc &&	\
+	${DO_MAKE_BUILD} html )
+
+do-build-EXAMPLES-on:
+	@${ECHO} "*** Build examples"
+	# Fortran is not yet supported on FreeBSD
+.for d in ada_f77 matrix
+	${MV} ${WRKSRC}/examples/${d} ${WRKDIR}
+.endfor
+	(cd ${WRKSRC}/examples &&	\
+	${DO_MAKE_BUILD:C|PATH=|PATH=${WRKSRC}/bootstrap/bin:|} ${ALL_TARGET} )
+.for d in ada_f77 matrix
+	${MV} ${WRKDIR}/${d} ${WRKSRC}/examples/
+.endfor
+
+do-install:
+	@${ECHO} "*** Installation of gprbuild"
+	(cd ${WRKSRC} &&	\
+	${SETENV} ${MAKE_ENV:C|PATH=|PATH=${WRKSRC}/bootstrap/bin:|} ${FAKEROOT}	\
+	${MAKE_CMD} ${MAKE_FLAGS} ${MAKEFILE} ${MAKE_ARGS} ${INSTALL_TARGET} )
+.for p in ${P2STRIP}
+	${STRIP_CMD} ${STAGEDIR}${PREFIX}/gnat${GCC_VER}/${p}
+.endfor
 
 .include <bsd.port.mk>
diff --git a/devel/gprbuild/distinfo b/devel/gprbuild/distinfo
index 0557ba24010b..d0a41f2205f3 100644
--- a/devel/gprbuild/distinfo
+++ b/devel/gprbuild/distinfo
@@ -1,3 +1,7 @@
-TIMESTAMP = 1465501253
-SHA256 (AdaCore-gprbuild-20160609-376670f_GH0.tar.gz) = c595767f69cca960d5f0f7bfa5f7bdcfb2fcba11822432e87f1eef52cfb68fab
-SIZE (AdaCore-gprbuild-20160609-376670f_GH0.tar.gz) = 958175
+TIMESTAMP = 1671273373
+SHA256 (AdaCore-gprbuild-v23.0.0_GH0.tar.gz) = 141b403ea8a3f82b58b6a8690f8409fe295f3692b667ba3ec487fafcbd26e389
+SIZE (AdaCore-gprbuild-v23.0.0_GH0.tar.gz) = 952887
+SHA256 (AdaCore-gprconfig_kb-v23.0.0_GH0.tar.gz) = 182d9108c91390ddd67c841e45a3fc9dd23a94b33d4a1f05ed2788c1fb9b7dd2
+SIZE (AdaCore-gprconfig_kb-v23.0.0_GH0.tar.gz) = 42132
+SHA256 (AdaCore-xmlada-v23.0.0_GH0.tar.gz) = 66245a68f2e391c8dc8dc50d6d5f109eb3b371e261d095d2002dff3927dd5253
+SIZE (AdaCore-xmlada-v23.0.0_GH0.tar.gz) = 1053370
diff --git a/devel/gprbuild/files/Makefile.BSD b/devel/gprbuild/files/Makefile.BSD
deleted file mode 100644
index cc359e7f8caf..000000000000
--- a/devel/gprbuild/files/Makefile.BSD
+++ /dev/null
@@ -1,80 +0,0 @@
-.PATH:		../src
-.PATH:		../gpr/src
-
-STATIC_FLAGS=	-gnat12 -gnaty -gnatQ -O2 -gnatpn -gnatws -g1
-
-PREFIX?=	/usr/local
-GPRLIB_INC=	-I${PREFIX}/include/xmlada -I../gpr/src
-LOOK=		-aL${PREFIX}/lib/xmlada/static -aI${PREFIX}/include/xmlada
-
-libgpr_csrc=	gprbuild_dummies.c \
-		gpr_imports.c
-
-LARGS=		 ${libgpr_csrc:S/^/-largs /:.c=.o} \
-		-largs ${PREFIX}/lib/xmlada/static/libxmlada_dom.a \
-		-largs ${PREFIX}/lib/xmlada/static/libxmlada_input_sources.a \
-		-largs ${PREFIX}/lib/xmlada/static/libxmlada_sax.a \
-		-largs ${PREFIX}/lib/xmlada/static/libxmlada_schema.a \
-		-largs ${PREFIX}/lib/xmlada/static/libxmlada_unicode.a
-
-APPS=		gprclean/gprclean-main.adb \
-		gprconfig/gprconfig-main.adb \
-		gprbuild/gprbuild-main.adb \
-		gprbind/gprbind.adb \
-		gprlib/gprlib.adb \
-		gprinstall/gprinstall-main.adb \
-		gprslave/gprslave.adb \
-		gprname/gprname-main.adb \
-		gprls/gprls-main.adb
-
-all:		${APPS:H}
-
-gprclean: gprclean-main.adb ${libgpr_csrc:.c=.o}
-	gnatmake -o ${.TARGET} -j${PROCESSORS} \
-		${STATIC_FLAGS} ${GPRLIB_INC} ${LOOK} \
-		${.ALLSRC:M*adb} ${LARGS}
-
-.for app in ${APPS:Ngprclean*}
-${app:H}: gprclean ${app:T} ${libgpr_csrc:.c=.o}
-	gnatmake -o ${.TARGET} ${STATIC_FLAGS} ${GPRLIB_INC} ${LOOK} \
-		${.ALLSRC:M*adb} ${LARGS}
-.endfor
-
-clean:
-	rm -f *.o *.ali b~* ${APP:H}
-
-gen-docs:
-	${MAKE} -e -C ${.CURDIR:H}/doc html txt
-
-install:
-	mkdir -p ${DESTDIR}${PREFIX}/bin \
-		${DESTDIR}${PREFIX}/libexec/gprbuild \
-		${DESTDIR}${PREFIX}/share/gpr \
-		${DESTDIR}${PREFIX}/share/gprconfig
-	${BSD_INSTALL_PROGRAM} \
-		${.CURDIR}/gprclean \
-		${.CURDIR}/gprinstall \
-		${.CURDIR}/gprconfig \
-		${.CURDIR}/gprslave \
-		${.CURDIR}/gprls \
-		${.CURDIR}/gprname \
-		${.CURDIR}/gprbuild \
-			${DESTDIR}${PREFIX}/bin
-	${BSD_INSTALL_PROGRAM} \
-		${.CURDIR}/gprbind \
-		${.CURDIR}/gprlib \
-			${DESTDIR}${PREFIX}/libexec/gprbuild
-	${BSD_INSTALL_DATA} \
-		${.CURDIR}/../share/_default.gpr \
-			${DESTDIR}${PREFIX}/share/gpr
-	${BSD_INSTALL_DATA} \
-		${.CURDIR}/../share/gprconfig/*.x[sm][dl] \
-			${DESTDIR}${PREFIX}/share/gprconfig
-
-install-docs:
-	mkdir -p ${DESTDIR}${PREFIX}/share/doc/gprbuild/txt
-	${BSD_INSTALL_DATA} ${.CURDIR}/../doc/txt/gprbuild_ug.txt \
-		${DESTDIR}${PREFIX}/share/doc/gprbuild/txt
-	rm -rf ${.CURDIR}/../doc/html/_sources
-	rm -f ${.CURDIR}/../doc/html/.buildinfo
-	cp -a ${.CURDIR}/../doc/html ${DESTDIR}${PREFIX}/share/doc/gprbuild
diff --git a/devel/gprbuild/files/patch-share_gprconfig_compilers.xml b/devel/gprbuild/files/patch-share_gprconfig_compilers.xml
deleted file mode 100644
index e3b32868b634..000000000000
--- a/devel/gprbuild/files/patch-share_gprconfig_compilers.xml
+++ /dev/null
@@ -1,24 +0,0 @@
---- share/gprconfig/compilers.xml.orig	2015-04-28 15:02:41 UTC
-+++ share/gprconfig/compilers.xml
-@@ -693,17 +693,15 @@
-     </version>
-     <languages>Ada</languages>
-     <variable name="gcc_version">
--      <external>${PREFIX}gcc -v</external>
-+      <external>${PREFIX}ada -v</external>
-       <grep regexp="^[-\w]*gcc \S+ (\S+)" group="1"></grep>
-     </variable>
-     <runtimes default="default,kernel,native">
--       <directory group="default" >\.\./lib/gcc(-lib)?/$TARGET/$gcc_version/adalib/</directory>
--       <directory group="default" contents="^rts-">\.\./lib/gcc(-lib)?/$TARGET/$gcc_version/ada_object_path</directory>
--       <directory group="2" >\.\./lib/gcc(-lib)?/$TARGET/$gcc_version/rts-(.*)/adalib/</directory>
--       <directory group="1" >\.\./$TARGET/lib/gnat/(.*)/adalib/</directory>
-+       <directory group="default">\.\./lib/gcc/$TARGET/$gcc_version/adalib</directory>
-+       <directory group="0">/usr/local/gcc5-aux/lib/gcc/$TARGET/$gcc_version/adalib</directory>
-     </runtimes>
-     <target>
--      <external>${PREFIX}gcc -dumpmachine</external>
-+      <external>${PREFIX}ada -dumpmachine</external>
-       <grep regexp="[^\r\n]+"></grep>
-     </target>
-   </compiler_description>
diff --git a/devel/gprbuild/files/patch-share_gprconfig_gnat.xml b/devel/gprbuild/files/patch-share_gprconfig_gnat.xml
deleted file mode 100644
index 38e9d4021c0c..000000000000
--- a/devel/gprbuild/files/patch-share_gprconfig_gnat.xml
+++ /dev/null
@@ -1,20 +0,0 @@
---- share/gprconfig/gnat.xml.orig	2014-10-13 22:03:37 UTC
-+++ share/gprconfig/gnat.xml
-@@ -63,7 +63,7 @@
-    </config>
-   </configuration>
- 
--  <!-- GNAT -->
-+  <!-- GNAT (tailored to lang/gcc5-aux) -->
-   <configuration>
-    &filter_gnat;
-    <config>
-@@ -75,7 +75,7 @@
-    end Naming;
- 
-    package Compiler is
--      for Driver                   ("Ada") use "${PATH(ada)}${PREFIX(ada)}gcc";
-+      for Driver                   ("Ada") use "${PATH(ada)}${PREFIX(ada)}ada";
-       for Language_Kind            ("Ada") use "unit_based";
-       for Dependency_Kind          ("Ada") use "ALI_File";
-       for Leading_Required_Switches        ("Ada") use
diff --git a/devel/gprbuild/files/patch-share_gprconfig_linker.xml b/devel/gprbuild/files/patch-share_gprconfig_linker.xml
deleted file mode 100644
index b3b7d8bc4357..000000000000
--- a/devel/gprbuild/files/patch-share_gprconfig_linker.xml
+++ /dev/null
@@ -1,56 +0,0 @@
---- share/gprconfig/linker.xml.orig	2015-04-28 14:21:56 UTC
-+++ share/gprconfig/linker.xml
-@@ -687,11 +687,14 @@
-     </config>
-   </configuration>
- 
--  <!-- linux, freebsd and Irix-->
-+  <!-- linux, bsd and Irix-->
-   <configuration>
-     <targets>
-        <target name="^.*linux.*$" />
-        <target name="^.*freebsd.*$" />
-+       <target name="^.*dragonfly.*$" />
-+       <target name="^.*openbsd.*$" />
-+       <target name="^.*netbsd.*$" />
-        <target name="^.*irix.*$" />
-     </targets>
-     <config>
-@@ -763,10 +766,13 @@
-     </config>
-   </configuration>
- 
--  <!-- freebsd -->
-+  <!-- bsd -->
-   <configuration>
-     <targets>
-        <target name="^.*freebsd.*$" />
-+       <target name="^.*dragonfly.*$" />
-+       <target name="^.*openbsd.*$" />
-+       <target name="^.*netbsd.*$" />
-     </targets>
-     <config>
-    for Run_Path_Option  use ("-Wl,-rpath,");
-@@ -1308,6 +1314,12 @@
-        <target name="^.*mingw.*$" />
-        <target name="^.*linux.*$" />
-        <target name="^.*freebsd.*$" />
-+       <target name="^.*dragonfly.*$" />
-+       <target name="^.*openbsd.*$" />
-+       <target name="^.*netbsd.*$" />
-+       <target name="^.*dragonfly.*$" />
-+       <target name="^.*openbsd.*$" />
-+       <target name="^.*netbsd.*$" />
-      </targets>
-     <compilers negate="true">
-        <compiler language="C++" />
-@@ -1392,6 +1404,9 @@
-        <target name="^.*mingw.*$" />
-        <target name="^.*linux.*$" />
-        <target name="^.*freebsd.*$" />
-+       <target name="^.*dragonfly.*$" />
-+       <target name="^.*openbsd.*$" />
-+       <target name="^.*netbsd.*$" />
-      </targets>
-     <compilers>
-        <compiler language="C++" />
diff --git a/devel/gprbuild/files/patch-share_gprconfig_targetset.xml b/devel/gprbuild/files/patch-share_gprconfig_targetset.xml
deleted file mode 100644
index 7ff72692b9fd..000000000000
--- a/devel/gprbuild/files/patch-share_gprconfig_targetset.xml
+++ /dev/null
@@ -1,54 +0,0 @@
---- share/gprconfig/targetset.xml.orig	2014-09-11 13:36:47 UTC
-+++ share/gprconfig/targetset.xml
-@@ -66,8 +66,8 @@
- 
-   <!-- x86-solaris -->
-   <targetset>
--    <target>x86-solaris</target>
--    <target>i.86-(pc-)?solaris.*</target>
-+    <target>i.86-.*-solaris.*</target>
-+    <target>x86_64-.*-solaris.*</target>
-   </targetset>
- 
-   <!-- x86-windows (mingw) -->
-@@ -162,19 +162,34 @@
-     <target>pent.*-cygwin.*</target>
-   </targetset>
- 
--  <!-- x86 Freebsd -->
-+  <!-- Freebsd -->
-   <targetset>
--    <target>x86-freebsd</target>
-     <target>i.86-.*freebsd.*</target>
-+    <target>amd64-.*-freebsd.*</target>
-+    <target>x86_64-.*-freebsd.*</target>
-   </targetset>
- 
--  <!-- x86_64 Freebsd -->
-+  <!-- DragonFlyBSD -->
-   <targetset>
--    <target>x86_64-freebsd</target>
--    <target>x86_64-.*freebsd.*</target>
--    <target>amd64-.*freebsd.*</target>
-+    <target>i.86-.*-dragonfly.*</target>
-+    <target>x86_64-.*-dragonfly.*</target>
-   </targetset>
- 
-+  <!-- NetBSD -->
-+  <targetset>
-+    <target>i.86-.*-netbsd.*</target>
-+    <target>amd64-.*-netbsd.*</target>
-+    <target>x86_64-.*-netbsd.*</target>
-+  </targetset>
-+
-+  <!-- OpenBSD -->
-+  <targetset>
-+    <target>i.86-.*-openbsd.*</target>
-+    <target>amd64-.*-openbsd.*</target>
-+    <target>x86_64-.*-openbsd.*</target>
-+  </targetset>
-+
-+
- <!-- Cross Ports -->
- <!-- *********** -->
- 
diff --git a/devel/gprbuild/files/patch-src_gprlib.adb b/devel/gprbuild/files/patch-src_gprlib.adb
deleted file mode 100644
index 4385d5c92e45..000000000000
--- a/devel/gprbuild/files/patch-src_gprlib.adb
+++ /dev/null
@@ -1,50 +0,0 @@
---- src/gprlib.adb.orig	2015-05-06 11:08:38 UTC
-+++ src/gprlib.adb
-@@ -393,6 +393,11 @@ procedure Gprlib is
- 
-    Separate_Run_Path_Options : Boolean := False;
- 
-+      Rpath_Disabled : Boolean := False;
-+      --  If -R is passed through the library options for the linker, it will
-+      --  prevent the implemented libraries portion of the rpath switch from
-+      --  being built, even if the linker is capable of supporting rpath.
-+
-    Rpath : String_List_Access := null;
-    --  Allocated only if Path Option is supported
- 
-@@ -1011,7 +1016,12 @@ begin
-                   Use_GNAT_Lib := False;
-                end if;
- 
--               Library_Options_Table.Append (new String'(Line (1 .. Last)));
-+               if Line (1 .. Last) = "-R" then
-+                  Rpath_Disabled := True;
-+               else
-+                  Library_Options_Table.Append
-+                    (new String'(Line (1 .. Last)));
-+               end if;
- 
-             when Gprexch.Library_Rpath_Options =>
-                Library_Rpath_Options_Table.Append
-@@ -1143,10 +1153,10 @@ begin
- 
-                      Libgnat :=
-                        new String'
--                         ("-lgnat-" & Line (6 .. Last));
-+                         ("-lgnat-" & Line (6));
-                      Libgnarl :=
-                        new String'
--                         ("-lgnarl-" & Line (6 .. Last));
-+                         ("-lgnarl-" & Line (6));
-                   end if;
- 
-                else
-@@ -2113,7 +2123,7 @@ begin
-          Library_Switches_Table.Append
-            (new String'("-L" & Imported_Library_Directories.Table (J).all));
- 
--         if Path_Option /= null then
-+         if not Rpath_Disabled and then Path_Option /= null then
-             Add_Rpath (Imported_Library_Directories.Table (J));
-          end if;
- 
diff --git a/devel/gprbuild/pkg-plist b/devel/gprbuild/pkg-plist
index 1ec5d5e08a34..09b87da5b4b6 100644
--- a/devel/gprbuild/pkg-plist
+++ b/devel/gprbuild/pkg-plist
@@ -1,23 +1,77 @@
-bin/gprbuild
-bin/gprclean
-bin/gprconfig
-bin/gprinstall
-bin/gprls
-bin/gprname
-bin/gprslave
-libexec/gprbuild/gprbind
-libexec/gprbuild/gprlib
-share/gpr/_default.gpr
-share/gprconfig/asm.xml
-share/gprconfig/c.xml
-share/gprconfig/clean.xml
-share/gprconfig/compilers.xml
-share/gprconfig/cpp.xml
-share/gprconfig/cross.xml
-share/gprconfig/fortran.xml
-share/gprconfig/gnat.xml
-share/gprconfig/gprconfig.xsd
-share/gprconfig/linker.xml
-share/gprconfig/nocompiler.xml
-share/gprconfig/targetset.xml
-share/gprconfig/windres.xml
+gnat12/bin/gprbuild
+gnat12/bin/gprclean
+gnat12/bin/gprconfig
+gnat12/bin/gprinstall
+gnat12/bin/gprls
+gnat12/bin/gprname
+gnat12/bin/gprslave
+gnat12/doinstall
+gnat12/libexec/gprbuild/gprbind
+gnat12/libexec/gprbuild/gprlib
+gnat12/share/gpr/_default.gpr
+gnat12/share/gpr/manifests/gprbuild
+gnat12/share/gprconfig/0_default.xml
+gnat12/share/gprconfig/aamp.xml
+gnat12/share/gprconfig/aamp_compilers.xml
+gnat12/share/gprconfig/aarch64-vx7.xml
+gnat12/share/gprconfig/aarch64-vx7r2.xml
+gnat12/share/gprconfig/arm-vx6.xml
+gnat12/share/gprconfig/arm-vx7.xml
+gnat12/share/gprconfig/arm-vx7r2.xml
+gnat12/share/gprconfig/asis.xml
+gnat12/share/gprconfig/asm.xml
+gnat12/share/gprconfig/baselined.xml
+gnat12/share/gprconfig/bin_img.xml
+gnat12/share/gprconfig/c.xml
+gnat12/share/gprconfig/clean.xml
+gnat12/share/gprconfig/compilers-arm-vx7.xml
+gnat12/share/gprconfig/compilers-asis.xml
+gnat12/share/gprconfig/compilers-baselined.xml
+gnat12/share/gprconfig/compilers-e500v2-vx6.xml
+gnat12/share/gprconfig/compilers-e500v2-vx653.xml
+gnat12/share/gprconfig/compilers-e500v2-vx7.xml
+gnat12/share/gprconfig/compilers-e500v2-vx7r2.xml
+gnat12/share/gprconfig/compilers-ppc-vx653.xml
+gnat12/share/gprconfig/compilers-ppc-vx7.xml
+gnat12/share/gprconfig/compilers-ppc-vx7r2.xml
+gnat12/share/gprconfig/compilers-ppc64-vx7.xml
+gnat12/share/gprconfig/compilers-ppc64-vx7r2.xml
+gnat12/share/gprconfig/compilers-vxworks.xml
+gnat12/share/gprconfig/compilers-x86-vx7.xml
+gnat12/share/gprconfig/compilers-x86_64-vx7.xml
+gnat12/share/gprconfig/compilers.xml
+gnat12/share/gprconfig/cpp.xml
+gnat12/share/gprconfig/cross.xml
+gnat12/share/gprconfig/e500v2-vx6.xml
+gnat12/share/gprconfig/e500v2-vx653.xml
+gnat12/share/gprconfig/e500v2-vx7.xml
+gnat12/share/gprconfig/e500v2-vx7r2.xml
+gnat12/share/gprconfig/env.ent
+gnat12/share/gprconfig/fallback_targets.xml
+gnat12/share/gprconfig/fortran.xml
+gnat12/share/gprconfig/gnat.xml
+gnat12/share/gprconfig/gprconfig.xsd
+gnat12/share/gprconfig/linker.xml
+gnat12/share/gprconfig/nocompiler.xml
+gnat12/share/gprconfig/ppc-vx6.xml
+gnat12/share/gprconfig/ppc-vx653.xml
+gnat12/share/gprconfig/ppc-vx7.xml
+gnat12/share/gprconfig/ppc-vx7r2.xml
+gnat12/share/gprconfig/ppc64-vx7.xml
+gnat12/share/gprconfig/ppc64-vx7r2.xml
+gnat12/share/gprconfig/shortcuts.ent
+gnat12/share/gprconfig/targetset.xml
+gnat12/share/gprconfig/tricore-compilers.xml
+gnat12/share/gprconfig/tricore-configuration.xml
+gnat12/share/gprconfig/tricore-target.xml
+gnat12/share/gprconfig/vx6.ent
+gnat12/share/gprconfig/vx653.ent
+gnat12/share/gprconfig/vx7.ent
+gnat12/share/gprconfig/vxworks.ent
+gnat12/share/gprconfig/vxworks.xml
+gnat12/share/gprconfig/windres.xml
+gnat12/share/gprconfig/x86-vx6.xml
+gnat12/share/gprconfig/x86-vx7.xml
+gnat12/share/gprconfig/x86-vx7r2.xml
+gnat12/share/gprconfig/x86_64-vx7.xml
+gnat12/share/gprconfig/x86_64-vx7r2.xml