Improving build scripts and ignore of config+built stuff.

Author: marek-trtik

.gitignore

@@ -0,0 +1,12 @@
+# Local files generated by IDEs
+.vscode/*
+scripts/__pycache__/*
+src/goto-analyzer/taint_driver_scripts/.idea/*
+/*.config
+/*.creator
+/*.creator.user
+/*.files
+/*.includes
+
+# Ignoring boost
+boost/*

Makefile

@@ -0,0 +1,7 @@
+all:
+	$(MAKE) $(MAKEARGS) -C src
+
+clean:
+	$(MAKE) $(MAKEARGS) -C cbmc/src clean
+	$(MAKE) $(MAKEARGS) -C src clean
+

src/.gitignore

@@ -61,6 +61,7 @@ src/xmllang/xml_y.tab.cpp
 src/xmllang/xml_y.tab.h
 
 # binaries
+driver/sec-driver
 src/cbmc/cbmc
 src/cbmc/cbmc.exe
 src/cegis/cegis

src/Makefile

@@ -2,7 +2,7 @@ DIRS = driver pointer-analysis summaries taint-analysis
 
 all: driver.dir
 
-driver.dir: pointer-analysis.dir summaries.dir taint-analysis.dir cbmc.dir
+driver.dir: cbmc.dir pointer-analysis.dir summaries.dir taint-analysis.dir
 
 # building for a particular directory
 

src/taint-analysis/Makefile

@@ -6,7 +6,7 @@ SRC = taint_trace_dump_html.cpp taint_summary_dump.cpp taint_trace_dump_json.cpp
       taint_statistics_dump_html.cpp taint_config.cpp \
       taint_statistics_dump_json.cpp taint_cond.cpp taint_set.cpp
 
-INCLUDES= -I .. -I ../../cbmc/src
+INCLUDES= -I .. -I ../../cbmc/src -I ../../boost
 
 include ../../cbmc/src/config.inc
 include ../../cbmc/src/common