/usr/bin/c++  -arch arm64 -isysroot /Library/Developer/CommandLineTools/SDKs/MacOSX.sdk -Wl,-search_paths_first -Wl,-headerpad_max_install_names CMakeFiles/tptp_parser.dir/tptp.test.cc.o CMakeFiles/tptp_parser.dir/tptp.ast.cc.o CMakeFiles/tptp_parser.dir/tptp.parser.cc.o CMakeFiles/tptp_parser.dir/tptp.grammar.cc.o CMakeFiles/tptp_parser.dir/tptp.lexer.cc.o -o tptp_parser
