diff --git a/pika-build-config/#! /bin/amd64-v3.sh b/pika-build-config/#! /bin/amd64-v3.sh new file mode 100644 index 0000000..aa46f1f --- /dev/null +++ b/pika-build-config/#! /bin/amd64-v3.sh @@ -0,0 +1,10 @@ +#! /bin/bash +export PIKA_BUILD_ARCH="amd64-v3" +export DEBIAN_FRONTEND="noninteractive" +export DEB_BUILD_MAINT_OPTIONS="-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