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 opera- tors, abstract data types, templates without special syntax, OO with inter- faces 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 occurs. This option allows debuggers to handle uncaught Seed7 exceptions. -flto Enable link time optimization. -g Tell the C compiler to generate an executable with debug informa- tion. 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 following optimization levels for generated C code are supported: 0 Do no optimizations with constants. 1 Use literals and named constants to simplify expressions (default). 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 let- ters 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 specified 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 lev- els 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+15.1.quarterly>