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 """]
49]
50post-messages: [
51 "NOTE: assuming CUDA will be installed under %{conf-cuda-config:cuda_path}%"
52 {!conf-cuda-config:cuda_preinstalled}
53]
54synopsis: "Preparatory steps for the conf-cuda package"
55description:
56 "This package checks if CUDA is already installed on the system, and if the OS runs under WSL."
57bug-reports: "https://github.com/ocaml/opam-repository/issues"
58flags: conf