From 0cd830021dd76c9e1711ba581dce37577e7835c4 Mon Sep 17 00:00:00 2001 From: Aren Babikian Date: Wed, 3 Feb 2021 03:16:35 +0100 Subject: fix previous commit --- .../bazel-bin/external/cds/libcds.so-2.params | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100755 Solvers/dreal4/bazel-bin/external/cds/libcds.so-2.params (limited to 'Solvers/dreal4/bazel-bin/external/cds/libcds.so-2.params') diff --git a/Solvers/dreal4/bazel-bin/external/cds/libcds.so-2.params b/Solvers/dreal4/bazel-bin/external/cds/libcds.so-2.params new file mode 100755 index 00000000..0188d382 --- /dev/null +++ b/Solvers/dreal4/bazel-bin/external/cds/libcds.so-2.params @@ -0,0 +1,22 @@ +-shared +-o +bazel-out/k8-opt/bin/external/cds/libcds.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/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 +-pthread -- cgit v1.2.3-54-g00ecf