futhark cuda [-V] [-o outfile] infile
futhark cuda translates a Futhark program to C code invoking CUDA kernels, and either compiles that C code with gcc(1) to an executable binary program, or produces a .h and .c file that can be linked with other code. The standard Futhark optimisation pipeline is used, and GCC is invoked with -O3, -lm, and -std=c99. The resulting program will otherwise behave exactly as one compiled with futhark c.
The generated programs use the NVRTC API for run-time compilation, which must consequently be available.
- -o outfile
Where to write the result. If the source program is named 'foo.fut', this defaults to 'foo'.
- --library
Generate a library instead of an executable. Appends
.c/.hto the name indicated by the-ooption to determine output file names.- --Werror
Treat warnings as errors.
- --safe
Ignore
unsafein program and perform safety checks unconditionally.- -v verbose
Enable debugging output. If compilation fails due to a compiler error, the result of the last successful compiler step will be printed to standard error.
- -h
Print help text to standard output and exit.
- -V
Print version information on standard output and exit.
futhark-opencl(1)