Update to version 7.1.2

2025-09-23 15:59:18 -03:00
parent e2b3db30a2
commit 2f9c759725
5 changed files with 28 additions and 33 deletions
@@ -0,0 +1,11 @@
+--- a/configure
+++ b/configure
+@@ -6769,7 +6769,7 @@ if [ -z "$nvccflags" ]; then
+     nvccflags=$nvccflags_default
+ fi
+ 
+-nvccflags="$nvccflags -std=c++11"
+nvccflags="$nvccflags -std=c++14"
+ 
+ if enabled x86_64 || enabled ppc64 || enabled aarch64; then
+     nvccflags="$nvccflags -m64"