-o
bazel-out/k8-opt/bin/dreal/dreal
-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/_objs/dreal/dreal_main.pic.o
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/dr/_objs/dr/driver.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/dr/_objs/dr/run.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/dr/_objs/dr/parser.yy.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/dr/_objs/dr/scanner.ll.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/smt2/_objs/smt2/driver.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/smt2/_objs/smt2/run.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/smt2/_objs/smt2/parser.yy.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/smt2/_objs/smt2/scanner.ll.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/smt2/_objs/term/term.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
-Wl,--start-lib
bazel-out/k8-opt/bin/external/picosat/_objs/picosat/picosat.pic.o
-Wl,--end-lib
-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/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
-Wl,--start-lib
bazel-out/k8-opt/bin/external/cds/_objs/cds/dhp.pic.o
bazel-out/k8-opt/bin/external/cds/_objs/cds/dllmain.pic.o
bazel-out/k8-opt/bin/external/cds/_objs/cds/hp.pic.o
bazel-out/k8-opt/bin/external/cds/_objs/cds/init.pic.o
bazel-out/k8-opt/bin/external/cds/_objs/cds/thread_data.pic.o
bazel-out/k8-opt/bin/external/cds/_objs/cds/topology_hpux.pic.o
bazel-out/k8-opt/bin/external/cds/_objs/cds/topology_linux.pic.o
bazel-out/k8-opt/bin/external/cds/_objs/cds/topology_osx.pic.o
bazel-out/k8-opt/bin/external/cds/_objs/cds/urcu_gp.pic.o
bazel-out/k8-opt/bin/external/cds/_objs/cds/urcu_sh.pic.o
-Wl,--end-lib
-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
-Wl,--start-lib
bazel-out/k8-opt/bin/third_party/com_github_progschj_threadpool/_objs/thread_pool/ThreadPool.pic.o
-Wl,--end-lib
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/symbolic/_objs/prefix_printer/prefix_printer.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/util/_objs/string_to_interval/string_to_interval.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/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
-Wl,--start-lib
bazel-out/k8-opt/bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_environment.pic.o
bazel-out/k8-opt/bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_expression.pic.o
bazel-out/k8-opt/bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_expression_cell.pic.o
bazel-out/k8-opt/bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_expression_visitor.pic.o
bazel-out/k8-opt/bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_formula.pic.o
bazel-out/k8-opt/bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_formula_cell.pic.o
bazel-out/k8-opt/bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_formula_visitor.pic.o
bazel-out/k8-opt/bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_variable.pic.o
bazel-out/k8-opt/bin/third_party/com_github_robotlocomotion_drake/_objs/drake_symbolic/symbolic_variables.pic.o
-Wl,--end-lib
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/util/_objs/filesystem/filesystem.pic.o
-Wl,-no-whole-archive
-Wl,-whole-archive
bazel-out/k8-opt/bin/dreal/util/_objs/logging/logging.pic.o
-Wl,-no-whole-archive
-Wl,-rpath
/usr/local/lib
-L/usr/local/lib
-lnlopt
-pthread
-pthread
-L/usr/lib/x86_64-linux-gnu
-lgmpxx
-lgmp
-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