Skip to content

Building CRETE for a Ubuntu 16.04 Host

Jump to bottom
Christopher Havlicek edited this page Mar 3, 2017 · 2 revisions

Disclaimer

This is an un-official guide for building CRETE for a Ubuntu 16.04 host. CRETE does not officially support Ubuntu 16.04. This guide is only provided here in the hopes that it will be helpful for those who find themselves in need to build CRETE on Ubuntu 16.04.

Applicability

This guide was written using the master branch of CRETE as of 02/28/17.

Steps

Follow all steps described for preparing the OS, in the README, for Ubuntu 14.04 - including reverting bison/libbison.

The only difficulty encountered came with respect to the system's default GCC-5.4.

  1. Change the system GCC to GCC-4.9

There are a number of resources describing how to do this. Here's one.

  1. Modify CMakeLists.txt for Klee and LLVM-Translator
  • Add "-I/usr/include/c++/4.9" to back-end/klee/CMakeLists.txt for CXXFLAGS.
  • Add "-I/usr/include/c++/4.9" to back-end/llvm-translator/CMakeLists.txt for --extra-cxxflags.

Clone this wiki locally