1 files changed, 25 insertions, 0 deletions

diff --git a/Solvers/dreal4/bazel-bin/external/com_google_googletest/libgtest.so-2.params b/Solvers/dreal4/bazel-bin/external/com_google_googletest/libgtest.so-2.params
new file mode 100755
index 00000000..f4d5de89
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/external/com_google_googletest/libgtest.so-2.params
@@ -0,0 +1,25 @@
+-shared
+-o
+bazel-out/k8-opt/bin/external/com_google_googletest/libgtest.so
+-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/external/com_google_googletest/_objs/gtest/gmock-cardinalities.pic.o
+bazel-out/k8-opt/bin/external/com_google_googletest/_objs/gtest/gmock-internal-utils.pic.o
+bazel-out/k8-opt/bin/external/com_google_googletest/_objs/gtest/gmock-matchers.pic.o
+bazel-out/k8-opt/bin/external/com_google_googletest/_objs/gtest/gmock-spec-builders.pic.o
+bazel-out/k8-opt/bin/external/com_google_googletest/_objs/gtest/gmock.pic.o
+bazel-out/k8-opt/bin/external/com_google_googletest/_objs/gtest/gtest-death-test.pic.o
+bazel-out/k8-opt/bin/external/com_google_googletest/_objs/gtest/gtest-filepath.pic.o
+bazel-out/k8-opt/bin/external/com_google_googletest/_objs/gtest/gtest-matchers.pic.o
+bazel-out/k8-opt/bin/external/com_google_googletest/_objs/gtest/gtest-port.pic.o
+bazel-out/k8-opt/bin/external/com_google_googletest/_objs/gtest/gtest-printers.pic.o
+bazel-out/k8-opt/bin/external/com_google_googletest/_objs/gtest/gtest-test-part.pic.o
+bazel-out/k8-opt/bin/external/com_google_googletest/_objs/gtest/gtest-typed-test.pic.o
+bazel-out/k8-opt/bin/external/com_google_googletest/_objs/gtest/gtest.pic.o
+-pthread