Skip to content

Move build instructions to separate directory #383

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Merged
merged 1 commit into from
Jul 12, 2024
Merged

Move build instructions to separate directory #383

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions build-llvm13.md → build/build-llvm13.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ slug: getting-started

The current procedure for building KLEE manually with LLVM 13 (recommended) on Debian/Ubuntu-based distributions or macOS is outlined below.
However, in case you trust our installation scripts for continuous integration testing, you can re-use them on your Ubuntu/macOS-based host system.
You can find detailed instructions in: [Building arbitrary KLEE configurations]({{site.baseurl}}/build-script).
You can find detailed instructions in: [Building arbitrary KLEE configurations]({{site.baseurl}}/build/build-script).

## Manual Installation

Expand Down Expand Up @@ -72,7 +72,7 @@ KLEE does not work under x86-32.

KLEE supports multiple different constraint solvers. You must install at least one to build KLEE.

* [STP](https://github.com/stp/stp) Historically KLEE was built around STP so support for this solver is the most stable. For build instructions, see [here]({{site.baseurl}}/build-stp).
* [STP](https://github.com/stp/stp) Historically KLEE was built around STP so support for this solver is the most stable. For build instructions, see [here]({{site.baseurl}}/build/build-stp).
* [Z3](https://github.com/z3prover/z3) is another solver supported by KLEE that is reasonably stable. You should use Z3 version ≥ 4.4. Z3 is packaged by [many distributions](https://repology.org/project/z3/versions). For build instructions, see [here](https://github.com/Z3Prover/z3/blob/master/README.md).
* [metaSMT](https://github.com/agra-uni-bremen/metaSMT) supports
various solvers, including Boolector, CVC4, STP, Z3 and Yices. We recommend branch v4.rc1 (`git clone -b v4.rc1 ...`). For build instructions, see [here](https://github.com/agra-uni-bremen/metaSMT).
Expand Down
0 build-script.md → build/build-script.md
View file
Open in desktop
File renamed without changes.
0 build-stp.md → build/build-stp.md
View file
Open in desktop
File renamed without changes.
4 changes: 2 additions & 2 deletions getting-started.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -23,5 +23,5 @@ Run tiny code examples in your browser with [KLEE web](http://klee.doc.ic.ac.uk/

## Manual Installation

* [Build from source against LLVM 13]({{site.baseurl}}/build-llvm13): this is the currently recommended version
* [Building arbitrary KLEE configurations]({{site.baseurl}}/build-script): to build different configurations of KLEE and its dependencies
* [Build from source against LLVM 13]({{site.baseurl}}/build/build-llvm13): this is the currently recommended version
* [Building arbitrary KLEE configurations]({{site.baseurl}}/build/build-script): to build different configurations of KLEE and its dependencies