diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2019-04-12 15:40:55 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2019-04-12 15:40:55 +0200 |
| commit | d9fbf311cf6649f787a23903dc48a118b668deec (patch) | |
| tree | f5534eb45e23ebe86328358001c4e068c92683d7 /INSTALL.md | |
| parent | 93bd71388291d2e526a30c56e7fe63744f98e64d (diff) | |
| download | smtcoq-d9fbf311cf6649f787a23903dc48a118b668deec.tar.gz smtcoq-d9fbf311cf6649f787a23903dc48a118b668deec.zip | |
Documentation
Diffstat (limited to 'INSTALL.md')
| -rw-r--r-- | INSTALL.md | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -249,7 +249,7 @@ The `zchaff` binary must be present in your PATH to use it through SMTCoq. ## Setting up environment for SMTCoq ### Using SMTCoq without installing -If you want to use SMTCoq without installing it your Coq installation, you can +If you want to use SMTCoq without adding it to your Coq installation, you can tell Coq where to find SMTCoq by adding the following line in the file `~/.config/coqrc`: @@ -257,6 +257,10 @@ tell Coq where to find SMTCoq by adding the following line in the file Add Rec LoadPath "~/path/to/smtcoq/src" as SMTCoq. ``` +See [this +documentation](https://coq.inria.fr/refman/practical-tools/coq-commands.html#by-resource-file) +if it does not work. + ### Emacs and ProofGeneral |