diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2020-08-04 14:03:36 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-04 16:03:36 -0500 |
| commit | 99640a4dc014177ed3b205b7186254933e7c5566 (patch) | |
| tree | ac3dd4516f681d22574b7af86c0d1a222b8a2f91 /INSTALL.md | |
| parent | 24a40040a4a5f88f96eada87e46323ace729f06a (diff) | |
Add documentation and build instructions for recompilation (LGPL). (#4844)
Diffstat (limited to 'INSTALL.md')
| -rw-r--r-- | INSTALL.md | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/INSTALL.md b/INSTALL.md index a5b048131..7143dfc0e 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -317,3 +317,36 @@ are configured to **run** in parallel with the maximum number of threads available on the system. Override with `ARGS=-jN`. Use `-jN` for parallel **building** with `N` threads. + + +## Recompiling a specific CVC4 version with different LGPL library versions + +To recompile a specific static binary of CVC4 with different versions of the +linked LGPL libraries perform the following steps: + +1. Make sure that you have installed the desired LGPL library versions. + You can check the versions found by CVC4's build system during the configure + phase. + +2. Determine the commit sha and configuration of the CVC4 binary +``` +cvc4 --show-config +``` +3. Download the specific source code version: +``` +wget https://github.com/CVC4/CVC4/archive/<commit-sha>.tar.gz +``` +4. Extract the source code +``` +tar xf <commit-sha>.tar.gz +``` +5. Change into source code directory +``` +cd CVC4-<commit-sha> +``` +6. Configure CVC4 with options listed by `cvc4 --show-config` +``` +./configure.sh --static <options> +``` + +7. Follow remaining steps from [build instructions](#building-cvc4) |