Rate This Document
Findability
Accuracy
Completeness
Readability

flexdacc --compile

Function

Compiles firmware. When this command is executed:

  • flexdacc scans user files and generates pre-compiled files.
  • Calls the DSL compiler and solver to process DSL code.
  • Passes the compilation command to the compiler (aarch64-none-elf-gcc), that is, executes aarch64-none-elf-gcc [options].

Syntax

flexdacc --compile [options]

Parameter Description

Parameter

Description

options

Compilation parameter, which is directly passed to the compiler.

The DSL compiler is invoked only when user-input commands contain a DSL file. You can modify the CMake configuration to determine whether to invoke the solver. For details, see CMake Script Configuration Description. The compilation command depends on the CMake configuration. Before running this command, complete the CMake configuration and execute CMake.

Example

  • Invoke flexdacc to compile C code.
    flexdacc --compile -c test.c -o test.o
  • Invoke flexdacc to compile DSL code.
    flexdacc --compile -c test.hdr -o test.o