updates

cb482811 · ga85rup · f7e78f5c · cb482811 · cb482811 · cb482811
Commit cb482811 authored Mar 24, 2017 by ga85rup
6 changed files
--- a/.DS_Store
+++ b/.DS_Store
--- a/examples/.DS_Store
+++ b/examples/.DS_Store
--- a/examples/thermalmodel10R/Makefile
+++ b/examples/thermalmodel10R/Makefile
@@ -5,11 +5,6 @@
 CC       	  = clang++
 CXXFLAGS 		= -Wall -Wextra -std=c++11 -O3 -g -O0

-#
-# scots 
-#
-SCOTSROOT		= ../../..
-SCOTSINC		= -I$(SCOTSROOT)/bdd -I$(SCOTSROOT)/utils 

 #
 # cudd 

--- a/examples/thermalmodel6R/Makefile
+++ b/examples/thermalmodel6R/Makefile
@@ -5,11 +5,6 @@
 CC       	  = clang++
 CXXFLAGS 		= -Wall -Wextra -std=c++11 -O3 -g -O0

-#
-# scots 
-#
-SCOTSROOT		= ../../..
-SCOTSINC		= -I$(SCOTSROOT)/bdd -I$(SCOTSROOT)/utils 

 #
 # cudd 

--- a/examples/trafficmodel/Makefile
+++ b/examples/trafficmodel/Makefile
@@ -5,11 +5,6 @@
 CC       	  = clang++
 CXXFLAGS 		= -Wall -Wextra -std=c++11 -O3 -g -O0

-#
-# scots 
-#
-SCOTSROOT		= ../../..
-SCOTSINC		= -I$(SCOTSROOT)/bdd -I$(SCOTSROOT)/utils 

 #
 # cudd 

--- a/manual/manual.pdf
+++ b/manual/manual.pdf