minor: add todo marking temporary fix for cuda-enabled ubuntu

lean-dojo · Aug 14, 2024 · f0e416d · f0e416d
1 parent b7988f9
commit f0e416d
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/lakefile.lean b/lakefile.lean
@@ -211,6 +211,12 @@ def getCt2CmakeFlags : IO (Array String) := do
   | .macos => flags := flags ++ #["-DWITH_ACCELERATE=ON", "-DWITH_OPENBLAS=OFF"]
   | .linux => flags := flags ++ #["-DWITH_ACCELERATE=OFF", "-DWITH_OPENBLAS=ON", "-DOPENBLAS_INCLUDE_DIR=../../OpenBLAS", "-DOPENBLAS_LIBRARY=../../OpenBLAS/libopenblas.so"]
 
+  -- [TODO] Temporary fix: Do not use CUDA even if it is available.
+  -- if ← useCUDA then
+  --   flags := flags ++ #["-DWITH_CUDA=ON", "-DWITH_CUDNN=ON"]
+  -- else
+  --   flags := flags ++ #["-DWITH_CUDA=OFF", "-DWITH_CUDNN=OFF"]
+
   return flags