Return to occ.1 CVS log

Up to [Research Unix] / researchv10dc / man / mana

Annotation of researchv10dc/man/mana/occ.1, revision 1.1.1.1

1.1       root        1: .TH OCC  1 "8 Juillet 88"
                      2: .SH NAME
                      3: occ \- Esterel and Lustre C code producer
                      4: .SH SYNOPSIS
                      5: .B occ
                      6: [ option ] ... [ file ]...
                      7: .SH DESCRIPTION
                      8: The \fIocc\fR code producer takes as input one or more \fIoc\fR  files
                      9: and produces standard executable C code.
                     10: If there is no input files, the standard input is used.
                     11: Typical use is: 
                     12: .DS
                     13: occ < game1.oc 
                     14: .DE
                     15: or
                     16: .DS
                     17: occ  game1.oc 
                     18: .DE
                     19: .LP
                     20: The following options are interpreted by \fIocc\fP.
                     21: .IP \fB-version\fR 10
                     22: Gives the version name and terminates ignoring all others arguments.
                     23: .IP \fB-array\fR 10
                     24: Arrays of automata are available using the \fB -array\fR option.
                     25: .IP \fB-nopack\fR 10
                     26: With this option, there is no packaging of input, output and sensor interface
                     27: procedures. This option is available for compatibility with old 
                     28: \fIocc\fR versions.
                     29: .IP \fB-s\fR 10
                     30: Silent mode. No output file is generated.
                     31: .IP \fB-v\fR 10
                     32: Verbose option: gives names of the input module.
                     33: .IP \fB-stat\fR 10
                     34: Prints statistic informations into the standard error stream: 
                     35: global time and size of the process.
                     36: .IP \fB-size\fR 10
                     37: Prints size informations into the standard error stream: 
                     38: how many actions and how many bytes are produced.
                     39: .IP \fB-memstat\fR 10
                     40: Memory state after compiling.
                     41: .IP "\fB\-B\fP \fIname\fP" 10
                     42: \fIname\fP denotes the output file default base name.
                     43: The suffix .c is added automatically (and possibly a working
                     44: directory name --see the following option).
                     45: If this option is omitted  the output code is printed in file:
                     46: occ_out.c.
                     47: For instance,
                     48: .DS
                     49: occ  -B game1 game1.oc 
                     50: .DE
                     51: .IP "\fB\-D\fP \fIdirectory\fP" 10
                     52: Specify  a directory where the output file will be placed.
                     53: The default is the current directory.
                     54: .SH FILES
                     55: The caller of the command
                     56: must have read/write permission for the directories containing
                     57: the working files, and execute permission for the occ file.
                     58: .SH IDENTIFICATION
                     59: .de VL
                     60: \\$2
                     61: ..
                     62: Author: A Ressouche,
                     63: INRIA, 
                     64: .sp 0
                     65: Sophia-Antipolis, 06600 Valbonne, FRANCE
                     66: .sp 0
                     67: Revision Number:
                     68: $Revision: 1.5 $
                     69: \&.
                     70: .SH SEE ALSO
                     71: Esterel v3 Programming Language Manual
                     72: .sp 0
                     73: Esterel v3 System Manuals.
                     74: .sp 0
                     75: strlic (1), iclc(1), lcoc (1).
                     76: .sp 0
                     77: .SH BUGS
                     78: 
                     79: 

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.