Disable GASNet CUDA in repro.

StanfordLegion · Jul 30, 2024 · 69d50cb · 69d50cb
1 parent 816ac7b
commit 69d50cb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/experiment/setup.sh b/experiment/setup.sh
@@ -23,7 +23,7 @@ fi
 
 pushd legion/language
 # setup_env.py pins everything now, so don't need to pin explicitly here
-DEBUG=1 USE_GASNET=1 REALM_NETWORKS=gasnetex ./scripts/setup_env.py --cmake --extra="-DCMAKE_INSTALL_PREFIX=$PWD/../install" --install -j${THREADS:-16}
+DEBUG=1 USE_GASNET=1 REALM_NETWORKS=gasnetex GASNET_GPU_CONFIGURE_ARGS=--disable-kind-cuda-uva ./scripts/setup_env.py --cmake --extra="-DCMAKE_INSTALL_PREFIX=$PWD/../install" --install -j${THREADS:-16}
 popd
 
 extra_cxxflags=