---
name: "theme-d-compile"
section: "1"
platform: "linux"
package: "theme-d-translator"
version: "6.1.0-1"
release: "Debian 13 (Trixie)"
platforms: ["linux"]
url: "https://new.carta.tech/theme-d-compile"
---

# theme-d-compile(1)

the Theme-D compiler

## NAME

theme-d-compile - the Theme-D compiler

## SYNOPSIS

**theme-d-compile** \[ *OPTION* \] ... *FILE*

## DESCRIPTION

Compile the Theme-D source file *FILE* to Theme-D pseudocode. The default output file name is obtained by replacing the suffix of the source file as follows:

thp =\> tcp

ths =\> tcs

thi =\> tci

thb =\> tcb

By default, the output file is placed into the directory where the command **theme-d-compile** is invoked.

## OPTIONS

- **-o**, **--output**=*OUTPUTFILE*

  Specify the compilation output file.

- **-m**, **--module-path**=*PATH*

  Specify the search path for Theme-D modules. The path should be a list of directories separated with :'s. You can prefix the list with a colon in order to include the default Theme-D library path in the search path.

- **-u**, **--unit-type**=*TYPE*

  Specify the type of the unit to be compiled. The unit type has to be one of *proper-program,* *script,* *interface*, or *body.*

- **-l**, **--message-level**=*LEVEL*

  Specify the message level of the compiler. The level has to be an integer number from 0 to 3. Value 0 means no output and value 3 the most verbose output.

- **--expand-only**

  Do only macro expansion on the source.

- **--no-expansion**

  Compile the source without macro expansion.

- **--backtrace**

  Print backtrace on compilation error.

- **--pretty-print**

  Pretty print the pseudocode output.

- **--no-verbose-errors**

  Less information in the error messages.

- **--show-modules**

  Show information about loading modules.

## ENVIRONMENT

- **THEME\_D\_CONFIG\_FILE**

  If this variable is defined its value is used as the Theme-D configuration file instead of the default configuration file.

## FILES

- */etc/theme-d-config*

  The Theme-D configuration file.

- *~/.theme-d-config*

  The Theme-D configuration file. This file should be normally present only if you use Theme-D in local mode.

## SEE ALSO

[**theme-d-link**(1)](/theme-d-link/1.md), [**run-theme-d-program**(1)](/run-theme-d-program/1.md), [**setup-theme-d-test-env**(1)](/setup-theme-d-test-env/1.md), */usr/share/doc/theme-d-doc/theme-d-user-guide.pdf.gz*