Commits

Simon Guillot  committed adec2c7

Added -DWAF_PROJECT_PATH

  • Participants
  • Parent commits 8461abe

Comments (0)

Files changed (2)

File source/main.cc

 	return (res & fdd_ithvar(0, 0)) != bddfalse;
 }
 
-int main (int argc, char** argv)
-{
+int main (int argc, char** argv) {
 	if (argc < 2) {
 		std::cerr << "Usage: " << std::endl;
 		std::cerr << argv[0] << " <Kripke file> <CTL formula>" << std::endl;
 out = 'build'
 
 def options(ctx):
-	ctx.load('compiler_cxx unittest_gtest')
+	ctx.load('compiler_cxx unittest_gtest test')
 	
 	ctx.add_option(
 		'-m', '--mode',
 	)
 
 def configure(ctx):
-	ctx.load('compiler_cxx unittest_gtest')
+	ctx.load('compiler_cxx unittest_gtest test')
 
 	# add user defined paths
 	if ctx.options.include is not None:
 		'debug': ['-O0', '-W', '-Wall', '-g', '-ggdb']
 	}
 	ctx.env.append_unique('CXXFLAGS', cxxflags[ctx.options.mode])
+	ctx.env.append_unique('CXXFLAGS', '-DWAF_PROJECT_PATH="' + os.path.realpath(top) + '"')
 
 	ctx.program(
 		target		= 'mc',