Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.
C2Rust Refactoring Tool
This is a refactoring tool for Rust programs, aimed at removing unsafety from automatically-generated Rust code.
Usage
c2rust refactor
command line usage is as follows:
c2rust refactor [flags] <command> [command args] -- <input file> [rustc flags]
Flags for c2rust refactor
are described by c2rust refactor --help
.
See the command documentation (online manual)
for a list of commands, including complete usage and descriptions.
Multiple commands can be separated by an argument consisting of a single
semicolon, as in c2rust refactor cmd1 arg1 \; cmd2 arg2
.
(Note the semicolon needs to be escaped to prevent it from being interpreted by
the shell.)
c2rust refactor
requires rustc
command line arguments for the program to be
refactored, so that it can use rustc
to load and typecheck the source code.
For projects built with cargo
, pass the --cargo
flag to c2rust refactor
and it will obtain the right arguments from cargo
automatically. Otherwise,
you must provide the rustc
arguments on the c2rust refactor
command line,
after a --
separator.
Marks
Some commands require the user to "mark" some AST nodes for it to operate on.
For example, the rename_struct
command requires that the user mark the
declaration of the struct that should be renamed.
Each mark associates a "label" with a specific AST node (identified by its
NodeId
). Labels are used to distinguish different types of marks, and a
single node can have any number of marks with distinct labels. For example,
when running the func_to_method
command, which turns functions into methods
in an inherent impl
, the user must mark the functions to move with the
target
label and must mark the destination impl
with the dest
label.
Nodes marked with other labels will be ignored. The set of labels recognized
by a command is described in the command's documentation; by default, most
commands that use marks operate on target
.
The most flexible way of marking nodes is by using the
select
command. See the command documentation and src/select/mod.rs
for details.
Note that marks are not preserved across c2rust refactor
invocations, so you
usually want to run select
followed by the command of interest using the ;
separator mentioned above.