diff --git a/.github/build-nest-v3 b/.github/build-nest-v3 index e440e5c..bf0d87a 100644 --- a/.github/build-nest-v3 +++ b/.github/build-nest-v3 @@ -1 +1 @@ -3 \ No newline at end of file +4 \ No newline at end of file diff --git a/debian/rules b/debian/rules index 64a084a..2aea39f 100755 --- a/debian/rules +++ b/debian/rules @@ -51,6 +51,9 @@ export PIKA_BUILD_ARCH = $(shell cat ../pika-build-arch) #override_dh_clean: # echo "disabled" +override_dh_usrlocal: + echo "disabled" + ## overriding dh_auto_configure to add custom configs: #override_dh_auto_configure: # $(srcdir)/configure -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_DATADIR=/usr/share -DCMAKE_LIBRARY_PATH=/usr/lib/x86_64-linux-gnu -DBUILD_PLUGIN=OFF