S7(1) SEED7 COMPILER S7(1)NAMEs7c - compiler for the Seed7 programming language
SYNOPSISs7c [ options ] source
DESCRIPTIONs7c 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.
-O and -O2
Tell the C compiler to optimize.
-b Specify the directory of the Seed7 runtime libraries (e.g.: -b
../bin ).
-e Generate code which sends a signal, when an uncaught exception
occurs. This option allows debuggers to handle uncaught Seed7
exceptions.
-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 constants with level n. E.g.: -oc3 Where n is a digit
between 0 and 3
-sx Suppress checks specified with x. E.g.: -sr or -sro
-tx Set runtime trace level to x. E.g.: -te
OPTIMIZATION LEVEL FOR CONSTANTS
The option -ocn can optimize constants with level n. The following
optimization levels for constants are supported:
0 Do no optimizations with constants.
1 Use literals and named constants to simplify expressions
(default).
2 Evaluate constant 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:
r Suppress the generation of range checks for strings and arrays.
o Suppress the generation of integer overflow checks.
TRACE LEVEL
The option -tx can set the trace level. The trace levels x are speci‐
fied with letters from the following list:
e Trace exceptions and handlers
s Trace signals
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 ALSOs7(1)Version 2.1 January 27, 2013 S7(1)