cmix(1)

NAME

cmix - The C-Mix/II program specializer

SYNOPSIS

cmix [option...] [filename...]

DESCRIPTION

Arraytime information. cmixshow(1) can be used to display the annotated program listing in various ways.
For more background information, refer to the full User

Manual.

OPTIONS

Array-v be verbose about the progress of analysis phases.

Arraysearch path and predefined symbols as C-Mix/II would normally
use) and write the preprocessed source to the standard output.
This is sometimes useful for debugging if one suspects the program text is changed unexpectedly in the preprocessing step.
-h displays an option summary

-d... controls debugging output, which you normally don't

want to see.

OTHER ARGUMENTS

Arraya script file. The script file consists of specializer directives separated by semicolons or blank lines. Since most of C-Mix/II's
actions can be controlled by specializer directives, once you
have set up a script file, a useful C-Mix/II command line can be
as short as
cmix myproject.cmx

OUTPUT FILES

Array- An -o option, if it exists, always takes precedence

Array- If everything else fails, the output files will be

names cmix-gen.c and cmix.ann.

SPECIALIZER DIRECTIVES

Array- By -e switches on the command line.

Arraytype long double (or abstract numeric or floating-point type) into the text of the residual program. Normally such values get
truncated to double because the printf routine used by C-Mix/II cannot handle long double correctly on some systems.

USER ANNOTATIONS

Array- external linkage, and

Arraycalls to a given external function can be specified by writing a
specializer directive of the form
annotation-name: fun()

DIRECTIVES FOR ABSTRACT HEADERS

Arraythe type of the constant expression and must be in scope whenever
it is used. The declaration is automatically supressed in the
output, and the identifier is implicitly registered as a taboo.

ABSTRACT TYPES

ArrayUnrecognized properties such as b and r are silently ig

nored.

AUTHOR

C-Mix/II was developed at the University of Copenhagen.
The development team can be reached at cmix@diku.dk.

BUGS

Probably numerous. Please file as detailed bug reports as

you can to cmix-bugreport@diku.dk.

FILES

Array(The file names may be different if your system has C

Mix/II installed for multiple architectures).

SEE ALSO

Arraycmixshow(1).

cmix(1)