[klee-dev] LLVM 3.4 and KLEE installation problem on Linux Mint 18.3

[Jake Ekel]

Hi,



I tried to install KLEE on Linux Mint 18.3 Sylvia.
I followed steps to build KLEE with LLVM 3.4 .When I tried to install llvm-3.4-dev , I got this following problem :
sudo apt-get install llvm-3.4-dev

The following packages have unmet dependencies:
 llvm-3.4-dev : Depends: libisl10 (>= 0.12.1) but it is not installable                Depends: libjsoncpp0 (>= 0.6.0~rc2) but it is not installableE: Unable to correct problems, you have held broken packages.
I have install libisl10 & libjsoncpp0, but the problem still happened.
After read from this following mail archive : https://www.mail-archive.com/klee-dev@imperial.ac.uk/msg02507.html


I tried to build llvm directly from source.I am able to build the llvm, but when I tried to build the KLEE, I got this problem.
cmake DENABLE_SOLVER_STP=ON -DENABLE_POSIX_RUNTIME=ON -DENABLE_KLEE_UCLIBC=ON -DGTEST_SRC_DIR="/home/jake/llvm/googletest-release-1.7.0/" -DLLVM_CONFIG_BINARY="/home/jake/llvm/llvm-3.4.2.src/configure" -DENABLE_SYSTEM_TESTS=ON -DENABLE_UNIT_TESTS=ON ../klee/

-- KLEE version 1.4.0.0-- CMake generator: Unix Makefiles-- Build type: RelWithDebInfo-- KLEE assertions enabled-- LLVM_CONFIG_BINARY: /home/jake/llvm/llvm-3.4.2.src/configureCMake Error at cmake/find_llvm.cmake:103 (message):  Failed to parse LLVM version from "LLVM configure 3.4.2
  generated by GNU Autoconf 2.60
  
  Copyright (C) 1992, 1993, 1994, 1995, 1996, 1998, 1999, 2000, 2001,
  2002, 2003, 2004, 2005, 2006 Free Software Foundation, Inc.
  This configure script is free software; the Free Software Foundation
  gives unlimited permission to copy, distribute and modify it.
  
  Copyright (c) 2003-2013 University of Illinois at Urbana-Champaign."Call Stack (most recent call first):  CMakeLists.txt:197 (include)

-- Configuring incomplete, errors occurred!See also "/home/jake/llvm/klee_build_dir/CMakeFiles/CMakeOutput.log".

What should I do to solve this problem?

Many thanks for your help.

Regards,Jake


   
-------------- next part --------------
HTML attachment scrubbed and removed