1 files changed, 13 insertions, 0 deletions
diff --git a/Solvers/dreal4/bazel-bin/third_party/com_github_progschj_threadpool/libthread_pool.so-2.params b/Solvers/dreal4/bazel-bin/third_party/com_github_progschj_threadpool/libthread_pool.so-2.params
new file mode 100755
index 00000000..75ee9679
--- /dev/null
+++ b/Solvers/dreal4/bazel-bin/third_party/com_github_progschj_threadpool/libthread_pool.so-2.params
@@ -0,0 +1,13 @@
+-shared
+-o
+bazel-out/k8-opt/bin/third_party/com_github_progschj_threadpool/libthread_pool.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/third_party/com_github_progschj_threadpool/_objs/thread_pool/ThreadPool.pic.o
+-pthread

diff --git a/Solvers/dreal4/bazel-bin/third_party/com_github_progschj_threadpool/libthread_pool.so-2.params b/Solvers/dreal4/bazel-bin/third_party/com_github_progschj_threadpool/libthread_pool.so-2.params new file mode 100755 index 00000000..75ee9679 --- /dev/null +++ b/Solvers/dreal4/bazel-bin/third_party/com_github_progschj_threadpool/libthread_pool.so-2.params
@@ -0,0 +1,13 @@
	1	-shared
	2	-o
	3	bazel-out/k8-opt/bin/third_party/com_github_progschj_threadpool/libthread_pool.so
	4	-fuse-ld=gold
	5	-Wl,-no-as-needed
	6	-Wl,-z,relro,-z,now
	7	-B/usr/bin
	8	-pass-exit-codes
	9	-lstdc++
	10	-lm
	11	-Wl,--gc-sections
	12	bazel-out/k8-opt/bin/third_party/com_github_progschj_threadpool/_objs/thread_pool/ThreadPool.pic.o
	13	-pthread