S7C(1)

📦 version 05.20240322, in alpine 3.24

🌸 S7C(1) — the Seed7 compiler, bestie edition 🌸

okay so real talk, this is the manual page for s7c, and yeah it lives in the SEED7 COMPILER section of the manual. she's giving compiler main character energy and honestly? she ate. let's get into it 🫶

✨ NAME ✨

s7c — the compiler for the Seed7 programming language. that's the whole vibe. periodt 💅

🦋 SYNOPSIS 🦋

s7c [ options ] source

literally just options then your source file. iconic, no notes ✨

💖 DESCRIPTION 💖

so s7c invokes the Seed7 compiler. and Seed7 itself? it's an extensible general purpose programming language — say that three times fast, i dare you 😭

it's a higher level language compared to Ada, C/C++ and Java. highkey built different. its major features include, and i'm quoting the whole list because every single one is a slay:

  • user defined statements and operators 👑
  • abstract data types
  • templates without special syntax (no cursed angle brackets, we love to see it)
  • OO with interfaces and multiple dispatch 🦋
  • statically typed
  • interpreted or compiled (she can do both, versatile queen)
  • portability

the documentation of Seed7 and many examples can be found in /usr/share/doc/seed7. go read it, bestie, it's right there 🎀

💅 OPTIONS 💅

  • -? — writes the Seed7 compiler usage. when in doubt, ask her politely ✨
  • -On — tells the C compiler to optimize with level n, where n is between 1 and 3. numbers, we love them 💜
  • -O — equivalent to -O1. yes it's a shortcut, yes it's still valid, no i will not be taking questions 🍓
  • -S — specifies the stack size of the executable (e.g.: -S 16777216). big stack energy 🔥
  • -b — specifies the directory of the Seed7 runtime libraries (e.g.: -b ../bin). point her at the libs, she'll handle the rest 🧚
  • -c — specifies the configuration (C compiler, etc.) to be used (e.g.: -c emcc). yes queen, pick your fighter 💀
  • -e — generates code which sends a signal if an uncaught exception occurs. this option allows debuggers to handle uncaught Seed7 exceptions. ngl that's kind of a serve for debugging 🌸
  • -flto — enables link time optimization. big brain hours 🌈
  • -g — tells the C compiler to generate an executable with debug information. this way the debugger will refer to Seed7 source files and line numbers. and if you want debug information that refers to the temporary C program instead, use -g-debug_c. two moods, both valid 💖
  • -l — adds a directory to the include library search path (e.g.: -l ../lib). more paths more problems? no, more paths more possibilities ✨
  • -ocn — optimizes the generated C code with level n, where n is between 0 and 3. e.g.: -oc3. see the whole breakdown below, i gotchu 👑
  • -p — activates simple function profiling. know where your time goes, bestie ⭐
  • -sx — suppresses the checks specified with x. e.g.: -sr or -sro. the full menu of x letters is down below 🎀
  • -tx — sets the runtime trace level to x. e.g.: -te. also listed out below 🦋
  • -wn — specifies the warning level n. e.g.: -w2. levels below, keep scrolling 💜

🔥 OPTIMIZATION LEVEL FOR GENERATED C CODE 🔥

the option -ocn can optimize generated C code with level n. these are the supported levels for generated C code, and yes i'm giving you all of them:

  • 0 — do no optimizations with constants. chill, unbothered, moisturized 🌸
  • 1 — use literals and named constants to simplify expressions. (default) — this is the one she picks if you don't say anything 🎀
  • 2 — evaluate constant parameter expressions to simplify expressions. now we're cooking ✨
  • 3 — like -oc2 and additionally evaluate all constant expressions. go big or go home 🔥

🎀 SUPPRESSED CHECKS 🎀

the option -sx can suppress checks. the checks x are specified with letters from this list:

  • d — suppress the generation of checks for integer division by zero. (bold move, but ok 💀)
  • i — suppress the generation of index checks (e.g. string, array).
  • o — suppress the generation of integer overflow checks.
  • r — suppress the generation of range checks.
okay so real talk — these are suppressing safety checks. that's literally what the flag does. i'm not adding lore, i'm just saying: read what you're turning off before you turn it off, bestie 😭

🌈 TRACE LEVEL 🌈

the option -tx can set the trace level. the trace levels x are specified with letters from this list:

  • d — trace dynamic calls
  • e — trace exceptions and handlers
  • f — trace functions
  • s — trace signals

pick your letter, watch the tea unfold 🍓

⭐ WARNING LEVEL ⭐

the option -wn can set the warning level to n. these levels are supported:

  • 0 — omit warnings. ignorance is bliss, i guess 🙈
  • 1 — write normal warnings. (default) — the standard amount of "hey bestie, heads up" 💖
  • 2 — write warnings for raised exceptions. she's thorough, we respect it 👑

🧚 FILES 🧚

  • /usr/share/doc/seed7/manual.txt — the manual for the Seed7 programming language.
  • /usr/share/doc/seed7/manual.htm — HTML version of the Seed7 manual. (yes, .htm, not .html — copy it exactly, don't @ me 💅)
  • /usr/bin/s7c — the Seed7 compiler herself. the main character 👑
  • /usr/lib/seed7/lib — directory of the include libraries.
  • /usr/lib/seed7/bin — directory of the object libraries.

🦋 HOMEPAGE 🦋

http://seed7.sourceforge.net

go say hi 🌸

💜 AUTHOR 💜

Seed7 was written by Thomas Mertes <thomas.mertes@gmx.at>.

this manual page was written by Thomas Mertes <thomas.mertes@gmx.at>. (same icon, writing his own docs — self-sufficient legend ✨)

🫶 SEE ALSO 🫶

  • s7(1) — the other one, go read it too, iykyk 💖

okay that's the whole page, you're officially educated 💅 and a cute little sign-off for the record: this is Version 3.2, dated September 12, 2023 — go compile something iconic, bestie 🎀✨🦋

📦 where this page comes from