diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..5ed8744 --- /dev/null +++ b/.gitignore @@ -0,0 +1,4 @@ +*.o +validate +tan +*.dSYM diff --git a/Makefile b/Makefile index 027d5ce..c9aa66e 100644 --- a/Makefile +++ b/Makefile @@ -20,7 +20,7 @@ SEARCHDIRS := -I${MYCODEDIR} -I${PARSER} # makemake variables -DEPENDFLAGS := -g -Wall -Werror ${SEARCHDIRS} +DEPENDFLAGS := -g -Wall ${SEARCHDIRS} # C preprocessor (C, C++, FORTRAN) @@ -39,6 +39,16 @@ CFLAGS = ${DEPENDFLAGS} CXX ?= g++ CXXFLAGS = ${DEPENDFLAGS} -ansi -Wall +# C/C++/Eiffel/FORTRAN linker + +LINKER := $(CXX) -g +LDFLAGS = +LOADLIBES := + +# LEX generator +LEX ?= flex +YACC ?= bison + %.o : %.cc ${CXX} ${CPPFLAGS} ${CXXFLAGS} -c $< -o $@ @@ -52,20 +62,7 @@ CXXFLAGS = ${DEPENDFLAGS} -ansi -Wall ${CXX} ${CPPFLAGS} ${CXXFLAGS} -c $< -o $@ %.cpp : %.yacc - flex -+ src/Parser/pddl+.lex -o /src/Parser/lex.yy.cc; bison $< -o src/pddl+.cpp - - - -# C/C++/Eiffel/FORTRAN linker - -LINKER := g++ -g -LDFLAGS = -LOADLIBES := - - - -# This is what makemake added - + ${LEX} -+ src/Parser/pddl+.lex -o /src/Parser/lex.yy.cc; ${YACC} $< -o src/pddl+.cpp # validate diff --git a/obj/parser/src/DebugWriteController.o b/obj/parser/src/DebugWriteController.o deleted file mode 100644 index 6476bb2..0000000 Binary files a/obj/parser/src/DebugWriteController.o and /dev/null differ diff --git a/obj/parser/src/parse.o b/obj/parser/src/parse.o deleted file mode 100644 index f5a4520..0000000 Binary files a/obj/parser/src/parse.o and /dev/null differ diff --git a/obj/parser/src/pddl+.o b/obj/parser/src/pddl+.o deleted file mode 100644 index 04669d4..0000000 Binary files a/obj/parser/src/pddl+.o and /dev/null differ diff --git a/obj/parser/src/ptree.o b/obj/parser/src/ptree.o deleted file mode 100644 index a1d0dc2..0000000 Binary files a/obj/parser/src/ptree.o and /dev/null differ diff --git a/obj/tan/src/DebugWriteController.o b/obj/tan/src/DebugWriteController.o deleted file mode 100644 index 6476bb2..0000000 Binary files a/obj/tan/src/DebugWriteController.o and /dev/null differ diff --git a/obj/tan/src/FuncAnalysis.o b/obj/tan/src/FuncAnalysis.o deleted file mode 100644 index 984d024..0000000 Binary files a/obj/tan/src/FuncAnalysis.o and /dev/null differ diff --git a/obj/tan/src/TypedAnalyser.o b/obj/tan/src/TypedAnalyser.o deleted file mode 100644 index 98eb234..0000000 Binary files a/obj/tan/src/TypedAnalyser.o and /dev/null differ diff --git a/obj/tan/src/TypedAnalysis.o b/obj/tan/src/TypedAnalysis.o deleted file mode 100644 index 59f4c52..0000000 Binary files a/obj/tan/src/TypedAnalysis.o and /dev/null differ diff --git a/obj/tan/src/pddl+.o b/obj/tan/src/pddl+.o deleted file mode 100644 index 04669d4..0000000 Binary files a/obj/tan/src/pddl+.o and /dev/null differ diff --git a/obj/tan/src/ptree.o b/obj/tan/src/ptree.o deleted file mode 100644 index a1d0dc2..0000000 Binary files a/obj/tan/src/ptree.o and /dev/null differ diff --git a/obj/tan/src/typecheck.o b/obj/tan/src/typecheck.o deleted file mode 100644 index 3d76296..0000000 Binary files a/obj/tan/src/typecheck.o and /dev/null differ diff --git a/obj/validate/src/Action.o b/obj/validate/src/Action.o deleted file mode 100644 index 301c7a3..0000000 Binary files a/obj/validate/src/Action.o and /dev/null differ diff --git a/obj/validate/src/Analysis.o b/obj/validate/src/Analysis.o deleted file mode 100644 index e3aa290..0000000 Binary files a/obj/validate/src/Analysis.o and /dev/null differ diff --git a/obj/validate/src/CausalGraph.o b/obj/validate/src/CausalGraph.o deleted file mode 100644 index b30f6e9..0000000 Binary files a/obj/validate/src/CausalGraph.o and /dev/null differ diff --git a/obj/validate/src/Commitments.o b/obj/validate/src/Commitments.o deleted file mode 100644 index 300c10e..0000000 Binary files a/obj/validate/src/Commitments.o and /dev/null differ diff --git a/obj/validate/src/DebugWriteController.o b/obj/validate/src/DebugWriteController.o deleted file mode 100644 index 6476bb2..0000000 Binary files a/obj/validate/src/DebugWriteController.o and /dev/null differ diff --git a/obj/validate/src/Environment.o b/obj/validate/src/Environment.o deleted file mode 100644 index 7d7b58e..0000000 Binary files a/obj/validate/src/Environment.o and /dev/null differ diff --git a/obj/validate/src/Evaluator.o b/obj/validate/src/Evaluator.o deleted file mode 100644 index 001d95c..0000000 Binary files a/obj/validate/src/Evaluator.o and /dev/null differ diff --git a/obj/validate/src/Events.o b/obj/validate/src/Events.o deleted file mode 100644 index dcdb4a3..0000000 Binary files a/obj/validate/src/Events.o and /dev/null differ diff --git a/obj/validate/src/FastEnvironment.o b/obj/validate/src/FastEnvironment.o deleted file mode 100644 index c4ebed6..0000000 Binary files a/obj/validate/src/FastEnvironment.o and /dev/null differ diff --git a/obj/validate/src/FuncExp.o b/obj/validate/src/FuncExp.o deleted file mode 100644 index 523ccb6..0000000 Binary files a/obj/validate/src/FuncExp.o and /dev/null differ diff --git a/obj/validate/src/LaTeXSupport.o b/obj/validate/src/LaTeXSupport.o deleted file mode 100644 index 9064730..0000000 Binary files a/obj/validate/src/LaTeXSupport.o and /dev/null differ diff --git a/obj/validate/src/Ownership.o b/obj/validate/src/Ownership.o deleted file mode 100644 index 05dacfe..0000000 Binary files a/obj/validate/src/Ownership.o and /dev/null differ diff --git a/obj/validate/src/Plan.o b/obj/validate/src/Plan.o deleted file mode 100644 index 6d95b86..0000000 Binary files a/obj/validate/src/Plan.o and /dev/null differ diff --git a/obj/validate/src/Polynomial.o b/obj/validate/src/Polynomial.o deleted file mode 100644 index a2f05d9..0000000 Binary files a/obj/validate/src/Polynomial.o and /dev/null differ diff --git a/obj/validate/src/PrettyPrinter.o b/obj/validate/src/PrettyPrinter.o deleted file mode 100644 index 83c28f7..0000000 Binary files a/obj/validate/src/PrettyPrinter.o and /dev/null differ diff --git a/obj/validate/src/Proposition.o b/obj/validate/src/Proposition.o deleted file mode 100644 index 6facb3e..0000000 Binary files a/obj/validate/src/Proposition.o and /dev/null differ diff --git a/obj/validate/src/RepairAdvice.o b/obj/validate/src/RepairAdvice.o deleted file mode 100644 index c2b3b4d..0000000 Binary files a/obj/validate/src/RepairAdvice.o and /dev/null differ diff --git a/obj/validate/src/RobustAnalyse.o b/obj/validate/src/RobustAnalyse.o deleted file mode 100644 index 96d7b69..0000000 Binary files a/obj/validate/src/RobustAnalyse.o and /dev/null differ diff --git a/obj/validate/src/SimpleEval.o b/obj/validate/src/SimpleEval.o deleted file mode 100644 index af0c3e8..0000000 Binary files a/obj/validate/src/SimpleEval.o and /dev/null differ diff --git a/obj/validate/src/State.o b/obj/validate/src/State.o deleted file mode 100644 index 41e341e..0000000 Binary files a/obj/validate/src/State.o and /dev/null differ diff --git a/obj/validate/src/TIM.o b/obj/validate/src/TIM.o deleted file mode 100644 index 7e5462c..0000000 Binary files a/obj/validate/src/TIM.o and /dev/null differ diff --git a/obj/validate/src/TimSupport.o b/obj/validate/src/TimSupport.o deleted file mode 100644 index 0347391..0000000 Binary files a/obj/validate/src/TimSupport.o and /dev/null differ diff --git a/obj/validate/src/TrajectoryConstraints.o b/obj/validate/src/TrajectoryConstraints.o deleted file mode 100644 index 67f00b5..0000000 Binary files a/obj/validate/src/TrajectoryConstraints.o and /dev/null differ diff --git a/obj/validate/src/Utils.o b/obj/validate/src/Utils.o deleted file mode 100644 index 7786b0f..0000000 Binary files a/obj/validate/src/Utils.o and /dev/null differ diff --git a/obj/validate/src/Validator.o b/obj/validate/src/Validator.o deleted file mode 100644 index 03b5ffa..0000000 Binary files a/obj/validate/src/Validator.o and /dev/null differ diff --git a/obj/validate/src/main.o b/obj/validate/src/main.o deleted file mode 100644 index 02ccf46..0000000 Binary files a/obj/validate/src/main.o and /dev/null differ diff --git a/obj/validate/src/pddl+.o b/obj/validate/src/pddl+.o deleted file mode 100644 index 5e0bb3d..0000000 Binary files a/obj/validate/src/pddl+.o and /dev/null differ diff --git a/obj/validate/src/ptree.o b/obj/validate/src/ptree.o deleted file mode 100644 index a1d0dc2..0000000 Binary files a/obj/validate/src/ptree.o and /dev/null differ diff --git a/obj/validate/src/random.o b/obj/validate/src/random.o deleted file mode 100644 index 04748b8..0000000 Binary files a/obj/validate/src/random.o and /dev/null differ diff --git a/obj/validate/src/typecheck.o b/obj/validate/src/typecheck.o deleted file mode 100644 index 3d76296..0000000 Binary files a/obj/validate/src/typecheck.o and /dev/null differ diff --git a/parser b/parser deleted file mode 100755 index 04eeadd..0000000 Binary files a/parser and /dev/null differ diff --git a/src/Action.o b/src/Action.o deleted file mode 100644 index c4e4e3e..0000000 Binary files a/src/Action.o and /dev/null differ diff --git a/src/DebugWriteController.o b/src/DebugWriteController.o deleted file mode 100644 index 52ea010..0000000 Binary files a/src/DebugWriteController.o and /dev/null differ diff --git a/src/Environment.o b/src/Environment.o deleted file mode 100644 index 10dfcc3..0000000 Binary files a/src/Environment.o and /dev/null differ diff --git a/src/Events.o b/src/Events.o deleted file mode 100644 index 967d241..0000000 Binary files a/src/Events.o and /dev/null differ diff --git a/src/FuncAnalysis.o b/src/FuncAnalysis.o deleted file mode 100644 index 0d6ea89..0000000 Binary files a/src/FuncAnalysis.o and /dev/null differ diff --git a/src/FuncExp.o b/src/FuncExp.o deleted file mode 100644 index 152636d..0000000 Binary files a/src/FuncExp.o and /dev/null differ diff --git a/src/LaTeXSupport.o b/src/LaTeXSupport.o deleted file mode 100644 index fa00aac..0000000 Binary files a/src/LaTeXSupport.o and /dev/null differ diff --git a/src/Ownership.o b/src/Ownership.o deleted file mode 100644 index 54e037a..0000000 Binary files a/src/Ownership.o and /dev/null differ diff --git a/src/Plan.o b/src/Plan.o deleted file mode 100644 index 7fcf1de..0000000 Binary files a/src/Plan.o and /dev/null differ diff --git a/src/Polynomial.o b/src/Polynomial.o deleted file mode 100644 index df59bd4..0000000 Binary files a/src/Polynomial.o and /dev/null differ diff --git a/src/PrettyPrinter.o b/src/PrettyPrinter.o deleted file mode 100644 index 4b12710..0000000 Binary files a/src/PrettyPrinter.o and /dev/null differ diff --git a/src/Proposition.o b/src/Proposition.o deleted file mode 100644 index 0d9112a..0000000 Binary files a/src/Proposition.o and /dev/null differ diff --git a/src/RepairAdvice.o b/src/RepairAdvice.o deleted file mode 100644 index 953c30b..0000000 Binary files a/src/RepairAdvice.o and /dev/null differ diff --git a/src/RobustAnalyse.o b/src/RobustAnalyse.o deleted file mode 100644 index 38814f0..0000000 Binary files a/src/RobustAnalyse.o and /dev/null differ diff --git a/src/State.o b/src/State.o deleted file mode 100644 index fd63ca1..0000000 Binary files a/src/State.o and /dev/null differ diff --git a/src/TrajectoryConstraints.o b/src/TrajectoryConstraints.o deleted file mode 100644 index 6483f3f..0000000 Binary files a/src/TrajectoryConstraints.o and /dev/null differ diff --git a/src/TypedAnalyser.o b/src/TypedAnalyser.o deleted file mode 100644 index dd0579a..0000000 Binary files a/src/TypedAnalyser.o and /dev/null differ diff --git a/src/TypedAnalysis.o b/src/TypedAnalysis.o deleted file mode 100644 index f0ba21e..0000000 Binary files a/src/TypedAnalysis.o and /dev/null differ diff --git a/src/Utils.o b/src/Utils.o deleted file mode 100644 index a504599..0000000 Binary files a/src/Utils.o and /dev/null differ diff --git a/src/Validator.o b/src/Validator.o deleted file mode 100644 index d871776..0000000 Binary files a/src/Validator.o and /dev/null differ diff --git a/src/main.o b/src/main.o deleted file mode 100644 index 33fb401..0000000 Binary files a/src/main.o and /dev/null differ diff --git a/src/pddl+.o b/src/pddl+.o deleted file mode 100644 index 792a71c..0000000 Binary files a/src/pddl+.o and /dev/null differ diff --git a/src/ptree.o b/src/ptree.o deleted file mode 100644 index d540c4a..0000000 Binary files a/src/ptree.o and /dev/null differ diff --git a/src/random.o b/src/random.o deleted file mode 100644 index ef3835e..0000000 Binary files a/src/random.o and /dev/null differ diff --git a/src/typecheck.o b/src/typecheck.o deleted file mode 100644 index 9a3766b..0000000 Binary files a/src/typecheck.o and /dev/null differ diff --git a/tan b/tan deleted file mode 100755 index f29d43e..0000000 Binary files a/tan and /dev/null differ diff --git a/validate b/validate deleted file mode 100644 index 086c5ba..0000000 Binary files a/validate and /dev/null differ