[KLEE] 설치과정중 libisl10 라이브러리 오류

KLEE설치 과정중 llvm-3.4-dev를 설치할 때 libisl10 라이브러리가 없다며 오류가 뜨는데 다음과 같이 해결 할 수가 있다.

먼저 /etc/apt/sources.list 파일을 수정해야한다 필자는 vim을 이용하여 수정을 진행

그 다음 그림과 같이 한 줄을 추가한다

deb http://cz.archive.ubuntu.com/ubuntu trusty main

이후 다음과 같은 명령어를 차례대로 실행하면 llvm-3.4-dev를 깔 수가 있다.

$ sudo apt-get update

$ sudo apt-get install libisl10