6.1. Cleaning the Build Space¶

In order to prevent the use of out-of-date compilation results, users shall ensure that the build space (object and library directories) is empty before compiling.

If a compilation was performed using rustc directly, then the user shall delete any previous compilation artifacts, as follows:

• exec - Executables, where exec is the name of an executable.

• libname.a - Native static libraries, where name is the name of a library.

• libname.rlib - Rust static libraries, where name is the name of a library.

• libname.rmeta - Rust metadata file, where name is the name of a library.

• libname.so - Native dynamic libraries, where name is the name of a library.

6.2. Warnings and Errors¶

The user shall pass command line option -D warnings to the Ferrocene rustc in order to treat warnings as errors. The user shall not employ command line options -A and -W as those options lower the severity of errors.

6.3. Building a Library¶

Refer to the User Manual - Building a library.

6.4. Building an Executable¶

Refer to the User Manual - Building an executable.

6.5. Building Mixed-language Programs¶

Refer to the User Manual - Building mixed-language programs.

6.6. Performing System Calls¶

Refer to the User Manual - Performing system calls.