-o
bazel-out/k8-opt/bin/dreal/api/api_test
-Wl,-rpath,$ORIGIN/../../_solib_k8/
-Lbazel-out/k8-opt/bin/_solib_k8
-pie
-fuse-ld=gold
-Wl,-no-as-needed
-Wl,-z,relro,-z,now
-B/usr/bin
-pass-exit-codes
-lstdc++
-lm
-Wl,--gc-sections
bazel-out/k8-opt/bin/dreal/api/_objs/api_test/api_test.pic.o
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/api/_objs/api/api.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/solver/_objs/solver/context.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/solver/_objs/solver/context_impl.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/solver/_objs/solver/expression_evaluator.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/solver/_objs/solver/forall_formula_evaluator.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/solver/_objs/solver/formula_evaluator.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/solver/_objs/solver/formula_evaluator_cell.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/solver/_objs/solver/icp.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/solver/_objs/solver/icp_parallel.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/solver/_objs/solver/icp_seq.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/solver/_objs/solver/relational_formula_evaluator.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/solver/_objs/solver/theory_solver.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/solver/_objs/icp_stat/icp_stat.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/solver/_objs/sat_solver/sat_solver.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/util/_objs/predicate_abstractor/predicate_abstractor.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/util/_objs/tseitin_cnfizer/tseitin_cnfizer.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/util/_objs/naive_cnfizer/naive_cnfizer.pic.o
-Wl,-no-whole-archive
-lexternal_Spicosat_Slibpicosat
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/contractor/_objs/contractor/contractor.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/contractor/_objs/contractor/contractor_cell.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/contractor/_objs/contractor/contractor_fixpoint.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/contractor/_objs/contractor/contractor_ibex_fwdbwd.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/contractor/_objs/contractor/contractor_ibex_fwdbwd_mt.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/contractor/_objs/contractor/contractor_ibex_polytope.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/contractor/_objs/contractor/contractor_ibex_polytope_mt.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/contractor/_objs/contractor/contractor_id.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/contractor/_objs/contractor/contractor_integer.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/contractor/_objs/contractor/contractor_join.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/contractor/_objs/contractor/contractor_seq.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/contractor/_objs/contractor/contractor_worklist_fixpoint.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/contractor/_objs/contractor/generic_contractor_generator.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/contractor/_objs/contractor_status/contractor_status.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/contractor/_objs/counterexample_refiner/counterexample_refiner.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/optimization/_objs/nlopt_optimizer/nlopt_optimizer.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/solver/_objs/filter_assertion/filter_assertion.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/solver/_objs/config/config.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/solver/_objs/brancher/brancher.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/smt2/_objs/logic/logic.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/smt2/_objs/sort/sort.pic.o
-Wl,-no-whole-archive
-lexternal_Scds_Slibcds
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/util/_objs/ibex_converter/ibex_converter.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/util/_objs/interval/interval.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/util/_objs/if_then_else_eliminator/if_then_else_eliminator.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/util/_objs/interrupt/interrupt.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/util/_objs/nnfizer/nnfizer.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/util/_objs/timer/timer.pic.o
-Wl,-no-whole-archive
-lthird_Uparty_Scom_Ugithub_Uprogschj_Uthreadpool_Slibthread_Upool
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/util/_objs/box/box.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/util/_objs/math/math.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/symbolic/_objs/symbolic/symbolic.pic.o
-Wl,-no-whole-archive
-lthird_Uparty_Scom_Ugithub_Urobotlocomotion_Udrake_Slibdrake_Usymbolic
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/util/_objs/logging/logging.pic.o
-Wl,-no-whole-archive
-lexternal_Scom_Ugoogle_Ugoogletest_Slibgtest_Umain
-lexternal_Scom_Ugoogle_Ugoogletest_Slibgtest
-Wl,-rpath
/usr/local/lib
-L/usr/local/lib
-lnlopt
-pthread
-pthread
-Wl,-rpath
/usr/local/lib
-L/usr/local/lib
-libex
-Wl,-rpath
/usr/local/lib/ibex/3rd
-L/usr/local/lib/ibex/3rd
-lgaol
-lgdtoa
-lultim
-pthread
-pthread