# Buildsheet autogenerated by ravenadm tool -- Do not edit. NAMEBASE= gpr2tools VERSION= 26.0.0 KEYWORDS= devel ada VARIANTS= std SDESC[std]= 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:v26.0.0 DISTFILE[1]= generated:main DF_INDEX= 1 SPKGS[std]= single OPTIONS_AVAILABLE= none OPTIONS_STANDARD= none BUILD_DEPENDS= libadalang:dev:std libgpr2:dev:std BUILDRUN_DEPENDS= libgpr2:primary:std USES= gmake gprbuild iconv LICENSE= GPLv3+:single LICENSE_TERMS= single:{{WRKDIR}}/TERMS LICENSE_FILE= GPLv3+:{{WRKSRC}}/LICENSE-tool 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: # strip binaries ${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/gpr* ${STRIP_CMD} ${STAGEDIR}${PREFIX}/libexec/gprbuild/* # discard examples ${RM} -r ${STAGEDIR}${PREFIX}/share/examples [FILE:55:descriptions/desc.single] This package contains tools based on the GPR2 library. [FILE:104:distinfo] 146c37ede342cf4360d13bea90367d0860f23611bae71ed1c19598ffdd53a7ef 1881523 AdaCore-gpr-26.0.0.tar.gz [FILE:116:manifests/plist.single] bin/ gprbuild gprclean gprconfig gprinspect gprinstall libexec/gprbuild/ gprdoc gprdriver processes_wrapper [FILE:1527:patches/patch-Makefile] --- Makefile.orig 2025-10-07 10:04:26 UTC +++ Makefile @@ -46,21 +46,7 @@ # Supports building with make -f /Makefile from the build directory # -HAS_REALPATH := $(shell command -v realpath >/dev/null 2>&1 && echo yes || echo no) - -# as Makefile is in the root dir, SOURCE_DIR is just dirname of the Makefile -# path above. -ifeq ($(HAS_REALPATH),yes) -# first let's check if Makefile is symlinked: realpath will return the actual -# (after link resolution) relative path of the Makefile from PWD. -# On macOS, the `realpath` command does not support the `--relative-to` option. -# To handle this, you can specify the Makefile explicitly by calling: -# make MFILE="./Makefile" - MFILE := $(shell realpath --relative-to=. "$(firstword ${MAKEFILE_LIST})")) - SOURCE_DIR := $(shell dirname "${MFILE}") -else - SOURCE_DIR := $(shell dirname $(dir ${MAKEFILE_LIST})) -endif +SOURCE_DIR := $(shell dirname "$0") # Load current setup if any -include makefile.setup @@ -138,7 +124,7 @@ GPR_OPTIONS := -XGPR2_BUILD=${GPR2_BUILD BUILDER := gprbuild -p -j${PROCESSORS} ${GPR_OPTIONS} \ ${GPRBUILD_OPTIONS} -XPROFILER=${PROFILER} \ ${COVERAGE_BUILD_FLAGS} -INSTALLER := gprinstall -p -f ${GPR_OPTIONS} --prefix='${prefix}' +INSTALLER := gprinstall -p -f ${GPR_OPTIONS} --prefix='${prefix}' --no-manifests CLEANER := gprclean -eL -p ${RBD} -XGPR2_BUILD=${GPR2_BUILD} \ -XBUILD_ROOT="${CURDIR}/${BUILD_ROOT}" UNINSTALLER := ${INSTALLER} -p -f --uninstall