FUTHARK-C(1)

📦
version 0.25.32 · 5 versions
, in ubuntu resolute, ubuntu stonking

💖 FUTHARK-C 💖

okay bestie, welcome to the futhark-c era of your life. this is the one from the Futhark manual set, and she compiles Futhark to sequential C. that's the whole gig. let's get into it 🫶

✨ NAME ✨

futhark-c — compile Futhark to sequential C 💅

✨ SYNOPSIS ✨

futhark c [options...] <program.fut>

✨ DESCRIPTION ✨

so futhark c takes your Futhark program and translates it into sequential C code, and then — pick your fighter — it either

  • compiles that C code with a C compiler (see below for which one, bestie) into 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…

and. that's it. the sentence just ends there. no cap, we love a cliffhanger 💀 iconic behaviour honestly.

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. Both the reading and the printing happen in Futhark syntax, so stay in your lane and feed it Futhark. ✨

🌸 OPTIONS 🌸

  • -h — print help text to standard output and exit. bye bestie 👋
  • --entry-point NAME — treat this top-level function as an entry point. let her be the main character.
  • --library — generate a library instead of an executable. It appends .c/.h to the name indicated by the -o option to determine the output file names.
  • -o outfile — where to write the result. If the source program is named foo.fut, this defaults to foo.
  • --safe — ignore unsafe in the program and perform safety checks unconditionally. safety girl summer 🎀
  • --server — generate a server-mode executable that reads commands from stdin.
  • -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. so you will find out what went wrong.
  • -V — print version information on standard output and exit.
  • -W — do not print any warnings. living in denial, respectfully.
  • --Werror — treat warnings as errors. the strict bestie. 🔥

🦋 ENVIRONMENT VARIABLES 🦋

  • CC — the C compiler used to compile the program. Defaults to cc if unset.
  • CFLAGS — space-separated list of options passed to the C compiler. Defaults to -O3 -std=c99 if unset.

👑 EXECUTABLE OPTIONS 👑

The following options are accepted by executables generated by futhark c.

  • -h, --help — print help text to standard output and exit.
  • -b, --binary-output — print the program result in the binary output format. The default is human-readable text, which is very slow. Not accepted by server-mode executables.
  • --cache-file=FILE — store any reusable initialisation data in this file, possibly speeding up subsequent launches. obsessed with a little pre-game. 💖
  • -D, --debugging — perform possibly expensive internal correctness checks and verbose logging. Implies -L.
  • -e,--entry-point=FUN — the entry point to run. Defaults to main. Not accepted by server-mode executables.
  • -L, --log — print various low-overhead logging information to stderr while running.
  • -n, --no-print-result — do not print the program result. Not accepted by server-mode executables.
  • -P, --profile — gather profiling data during execution. Mostly interesting in --server mode. Implied by -D.
  • --param=ASSIGNMENT — set a tuning parameter to the given value. ASSIGNMENT must be of the form NAME=INT. Use --print-params to see which names are available.
  • --print-params — print all tuning parameters that can be set with --param or --tuning.
  • -r,--runs=NUM — perform NUM runs of the program. With -t, the runtime for each individual run will be printed. Additionally, a single leading warmup run will be performed (not counted). Only the final run will have its result written to stdout. Not accepted by server-mode executables.
  • -t,--write-runtime-to=FILE — print the time taken to execute the program to the indicated file, an integral number of microseconds. Not accepted by server-mode executables.
  • --tuning=FILE — read size=value assignments from the given file.
quick vibe check: several of these are not accepted by server-mode executables — -b/--binary-output, -e,--entry-point=FUN, -n/--no-print-result, -r,--runs=NUM, and -t,--write-runtime-to=FILE. don't try it, she'll say no. 🙈

🌈 SEE ALSO 🌈

  • futhark-opencl
  • futhark-cuda
  • futhark-test

and that's the whole page, bestie, you ate. periodt. 💅✨

copyright moment, because we respect the elders: 2013-2020, DIKU, University of Copenhagen 🫶

this gorgeous little manual page is from Futhark 0.25.32, dated Mar 11, 2026, and yes she's serving FUTHARK-C(1) realness till the very last line. mwah. 💖🎀🦋

📦 where this page comes from