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 --- .../external/picosat/_objs/picosat/picosat.pic.d | 51 +++++++++++++++++++++ .../external/picosat/_objs/picosat/picosat.pic.o | Bin 0 -> 120824 bytes .../bazel-bin/external/picosat/libpicosat.so | Bin 0 -> 83000 bytes .../external/picosat/libpicosat.so-2.params | 12 +++++ 4 files changed, 63 insertions(+) create mode 100755 Solvers/dreal4/bazel-bin/external/picosat/_objs/picosat/picosat.pic.d create mode 100755 Solvers/dreal4/bazel-bin/external/picosat/_objs/picosat/picosat.pic.o create mode 100755 Solvers/dreal4/bazel-bin/external/picosat/libpicosat.so create mode 100755 Solvers/dreal4/bazel-bin/external/picosat/libpicosat.so-2.params (limited to 'Solvers/dreal4/bazel-bin/external/picosat') diff --git a/Solvers/dreal4/bazel-bin/external/picosat/_objs/picosat/picosat.pic.d b/Solvers/dreal4/bazel-bin/external/picosat/_objs/picosat/picosat.pic.d new file mode 100755 index 00000000..db9c7615 --- /dev/null +++ b/Solvers/dreal4/bazel-bin/external/picosat/_objs/picosat/picosat.pic.d @@ -0,0 +1,51 @@ +bazel-out/k8-opt/bin/external/picosat/_objs/picosat/picosat.pic.o: \ + external/picosat/picosat.c /usr/include/stdc-predef.h \ + /usr/include/stdlib.h /usr/include/bits/libc-header-start.h \ + /usr/include/features.h /usr/include/sys/cdefs.h \ + /usr/include/bits/wordsize.h /usr/include/bits/long-double.h \ + /usr/include/gnu/stubs.h /usr/include/gnu/stubs-64.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/include/stddef.h \ + /usr/include/bits/waitflags.h /usr/include/bits/waitstatus.h \ + /usr/include/bits/floatn.h /usr/include/bits/floatn-common.h \ + /usr/include/sys/types.h /usr/include/bits/types.h \ + /usr/include/bits/timesize.h /usr/include/bits/typesizes.h \ + /usr/include/bits/time64.h /usr/include/bits/types/clock_t.h \ + /usr/include/bits/types/clockid_t.h /usr/include/bits/types/time_t.h \ + /usr/include/bits/types/timer_t.h /usr/include/bits/stdint-intn.h \ + /usr/include/endian.h /usr/include/bits/endian.h \ + /usr/include/bits/endianness.h /usr/include/bits/byteswap.h \ + /usr/include/bits/uintn-identity.h /usr/include/sys/select.h \ + /usr/include/bits/select.h /usr/include/bits/types/sigset_t.h \ + /usr/include/bits/types/__sigset_t.h \ + /usr/include/bits/types/struct_timeval.h \ + /usr/include/bits/types/struct_timespec.h /usr/include/bits/select2.h \ + /usr/include/bits/pthreadtypes.h /usr/include/bits/thread-shared-types.h \ + /usr/include/bits/pthreadtypes-arch.h /usr/include/bits/struct_mutex.h \ + /usr/include/bits/struct_rwlock.h /usr/include/alloca.h \ + /usr/include/bits/stdlib-bsearch.h /usr/include/bits/stdlib-float.h \ + /usr/include/bits/stdlib.h /usr/include/stdio.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/include/stdarg.h \ + /usr/include/bits/types/__fpos_t.h /usr/include/bits/types/__mbstate_t.h \ + /usr/include/bits/types/__fpos64_t.h /usr/include/bits/types/__FILE.h \ + /usr/include/bits/types/FILE.h /usr/include/bits/types/struct_FILE.h \ + /usr/include/bits/stdio_lim.h /usr/include/bits/sys_errlist.h \ + /usr/include/bits/stdio.h /usr/include/bits/stdio2.h \ + /usr/include/string.h /usr/include/bits/types/locale_t.h \ + /usr/include/bits/types/__locale_t.h /usr/include/strings.h \ + /usr/include/bits/strings_fortified.h \ + /usr/include/bits/string_fortified.h /usr/include/assert.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/include/limits.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/include/syslimits.h \ + /usr/include/limits.h /usr/include/bits/posix1_lim.h \ + /usr/include/bits/local_lim.h /usr/include/linux/limits.h \ + /usr/include/bits/posix2_lim.h /usr/include/ctype.h \ + /usr/lib/gcc/x86_64-redhat-linux/10/include/stdint.h \ + /usr/include/stdint.h /usr/include/bits/wchar.h \ + /usr/include/bits/stdint-uintn.h external/picosat/picosat.h \ + /usr/include/sys/time.h /usr/include/sys/resource.h \ + /usr/include/bits/resource.h /usr/include/bits/types/struct_rusage.h \ + /usr/include/sys/unistd.h /usr/include/unistd.h \ + /usr/include/bits/posix_opt.h /usr/include/bits/environments.h \ + /usr/include/bits/confname.h /usr/include/bits/getopt_posix.h \ + /usr/include/bits/getopt_core.h /usr/include/bits/unistd.h \ + /usr/include/bits/unistd_ext.h diff --git a/Solvers/dreal4/bazel-bin/external/picosat/_objs/picosat/picosat.pic.o b/Solvers/dreal4/bazel-bin/external/picosat/_objs/picosat/picosat.pic.o new file mode 100755 index 00000000..7eedd2f3 Binary files /dev/null and b/Solvers/dreal4/bazel-bin/external/picosat/_objs/picosat/picosat.pic.o differ diff --git a/Solvers/dreal4/bazel-bin/external/picosat/libpicosat.so b/Solvers/dreal4/bazel-bin/external/picosat/libpicosat.so new file mode 100755 index 00000000..a2a9c946 Binary files /dev/null and b/Solvers/dreal4/bazel-bin/external/picosat/libpicosat.so differ diff --git a/Solvers/dreal4/bazel-bin/external/picosat/libpicosat.so-2.params b/Solvers/dreal4/bazel-bin/external/picosat/libpicosat.so-2.params new file mode 100755 index 00000000..064c78fb --- /dev/null +++ b/Solvers/dreal4/bazel-bin/external/picosat/libpicosat.so-2.params @@ -0,0 +1,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 -- cgit v1.2.3-54-g00ecf