/usr/bin/g++   -g -Wall -W -Wno-sign-compare -Wno-deprecated -ansi -pedantic -Werror -std=c++0x  -fprofile-arcs -ftest-coverage -lgcov   -g   -g -O3 -lgcov -rdynamic CMakeFiles/rddl-parser.dir/evaluatables.cc.o CMakeFiles/rddl-parser.dir/instantiator.cc.o CMakeFiles/rddl-parser.dir/logical_expressions.cc.o CMakeFiles/rddl-parser.dir/preprocessor.cc.o CMakeFiles/rddl-parser.dir/probability_distribution.cc.o CMakeFiles/rddl-parser.dir/rddl.cc.o CMakeFiles/rddl-parser.dir/states.cc.o CMakeFiles/rddl-parser.dir/task_analyzer.cc.o CMakeFiles/rddl-parser.dir/utils/math_utils.cc.o CMakeFiles/rddl-parser.dir/utils/string_utils.cc.o CMakeFiles/rddl-parser.dir/utils/system_utils.cc.o CMakeFiles/rddl-parser.dir/utils/timer.cc.o CMakeFiles/rddl-parser.dir/lexer.cc.o CMakeFiles/rddl-parser.dir/parser.tab.cc.o  -o rddl-parser 
