this repo has no description

conf-cuda: compatibility with native Windows

Signed-off-by: lukstafi <lukstafi@users.noreply.github.com>

lukstafi dfdb55d9 a8a89f62

Changed files
+16 -5
packages
conf-cuda
conf-cuda.1
conf-cuda-config
conf-cuda-config.1
+12 -1
packages/conf-cuda-config/conf-cuda-config.1/opam
···
wsl_distro_name: "$WSL_DISTRO_NAME"
}
EOF
-
"""]
+
"""] { os-family != "windows" }
+
["sh" "-exc" """
+
if [ -d "$CUDA_PATH" ]; then
+
CUDA_PREINSTALLED="true"
+
else
+
CUDA_PREINSTALLED="false"
+
fi
+
echo 'opam-version: \"2.0\" variables { cuda_preinstalled: \"'$CUDA_PREINSTALLED'\" cuda_path: \"'$CUDA_PATH'\" }' > conf-cuda-config.config
+
"""] { os-family = "windows" }
+
[ "sh" "-exc" "cat conf-cuda-config.config" ] {os-family = "windows"}
+
[ "powershell" "-Command" "(Get-Content -Raw conf-cuda-config.config) -replace '\\\\', '\\\\' | Set-Content conf-cuda-config.config" ] {os-family = "windows"}
+
[ "sh" "-exc" "cat conf-cuda-config.config" ] {os-family = "windows"}
]
post-messages: [
"NOTE: assuming CUDA will be installed under %{conf-cuda-config:cuda_path}%"
+4 -4
packages/conf-cuda/conf-cuda.1/opam
···
#include \"cuda.h\"
#include \"nvrtc.h\"
"]
-
["sh" "-exc" "cc -c $CFLAGS -I%{conf-cuda-config:cuda_path}%/include test.c"]
+
["sh" "-exc" "$(ocamlc -config-var c_compiler) -c $CFLAGS -I'%{conf-cuda-config:cuda_path}%'/include test.c"]
]
# Note: the minimal set of packages directly from NVidia repositories, e.g. for cudajit:
# "cuda-cudart-X-Y" "cuda-cudart-dev-X-Y" "cuda-runtime-X-Y" "cuda-nvrtc-X-Y" "cuda-nvrtc-dev-X-Y"
···
{failure & !conf-cuda-config:is_wsl & !conf-cuda-config:cuda_preinstalled & os-family = "arch"}
"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"
{failure & !conf-cuda-config:is_wsl & !conf-cuda-config:cuda_preinstalled & os = "linux"}
-
"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-microsoft-windows/index.html"
-
{failure & !conf-cuda-config:is_wsl & !conf-cuda-config:cuda_preinstalled & os = "windows"}
+
"Manually install CUDA or verify that CUDA_PATH is set properly. See: https://docs.nvidia.com/cuda/cuda-installation-guide-microsoft-windows/index.html"
+
{failure & os-family = "windows"}
"If CUDA is supported on your system, 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/"
-
{failure & !conf-cuda-config:is_wsl & !conf-cuda-config:cuda_preinstalled & os != "linux" & os != "windows"}
+
{failure & !conf-cuda-config:is_wsl & !conf-cuda-config:cuda_preinstalled & os != "linux" & os-family != "windows"}
]
synopsis: "Virtual package relying on a CUDA system installation"
description: