1 files changed, 44 insertions, 0 deletions

diff --git a/Solvers/dreal4/bazel-bin/dreal/util/interval_test-2.params b/Solvers/dreal4/bazel-bin/dreal/util/interval_test-2.params
new file mode 100755
index 00000000..e8fa2a58
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/dreal/util/interval_test-2.params
@@ -0,0 +1,44 @@
+-o
+bazel-out/k8-opt/bin/dreal/util/interval_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/util/_objs/interval_test/interval_test.pic.o
+-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/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,-whole-archive
+bazel-out/k8-opt/bin/dreal/util/_objs/logging/logging.pic.o
+-Wl,-no-whole-archive
+-lthird_Uparty_Scom_Ugithub_Urobotlocomotion_Udrake_Slibdrake_Usymbolic
+-lexternal_Scom_Ugoogle_Ugoogletest_Slibgtest_Umain
+-lexternal_Scom_Ugoogle_Ugoogletest_Slibgtest
+-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