Allow not building LLVM sources

Makefile

@@ -5,6 +5,7 @@ CC ?= "clang"
 CXX ?= "clang++"
 BUILD_TYPE ?= "RelWithDebInfo"
 DYNAMORIO_SOURCES ?= "ON"
+LLVM_SOURCES ?= "ON"
 TESSLA_SUPPORT ?= "ON"
 
 CLONE_METHOD := "https://github.com/"

README.md

@@ -32,6 +32,7 @@ make [OPTIONS]
 
 `OPTIONS` may include:
  - `BUILD_TYPE=[Debug|Release|RelWithDebInfo]` the type of build to pass to cmake
+ - `LLVM_SOURCES=OFF` to turn off building event sources based on instrumentation of LLVM
  - `DYNAMORIO_SOURCES=OFF` to turn off building event sources based on DynamoRIO
  - `DynamoRIO_DIR=<path/to/dynamorio/cmake>` to use a particular DynamoRIO build
  - `TESSLA_SUPPORT=[ON|OFF]` enable support for TeSSLa monitors

makefiles/Makefile-sources

@@ -1,4 +1,3 @@
-
 ifeq ($(DYNAMORIO_SOURCES), "ON")
 ifndef DynamoRIO_DIR
 BUILD_DRIO := "yes"
@@ -19,7 +18,12 @@ endif
 endif
 
 sources-config: export_config buffers sources-init dynamorio common
-	cd vamos-sources && (test -f CMakeCache.txt || cmake . -DCMAKE_C_COMPILER=$(CC) -Dvamos-buffers_DIR=../vamos-buffers/cmake/vamos-buffers -DDYNAMORIO_SOURCES=$(DYNAMORIO_SOURCES) -DDynamoRIO_DIR=$(DynamoRIO_DIR) -DCMAKE_BUILD_TYPE=$(BUILD_TYPE) $(SOURCES_OPTS)) || git clean -xdf
+	cd vamos-sources && (test -f CMakeCache.txt ||\
+		cmake . -DCMAKE_C_COMPILER=$(CC)\
+			-Dvamos-buffers_DIR=../vamos-buffers/cmake/vamos-buffers\
+			-DDYNAMORIO_SOURCES=$(DYNAMORIO_SOURCES) -DDynamoRIO_DIR=$(DynamoRIO_DIR)\
+			-DLLVM_SOURCES=$(LLVM_SOURCES)\
+			-DCMAKE_BUILD_TYPE=$(BUILD_TYPE) $(SOURCES_OPTS)) || git clean -xdf
 
 sources-init: buffers-init
 	test -f vamos-sources/CMakeLists.txt || git submodule update --init --recursive -- vamos-sources

setup.sh

@@ -10,6 +10,7 @@ set -x
 
 cd $(dirname $0)
 
+LLVM_SOURCES="OFF"
 DYNAMORIO_SOURCES="OFF"
 TESSLA_SUPPORT="OFF"
 
@@ -25,5 +26,5 @@ fi
 
 source venv/bin/activate
 
-make DYNAMORIO_SOURCES=$DYNAMORIO_SOURCES TESSLA_SUPPORT=$TESSLA_SUPPORT
+make LLVM_SOURCES=$LLVM_SOURCES DYNAMORIO_SOURCES=$DYNAMORIO_SOURCES TESSLA_SUPPORT=$TESSLA_SUPPORT
 make mpt