#! /bin/bash . ./nonelto.sh export PIKA_BUILD_ARCH="amd64-v3" export DEBIAN_FRONTEND="noninteractive" export DEB_BUILD_MAINT_OPTIONS="optimize=-march=x86-64-v3 -O3" export DEB_CFLAGS_MAINT_APPEND="-march=x86-64-v3 -O3" export DEB_CPPFLAGS_MAINT_APPEND="-march=x86-64-v3 -O3" export DEB_CXXFLAGS_MAINT_APPEND="-march=x86-64-v3 -O3" export DEB_LDFLAGS_MAINT_APPEND="-march=x86-64-v3 -O3" export DEB_BUILD_OPTIONS="nocheck notest terse" export DPKG_GENSYMBOLS_CHECK_LEVEL=0