---
name: "matitac"
section: "1"
platform: "linux"
package: "matita"
version: "0.99.3-1+b1"
release: "Debian 9 (Stretch)"
platforms: ["linux"]
url: "https://new.carta.tech/matitac"
---

# matitac(1)

Matita interative theorem prover - batch compiler

## NAME

matitac - Matita interative theorem prover - batch compiler

## SYNOPSIS

**matitac** \[ *OPTION* ... \] *FILE*

## DESCRIPTION

Matita batch compiler v0.99.3

## OPTIONS

**-b** \<path::uri\> forces the baseuri of path

**-I** \<path\> Adds path to the list of searched paths for the include command

**-conffile** \<filename\> Read configuration from filename

-

  Default: debian/tmp/usr/share/matita//matita.conf.xml

**-extract\_ocaml** Extract ocaml code

**-force** Force actions that would not be executed per default

**-noprofile** Turns off profiling printings

**-noinnertypes** Turns off inner types generation while publishing

**-profile-only** Activates only profiler with label matching the provided regex

**-system** Act on the system library instead of the user one

-

  WARNING: not for the casual user

**-no-default-includes** Do not include the default searched paths for the include command

**-execcomments** Execute the content of (\*\* ... \*) comments

**-v** Verbose mode

**--version** Prints version

- **-help**

  Display this list of options

- **--help**

  Display this list of options