this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Lukasz Stafiniak <lukstafi@gmail.com>"
3authors: [
4 "Lukasz Stafiniak <lukstafi@gmail.com>"
5]
6homepage: "https://docs.nvidia.com/cuda/"
7license: "MIT"
8build: [
9 ["sh" "-exc" """
10 if [ -z "$CUDA_PATH" ]; then
11 if [ -d "/usr/local/cuda" ]; then
12 CUDA_PATH="/usr/local/cuda"
13 CUDA_PREINSTALLED="true"
14 elif [ -d "/opt/cuda" ]; then
15 CUDA_PATH="/opt/cuda"
16 CUDA_PREINSTALLED="true"
17 elif [ -d "/usr/cuda" ]; then
18 CUDA_PATH="/usr/cuda"
19 CUDA_PREINSTALLED="true"
20 elif [ "arch" = %{os-family}% ]; then
21 CUDA_PATH="/opt/cuda"
22 CUDA_PREINSTALLED="false"
23 else
24 CUDA_PATH="/usr/local/cuda"
25 CUDA_PREINSTALLED="false"
26 fi
27 else
28 if [ -d "$CUDA_PATH" ]; then
29 CUDA_PREINSTALLED="true"
30 else
31 CUDA_PREINSTALLED="false"
32 fi
33 fi
34 if [ -z "$WSL_DISTRO_NAME" ]; then
35 IS_WSL="false"
36 else
37 IS_WSL="true"
38 fi
39 cat <<EOF > conf-cuda-config.config
40opam-version: "2.0"
41variables {
42 cuda_preinstalled: "$CUDA_PREINSTALLED"
43 cuda_path: "$CUDA_PATH"
44 is_wsl: "$IS_WSL"
45 wsl_distro_name: "$WSL_DISTRO_NAME"
46}
47EOF
48 """] { os-family != "windows" }
49 ["sh" "-exc" """
50 if [ -d "$CUDA_PATH" ]; then
51 CUDA_PREINSTALLED="true"
52 elif [ -d "/cygdrive/c/Program Files/NVIDIA GPU Computing Toolkit/CUDA/v12.8" ]; then
53 CUDA_PATH="C:\\Program Files\\NVIDIA GPU Computing Toolkit\\CUDA\\v12.8"
54 CUDA_PREINSTALLED="true"
55 elif [ -d "/cygdrive/c/Program Files/NVIDIA GPU Computing Toolkit/CUDA/v12.9" ]; then
56 CUDA_PATH="C:\\Program Files\\NVIDIA GPU Computing Toolkit\\CUDA\\v12.9"
57 CUDA_PREINSTALLED="true"
58 elif [ -d "/cygdrive/c/Program Files/NVIDIA GPU Computing Toolkit/CUDA/v13.0" ]; then
59 CUDA_PATH="C:\\Program Files\\NVIDIA GPU Computing Toolkit\\CUDA\\v13.0"
60 CUDA_PREINSTALLED="true"
61 elif [ -d "/cygdrive/c/Program Files/NVIDIA GPU Computing Toolkit/CUDA/v13.1" ]; then
62 CUDA_PATH="C:\\Program Files\\NVIDIA GPU Computing Toolkit\\CUDA\\v13.1"
63 CUDA_PREINSTALLED="true"
64 elif [ -d "/cygdrive/c/Program Files/NVIDIA GPU Computing Toolkit/CUDA" ]; then
65 CUDA_PREINSTALLED="true"
66 else
67 CUDA_PREINSTALLED="false"
68 fi
69 echo 'opam-version: \"2.0\" variables { cuda_preinstalled: \"'$CUDA_PREINSTALLED'\" cuda_path: \"'$CUDA_PATH'\" }' > conf-cuda-config.config
70 """] { os-family = "windows" }
71 [ "sh" "-exc" "cat conf-cuda-config.config" ] {os-family = "windows"}
72 [ "powershell" "-Command" "(Get-Content -Raw conf-cuda-config.config) -replace '\\\\', '\\\\' | Set-Content conf-cuda-config.config" ] {os-family = "windows"}
73 [ "sh" "-exc" "cat conf-cuda-config.config" ] {os-family = "windows"}
74]
75post-messages: [
76 "NOTE: assuming CUDA will be installed under %{conf-cuda-config:cuda_path}%"
77 {!conf-cuda-config:cuda_preinstalled}
78]
79synopsis: "Preparatory steps for the conf-cuda package"
80description:
81 "This package checks if CUDA is already installed on the system, and if the OS runs under WSL."
82bug-reports: "https://github.com/ocaml/opam-repository/issues"
83flags: conf