2024-12-28 13:14:28 +01:00
|
|
|
#! /usr/bin/make -f
|
|
|
|
|
|
|
|
|
|
export DH_VERBOSE = 1
|
|
|
|
|
export PIKA_BUILD_ARCH = $(shell cat ../pika-build-arch)
|
|
|
|
|
|
|
|
|
|
%:
|
|
|
|
|
dh $@
|
|
|
|
|
|
|
|
|
|
override_dh_install:
|
2024-12-28 14:06:52 +01:00
|
|
|
DESTDIR=debian/tmp zig build \
|
2024-12-28 13:14:28 +01:00
|
|
|
--summary all \
|
2024-12-28 14:06:52 +01:00
|
|
|
--prefix "/usr" \
|
2024-12-28 13:14:28 +01:00
|
|
|
-Doptimize=ReleaseFast \
|
|
|
|
|
-Dcpu=x86_64_v3 \
|
|
|
|
|
-Dpie=true \
|
|
|
|
|
-Demit-docs
|
|
|
|
|
|
|
|
|
|
dh_install
|
|
|
|
|
|
|
|
|
|
override_dh_auto_build:
|
|
|
|
|
|
