1WHY3CONFIG(1)                    User Commands                   WHY3CONFIG(1)
2
3
4

NAME

6       why3config - detect provers usable by why3
7

SYNOPSIS

9       why3config [OPTIONS]
10

DESCRIPTION

12       Why3 must be configured to access external provers.  Typically, this is
13       done by either running this tool or using the menu File/Detect  provers
14       of the IDE.  This must be redone each time a new prover is installed.
15
16       The provers Why3 attempts to detect are described in the human-readable
17       file /usr/share/why3/provers-detection-data.conf.  Advanced  users  may
18       try to modify this file to add support for detection of other provers.
19
20       The  result  of provers detection is stored in the user's configuration
21       file (~/.why3.conf).  This file is also  human-readable,  and  advanced
22       users  may  modify  it  to  experiment  with  different ways of calling
23       provers, e.g., different versions of the same prover, or with different
24       options.
25
26       If  the  user's  configuration file is already present, why3config will
27       only reset unset variables to default values, but will not try  to  de‐
28       tect  provers.  The option -detect-provers should be used to force Why3
29       to detect again the available provers and to replace them in  the  con‐
30       figuration file.  The option -detect-plugins will do the same for plug‐
31       ins.
32

OPTIONS

34       -C, --config <file>
35              The configuration file to create.
36
37       --detect-provers
38              Search for provers in $PATH.
39
40       --detect-plugins
41              Search for plugins in the default library directory.
42
43       --detect
44              Search for both provers and plugins.
45
46       --install-plugin
47              Install a plugin to the actual library directory.
48
49       --dont-save
50              Do not modify the configuration file.
51
52       --list-debug-flags
53              List known debug flags.
54
55       --debug-all
56              Set all debug flags except parse_only and type_only.
57
58       --debug <flag>
59              Set a debug flag.
60
61       --version
62              Print version information.
63
64       -help, --help
65              Show a list of options.
66

SEE ALSO

68       why(1),   why3-cpulimit(1),   why3bench(1),   why3doc(1),   why3ide(1),
69       why3ml(1), why3realize(1), why3replayer(1)
70
71
72
73why3                                 1.4.1                       WHY3CONFIG(1)
Impressum