Permalink
Fetching contributors…
Cannot retrieve contributors at this time
61 lines (43 sloc) 1.42 KB

futhark-c

SYNOPSIS

futhark-c [-V] [-o outfile] infile

DESCRIPTION

futhark-c translates a Futhark program to sequential C code, 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 read the arguments to the entry point (main by default) from standard input and print its return value on standard output. The arguments are read and printed in Futhark syntax, just like futharki(1).

OPTIONS

-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/.h to the name indicated by the -o option to determine output file names.
--Werror Treat warnings as errors.
--safe Ignore unsafe in 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.

SEE ALSO

futharki(1), futhark-test(1)