Logtalk reference manual
Built-in predicate: logtalk_compile/2
Contents > Reference Manual > Built-in Predicates > logtalk_compile/2

## logtalk_compile/2

#### Description

    logtalk_compile(File, Flags)
    logtalk_compile(Files, Flags)

Compiles to disk a source file or a list of source files using a list of compiler flags. The Logtalk source file name extension (by default, `.lgt`) can be omitted. Source file paths can be absolute, relative to the current directory, or use library notation. This predicate can also be used to compile Prolog source files as Logtalk source code. When no recognized Logtalk or Prolog extension is specified, the compiler tries first to append a Logtalk source file extension and then a Prolog source file extension. If that fails, the compiler tries to use the file name as-is. Compiler flags are represented as flag(value). For a description of the available compiler flags, please consult the User Manual.

When this predicate is called from the top-level, relative source file paths are resolved using the current working directory. When the calls are made from a source file, relative source file paths are resolved by default using the source file directory (unless a `relative_to/1` flag is passed).

Note that only the errors related to problems in the predicate argument are listed below. This predicate fails when errors are found during compilation of a source file.

#### Template and modes

    logtalk_compile(@source_file_name, @list(compiler_flag))
    logtalk_compile(@list(source_file_name), @list(compiler_flag))

#### Errors

File is a variable:
  `instantiation_error`
Files is a variable or a list with an element which is a variable:
  `instantiation_error`
File, or an element File of the Files list, is neither a variable nor a source file name:
  `type_error(source_file_name, File)`
File, or an element File of the Files list, uses library notation but the library does not exist:
  `existence_error(library, Library)`
File or an element File of the Files list, does not exist:
  `existence_error(file, File)`
Flags is a variable or a list with an element which is a variable:
  `instantiation_error`
Flags is neither a variable nor a proper list:
  `type_error(list, Flags)`
An element Flag of the Flags list is not a valid compiler flag:
  `type_error(compiler_flag, Flag)`
An element Flag of the Flags list defines a value for a read-only compiler flag:
  `permission_error(modify, flag, Flag)`
An element Flag of the Flags list defines an invalid value for a flag:
  `domain_error(flag_value, Flag+Value)`

#### Examples

    | ?- logtalk_compile(list, []).

    | ?- logtalk_compile(types(tree)).

    | ?- logtalk_compile([listp, list], [source_data(off), portability(silent)]).

#### See also

`logtalk_compile/1`, `logtalk_load/1`, `logtalk_load/2`, `logtalk_make/0`, `logtalk_make/1`
`logtalk_library_path/2`