[Top] [Prev] [Next]

limbo - Limbo compiler

limbo [option... ] [file... ]

Description

The limbo command compiles the named Limbo files into machine-independent object files for the Dis virtual machine. Depending on the options, the compiler may create output files or write information to its standard output. Conventional files and their extensions include the following:
file.b

Limbo source file

file.dis

Object code for the Dis virtual machine

file.m

Limbo source file for module declarations

file.s

Assembly code

file.sbl

Symbolic debugging information

With no options, limbo produces a .dis file for each source file.

Options
-a

Print type definitions and call frames on standard output. This is useful for writing C language implementations of Limbo modules. Suppresses normal output file generation.

-C

Mark the Dis object file to prevent run-time compilation.

-c

Mark the Dis object file to guarantee run-time compilation.

-D flags

Turn on debugging flags for specific language features. The flags include:

A

arrays

a

alt statements

b

booleans

C

case body statements

c

case statements

D

use descriptors

d

declarations

e

expressions

E

extended expressions

F

function information

f

constant folding

m

modules

n

nil reference

P

program counter manipulations

r

reference types

S

type signature

s

code generation summary

T

tuples

t

type checking

v

variable initialization

-e

Increase the number of errors the compiler will report before exiting from 20, the default, to 1000.

-G

Annotate assembly language output with debugging information. This option has no effect unless -S is set.

-g

Generate debugging information for the input files and place it in a file named by stripping any trailing .b from the input file name and appending .sbl.

-Idir

An include file whose name does not begin with slash is sought first relative to the working directory, regardless of the source file argument. If this fails, limbo sequences through directories named in -I options, then searches in <inferno_root> /module. (See Notes section below for value of <inferno_root>.) An include file contains Limbo source code, normally holding one or more module declarations.

-oobj

Place output in file obj (allowed only if there is a single input file). The output file will hold either object or assembly code, depending on -S. The default behavior is to take the last element of the input file name, strip any trailing, .b and append .dis for object code and .s for assembly code. Thus, the default output file for dir/mod.b would be mod.dis.

-S

Create assembly language output instead of object code.

-T module

Print on standard output C stub functions, useful for implementing Limbo modules in the C language for linkage with the interpreter.

-t module

Print on standard output a table of runtime functions, to link C language implementations of modules with the Limbo interpreter. Suppresses normal output file generation.

-w

Print warning messages, for example, about unused variables. More w's (for example, -ww) increase the pedantry of the checking.

Files
<inferno_root>/module

System directory for Limbo include modules.

Notes

Default value of <inferno_root> is /usr/inferno on Unix-based systems and \users\inferno on Windows-based systems.

See Also

Introduction to Limbo Modules in Chapter 7,



[Top] [Prev] [Next]

infernosupport@lucent.com
Copyright © 1996,Lucent Technologies, Inc. All rights reserved.