Skip to content

Commit

Permalink
prereqs fix
Browse files Browse the repository at this point in the history
  • Loading branch information
saahil committed May 19, 2016
1 parent 62410bc commit 5bb5c39
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@ Pre-requisites for installation
---
Following are the *minimum* requirements before installing MACKE.

- **Python 2.7+ **
- **Python 2.7+**
- **KLEE** - We have prepared a [KLEE installation guide](https://github.com/tum-i22/macke/blob/master/KLEE.md) that includes all the pre-requisites for KLEE, such as LLVM's Clang toolkit, uclibc and a SMT solver.
- **Libclang** - MACKE requires Python wrappings for libclang's C/C++ parsing library to work correctly. A nice guide to parsing C++ in Python can be found at [Eli Bendersky's website](http://eli.thegreenplace.net/2011/07/03/parsing-c-in-python-with-clang), that includes some installation details.

Expand Down

0 comments on commit 5bb5c39

Please sign in to comment.