FreeBSD Manual Pages
S7C(1) SEED7 COMPILER S7C(1) NAME s7c - compiler for the Seed7 programming language SYNOPSIS s7c [ options ] source DESCRIPTION s7c invokes the Seed7 compiler. Seed7 is an extensible general purpose programming language. It is a higher level language compared to Ada, C/C++ and Java. Its major features include: user defined statements and operators, abstract data types, templates without special syntax, OO with interfaces and multiple dispatch, statically typed, interpreted or compiled, and portability. The documentation of Seed7 and many examples can be found in /usr/share/doc/seed7 OPTIONS -? Write Seed7 compiler usage. -On Tell the C compiler to optimize with level n (n is between 1 and 3). -O Equivalent to -O1 -S Specify the stack size of the executable (e.g.: -S 16777216 ). -b Specify the directory of the Seed7 runtime libraries (e.g.: -b ../bin ). -c Specify configuration (C compiler, etc.) to be used (e.g.: -c emcc ). -e Generate code which sends a signal, if an uncaught exception oc- curs. This option allows debuggers to handle uncaught Seed7 ex- ceptions. -flto Enable link time optimization. -g Tell the C compiler to generate an executable with debug infor- mation. This way the debugger will refer to Seed7 source files and line numbers. To generate debug information which refers to the temporary C program the option -g-debug_c can be used. -l Add a directory to the include library search path (e.g.: -l ../lib ). -ocn Optimize generated C code with level n (n is between 0 and 3). E.g.: -oc3 -p Activate simple function profiling. -sx Suppress checks specified with x. E.g.: -sr or -sro -tx Set runtime trace level to x. E.g.: -te -wn Specify warning level n. E.g.: -w2 OPTIMIZATION LEVEL FOR GENERATED C CODE The option -ocn can optimize generated C code with level n. The fol- lowing optimization levels for generated C code are supported: 0 Do no optimizations with constants. 1 Use literals and named constants to simplify expressions (de- fault). 2 Evaluate constant parameter expressions to simplify expressions. 3 Like -oc2 and additionally evaluate all constant expressions. SUPPRESSED CHECKS The option -sx can suppress checks. The checks x are specified with letters from the following list: d Suppress the generation of checks for integer division by zero. 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. TRACE LEVEL The option -tx can set the trace level. The trace levels x are speci- fied with letters from the following list: d Trace dynamic calls e Trace exceptions and handlers f Trace functions s Trace signals WARNING LEVEL The option -wn can set the warning level to n. The following warning levels are supported: 0 Omit warnings. 1 Write normal warnings (default). 2 Write warnings for raised exceptions. FILES /usr/share/doc/seed7/manual.txt Manual for the Seed7 programming language. /usr/share/doc/seed7/manual.htm HTML version of the Seed7 manual. /usr/bin/s7c The Seed7 compiler. /usr/lib/seed7/lib Directory of the include libraries. /usr/lib/seed7/bin Directory of the object libraries. HOMEPAGE http://seed7.sourceforge.net AUTHOR Seed7 was written by Thomas Mertes <thomas.mertes@gmx.at>. This manual page was written by Thomas Mertes <thomas.mertes@gmx.at>. SEE ALSO s7(1) Version 3.2 September 12, 2023 S7C(1)
NAME | SYNOPSIS | DESCRIPTION | OPTIONS | OPTIMIZATION LEVEL FOR GENERATED C CODE | SUPPRESSED CHECKS | TRACE LEVEL | WARNING LEVEL | FILES | HOMEPAGE | AUTHOR | SEE ALSO
Want to link to this manual page? Use this URL:
<https://man.freebsd.org/cgi/man.cgi?query=s7c&sektion=1&manpath=FreeBSD+Ports+14.3.quarterly>