# Buildsheet autogenerated by ravenadm tool -- Do not edit.

NAMEBASE=		gpr2tools
VERSION=		24.0.0
KEYWORDS=		devel ada
VARIANTS=		standard
SDESC[standard]=	Tools based on GPR2 library
HOMEPAGE=		https://github.com/AdaCore/gpr
CONTACT=		John_Marino[draco@marino.st]

DOWNLOAD_GROUPS=	main
SITES[main]=		GITHUB/AdaCore:gpr:v24.0.0
DISTFILE[1]=		generated:main
DF_INDEX=		1
SPKGS[standard]=	single

OPTIONS_AVAILABLE=	none
OPTIONS_STANDARD=	none

BUILD_DEPENDS=		libadalang:dev:standard
			libgpr2:dev:standard
BUILDRUN_DEPENDS=	libgpr2:primary:standard

USES=			gmake gprbuild iconv

LICENSE=		GPLv3+:single
LICENSE_TERMS=		single:{{WRKDIR}}/TERMS
LICENSE_FILE=		GPLv3+:{{WRKSRC}}/COPYING3
LICENSE_AWK=		TERMS:"^$$"
LICENSE_SOURCE=		TERMS:{{WRKSRC}}/tools/src/gprtools.ads
LICENSE_SCHEME=		solo

BUILD_TARGET=		build-tools
MAKE_ARGS=		prefix="{{STAGEDIR}}{{PREFIX}}"
			GPR2KBDIR="{{LOCALBASE}}/share/gprconfig"

INSTALL_TARGET=		install-tools
INSTALL_REQ_TOOLCHAIN=	yes

post-install:
	# remove manifests
	${RM} -r ${STAGEDIR}${PREFIX}/share/gpr
	# strip binaries
	${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/gpr*

post-extract:
	${MV} ${WRKSRC}/gpr2.gpr ${WRKSRC}/gpr2.gpr.disabled

[FILE:55:descriptions/desc.single]
This package contains tools based on the GPR2 library.


[FILE:104:distinfo]
6a7d03d57e2070c2d59561771c8d0be3a4d2dcd2d862d212d06583dc59f64b3a      1422678 AdaCore-gpr-24.0.0.tar.gz


[FILE:96:manifests/plist.single]
bin/
 gpr2build
 gprclean
 gprconfig
 gprdoc
 gprdump
 gprinspect
 gprinstall
 gprls
 gprremote


[FILE:926:patches/patch-Makefile]
--- Makefile.orig	2023-09-20 18:37:15 UTC
+++ Makefile
@@ -43,14 +43,7 @@
 HOST    = $(shell gcc -dumpmachine)
 TARGET := $(shell gcc -dumpmachine)
 
-# Look for the source directory (in case of out-of-tree builds):
-#
-# first let's check if Makefile is symlinked: realpath will return the actual
-# (after link resolution) relative path of the Makefile from PWD.
-MFILE         := $(shell realpath --relative-to=. "$(firstword ${MAKEFILE_LIST})"))
-# as Makefile is in the root dir, SOURCE_DIR is just dirname of the Makefile
-# path above.
-SOURCE_DIR    := $(shell dirname "${MFILE}")
+SOURCE_DIR    := $(shell dirname "$0")
 
 prefix	      := $(dir $(shell which gnatls))..
 GPR2_BUILD     = release
@@ -171,7 +164,7 @@ else
 endif
 
 # Gpr2 tools
-build-tools: ${BUILD_LIBGPR2} coverage-instrument
+build-tools: coverage-instrument
 	${BUILDER} -XLIBRARY_TYPE=static -XXMLADA_BUILD=static \
 		${GPR2TOOLS} ${AP_GPR2}
 


[FILE:311:patches/patch-src_kb_config.S]
--- src/kb/config.S.orig	2023-09-20 18:37:15 UTC
+++ src/kb/config.S
@@ -7,7 +7,10 @@
 #ifdef __APPLE__
 .section __TEXT,__const
 #else
-#ifdef __linux__
+#if defined __linux__ \
+ || defined __NetBSD__ \
+ || defined __FreeBSD__ \
+ || defined __DragonFly__
 .section .note.GNU-stack
 #endif
 .section .rodata