christoph/fail
1
Fork 0
Code Releases Activity

FAIL* works with LLVM 3.9, 4.0, 5.0 or 6.0

Browse Source 
Change-Id: I5480c3451daac7c8ea6160a9afe5ce557b73afb1
This commit is contained in:
Horst Schirmeier
2018-07-24 10:33:20 +02:00
parent 5d5927a88a
commit eef19b80a0
5 changed files with 16 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
doc/how-to-build.txt
View File

@ -23,7 +23,9 @@ Required for FAIL*:
"-D__NO_MATH_INLINES -D__STRICT_ANSI__" or "--c_compiler clang++" (the
latter requires the clang++ compiler).
- optional:
* LLVM 3.9 (needed for several importers in tools/import-trace): llvm-3.9-dev
* LLVM 3.9, 4.0, 5.0, or 6.0 (needed for several importers in
tools/import-trace): llvm-3.9-dev, llvm-4.0-dev, llvm-5.0-dev or
llvm-6.0-dev
- built with "make REQUIRES_RTTI=1" (the Debian/Ubuntu packages already
come built this way)
- details below
@ -289,8 +291,9 @@ Database backend setup: MySQL / MariaDB
Building LLVM from sources
=========================================================================================
If your Linux distribution does not provide a library package for LLVM 3.9 or
newer, and you need LLVM support in FAIL*, you may need to build LLVM from the
sources and install it, e.g., locally in your home.
newer (the following steps work for LLVM 3.9), and you need LLVM support in
FAIL*, you may need to build LLVM from the sources and install it, e.g.,
locally in your home.
1. Download the source tarball of LLVM 3.9 from http://llvm.org (or use the git
repository http://llvm.org/git/llvm.git and checkout release_39)