Solvers/dreal4/bazel-bin/external/picosat/libpicosat.so-2.params


1
2
3
4
5
6
7
8
9
10
11
12

-shared
-o
bazel-out/k8-opt/bin/external/picosat/libpicosat.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/picosat/_objs/picosat/picosat.pic.o