objs = Clause.o Function.o FunctionIndex.o \
       Literal.o Matrix.o Predicate.o PredicateIndex.o \
			 vic_strings.o Substitution.o Term.o SimplePath.o \
			 StackProver.o Lemmata.o \
			 TermIndex.o TPTPParser.o Unifier.o Variable.o \
			 VariableIndex.o Parameters.o Exceptions.o \
			 InferenceItem.o connect++.o FOF.o \
			 ProverOutcome.o LaTeXUtilities.o StackItem.o \
			 SubstitutionStack.o ProofPrinter.o cursor.o \
			 PathUtilities.o Schedule.o \

CXXFLAGS = -std=c++17 -Ofast -I/Users/sbh11/Desktop/connection-prover/c++/boost/boost_1_83_0 

connect++ : $(objs)
	g++ -o connect++ /Users/sbh11/Desktop/connection-prover/c++/boost/boost_1_83_0/local/lib/libboost_program_options.a $(objs)

Exceptions.o : Exceptions.hpp
vic_strings.o : vic_strings.hpp
cursor.o : cursor.hpp
Variable.o : Function.hpp LaTeXUtilities.hpp
Function.o : BasicTypes.hpp Parameters.hpp LaTeXUtilities.hpp \
							vic_strings.hpp
VariableIndex.o : Variable.hpp
PathUtilities.o : PathUtilities.hpp
FunctionIndex.o : Function.hpp FunctionHash.hpp
Term.o : VariableIndex.hpp
TermIndex.o : Term.hpp TermHash.hpp
FOF.o : Literal.hpp FunctionIndex.hpp PredicateIndex.hpp Clause.hpp
Unifier.o : Literal.hpp Substitution.hpp
Substitution.o : Term.hpp vic_strings.hpp
SubstitutionStack.o : Substitution.hpp
Matrix.o : Clause.hpp Unifier.hpp InferenceItem.hpp Reorder.hpp
SimplePath.o : Clause.hpp Unifier.hpp InferenceItem.hpp
Clause.o : Literal.hpp
Literal.o : TermIndex.hpp Predicate.hpp
Predicate.o : BasicTypes.hpp Parameters.hpp LaTeXUtilities.hpp vic_strings.hpp
PredicateIndex.o : Predicate.hpp FunctionHash.hpp
ProverOutcome.o : ProverOutcome.hpp
Lemmata.o : Clause.hpp InferenceItem.hpp
Schedule.o : Parameters.hpp Exceptions.hpp
StackProver.o : FunctionIndex.hpp PredicateIndex.hpp Matrix.hpp \
					 TPTPParser.hpp ProverOutcome.hpp ProofPrinter.hpp \
					 SubstitutionStack.hpp Interval.hpp cursor.hpp \
					 vic_strings.hpp PathUtilities.hpp 
StackItem.o : SimplePath.hpp Lemmata.hpp
TPTPParser.o : FunctionIndex.hpp Matrix.hpp Exceptions.hpp FOF.hpp
Parameters.o : Parameters.hpp
InferenceItem.o : Literal.hpp Substitution.hpp
LaTeXUtilities.o : Parameters.hpp
connect++.o : StackProver.hpp Schedule.hpp

.PHONEY : clean
clean :
	rm connect++ $(objs)
