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     ! 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.