Merge branch 'master' of ssh://vamos.informatik.uni-erlangen.de:29418/fail

2013-03-22 16:21:30 +01:00
parent 3c349e06f3 1e5581644c
commit b6e81af8a8
14 changed files with 765 additions and 0 deletions
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@ -66,8 +66,10 @@ include_directories(${CMAKE_BINARY_DIR}/src/core)
 # FIXME: this should be in src/core/CMakeLists.txt but actually doesn't work

 ## Add CMakeLists from subdirectories:
+add_subdirectory(tools)
 add_subdirectory(src)

+
 #### Backend-related build system stuff
 include(bochs)
 include(gem5)