#!/usr/bin/make -f

export DH_VERBOSE := 1

DEB_BUILD_MAINT_OPTIONS := hardening=+all
# -gnatwn: Debian builds should not fail because of a new warning
DEB_ADAFLAGS_MAINT_APPEND := -gnatafno -gnatVa -gnatwan

# work-around for #1096181.
ifneq (,$(filter $(DEB_HOST_ARCH),armel armhf))
  DEB_ADAFLAGS_MAINT_APPEND += -fno-stack-check
endif

DPKG_EXPORT_BUILDFLAGS := 1
include /usr/share/dpkg/buildflags.mk
include /usr/share/ada/packaging.mk

%:
	dh $@

# For now, DPKG_EXPORT_BUILDFLAGS above has no effect and we use the
# -cargs -largs gprbuild options.  This is better than nothing, but
# cannot replace projects reading external values.  For example,
# ADAFLAGS should come after defaults and take precedence
# CFLAGS CPPFLAGS should only be read by projects using C
# LDFLAGS like --as-needed should come before libraries

override_dh_auto_build:
  # Compile the bin/alr executable.
	gprbuild $(GPRBUILDFLAGS) -m -Palr_env.gpr \
	  -cargs:Ada $(ADAFLAGS) \
	  -cargs:C $(CFLAGS) $(CPPFLAGS) \
	  -largs $(LDFLAGS) \
	  -kargs $(GPRCONFIGFLAGS)
  # Parse the output of bin/alr and generate doc/man1/*.1.
  # bin/alr crashes if it cannot create HOME/.config/.
	HOME='$(CURDIR)/debian/man1' \
	python3 debian/generate-man.py

# Skip dwz.  Failure with gcc-13:
# dwz: ./dwz.c:12035: adjust_exprloc: Assertion `refd != NULL && !refd->die_remove' failed.
override_dh_dwz: