···

       
49
       
49
       
 
       
  ["sh" "-exc" """

     

       
50
       
50
       
 
       
    if [ -d "$CUDA_PATH" ]; then

     

       
51
       
51
       
 
       
      CUDA_PREINSTALLED="true"

     

       
52
       
52
       
+
       
    elif [ -d "/cygdrive/c/Program Files/NVIDIA GPU Computing Toolkit/CUDA/v12.8" ]; then

     

       
53
       
53
       
+
       
      CUDA_PATH="C:\\Program Files\\NVIDIA GPU Computing Toolkit\\CUDA\\v12.8"

     

       
54
       
54
       
+
       
      CUDA_PREINSTALLED="true"

     

       
55
       
55
       
+
       
    elif [ -d "/cygdrive/c/Program Files/NVIDIA GPU Computing Toolkit/CUDA/v12.9" ]; then

     

       
56
       
56
       
+
       
      CUDA_PATH="C:\\Program Files\\NVIDIA GPU Computing Toolkit\\CUDA\\v12.9"

     

       
57
       
57
       
+
       
      CUDA_PREINSTALLED="true"

     

       
58
       
58
       
+
       
    elif [ -d "/cygdrive/c/Program Files/NVIDIA GPU Computing Toolkit/CUDA/v13.0" ]; then

     

       
59
       
59
       
+
       
      CUDA_PATH="C:\\Program Files\\NVIDIA GPU Computing Toolkit\\CUDA\\v13.0"

     

       
60
       
60
       
+
       
      CUDA_PREINSTALLED="true"

     

       
61
       
61
       
+
       
    elif [ -d "/cygdrive/c/Program Files/NVIDIA GPU Computing Toolkit/CUDA/v13.1" ]; then

     

       
62
       
62
       
+
       
      CUDA_PATH="C:\\Program Files\\NVIDIA GPU Computing Toolkit\\CUDA\\v13.1"

     

       
63
       
63
       
+
       
      CUDA_PREINSTALLED="true"

     

       
64
       
64
       
+
       
    elif [ -d "/cygdrive/c/Program Files/NVIDIA GPU Computing Toolkit/CUDA" ]; then

     

       
65
       
65
       
+
       
      CUDA_PREINSTALLED="true"

     

       
52
       
66
       
 
       
    else

     

       
53
       
67
       
 
       
      CUDA_PREINSTALLED="false"

     

       
54
       
68
       
 
       
    fi

     

···

       
21
       
21
       
 
       
  [ CUDA_PATH = "%{conf-cuda-config:cuda_path}%" ]

     

       
22
       
22
       
 
       
]

     

       
23
       
23
       
 
       
post-messages: [

     

       
24
       
24
       
-
       
  "Make sure that CUDA is properly installed under the path %{conf-cuda-config:cuda_path}%; or properly set the CUDA_PATH environment variable and re-install opam package conf-cuda-config. See: https://docs.nvidia.com/cuda/ Failing configuration: CUDA_PATH=%{conf-cuda-config:cuda_path}%, is-WSL %{conf-cuda-config:is_wsl}%, OS family %{os-family}%"

     

       
24
       
24
       
+
       
  "Make sure that CUDA is properly installed under the path %{conf-cuda-config:cuda_path}%; or properly set the CUDA_PATH environment variable and re-install opam package conf-cuda-config. We recommend using the latest version of CUDA, at least v12.8. See: https://docs.nvidia.com/cuda/ Failing configuration: CUDA_PATH=%{conf-cuda-config:cuda_path}%, is-WSL %{conf-cuda-config:is_wsl}%, OS family %{os-family}%"

     

       
25
       
25
       
 
       
  {failure & conf-cuda-config:cuda_preinstalled}

     

       
26
       
26
       
 
       
  "Execute: $ sudo add-apt-repository multiverse; sudo apt update; sudo apt-get install nvidia-cuda-dev nvidia-cuda-toolkit"

     

       
27
       
27
       
 
       
  {failure & !conf-cuda-config:cuda_preinstalled & !conf-cuda-config:is_wsl & os-family = "debian" & os-distribution != "ubuntu"}

     
···

       
34
       
34
       
 
       
   (os-family = "opensuse" | os-distribution = "opensuse-leap" | os-distribution = "opensuse-tumbleweed")}

     

       
35
       
35
       
 
       
  "Execute: $ sudo pacman -Sy cuda"

     

       
36
       
36
       
 
       
   {failure & !conf-cuda-config:is_wsl & !conf-cuda-config:cuda_preinstalled & os-family = "arch"}

     

       
37
       
37
       
-
       
   "Alternatively: manually install CUDA or verify that CUDA_PATH is set properly, and re-install opam package conf-cuda-config. See: https://docs.nvidia.com/cuda/cuda-installation-guide-linux/index.html"

     

       
37
       
37
       
+
       
   "Alternatively: manually install CUDA or verify that CUDA_PATH is set properly, and re-install opam package conf-cuda-config. We recommend using the latest version of CUDA, at least v12.8. See: https://docs.nvidia.com/cuda/cuda-installation-guide-linux/index.html"

     

       
38
       
38
       
 
       
   {failure & !conf-cuda-config:is_wsl & !conf-cuda-config:cuda_preinstalled & os = "linux"}

     

       
39
       
39
       
 
       
   "Manually install CUDA or verify that CUDA_PATH is set properly. See: https://docs.nvidia.com/cuda/cuda-installation-guide-microsoft-windows/index.html"

     

       
40
       
40
       
 
       
   {failure & os-family = "windows"}