search

dreal / homebrew-dreal

homebrew tap for dReal
0 stars 0 forks source link

Undeclared inclusion(s) in rule '//dreal/util:math' #2

Closed toeklk closed 6 years ago

toeklk commented 6 years ago

OS X version: 10.12.6 XCode Version 9.0 (9A235)

brew doctor
Please note that these warnings are just used to help the Homebrew maintainers
with debugging if you file an issue. If everything you use Homebrew for is
working fine: please don't worry and just ignore them. Thanks!

Warning: Your Homebrew's prefix is not /usr/local.
You can install Homebrew anywhere you want but some bottles (binary packages)
can only be used with a /usr/local prefix and some formulae (packages)
may not build correctly with a non-/usr/local prefix.`
brew install dreal/dreal/dreal
==> Installing dreal from dreal/dreal
==> Using Homebrew-provided fortran compiler.
This may be changed by setting the FC environment variable.
==> Downloading https://github.com/dreal/dreal4/archive/22cea792816d773abb1e521f2823cbb4e895700a.tar.gz
Already downloaded: /Users/kgad/Library/Caches/Homebrew/dreal-4.17.09.1.tar.gz
==> bazel build --compilation_mode=opt //:archive
Last 15 lines from /Users/kgad/Library/Logs/Homebrew/dreal/01.bazel:
____Building...
____[0 / 5] BazelWorkspaceStatusAction stable-status.txt
____[7 / 17] Writing file dreal/package_sharedlib.args
____[10 / 23] Compiling dreal/util/math.cc
ERROR: /private/tmp/dreal-20170921-57886-ng81ea/dreal4-22cea792816d773abb1e521f2823cbb4e895700a/dreal/util/BUILD:86:1: undeclared inclusion(s) in rule '//dreal/util:math':
this rule is missing dependency declarations for the following files included by 'dreal/util/math.cc':
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/math.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/cdefs.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_symbol_aliasing.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_posix_availability.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/Availability.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/AvailabilityInternal.h'.
Target //:archive failed to build
Use --verbose_failures to see the command lines of failed build steps.
____Elapsed time: 26.775s, Critical Path: 0.86s
soonho-tri commented 6 years ago

@toeklk , thanks for the report. Could you give me the output of xcode-select -p?

I just updated dreal/dreal4, could you test the following (building it from source)?

git clone https://github.com/dreal/dreal4
cd dreal4
bazel build //...    # build
bazel test //dreal/examples/...    # run examples

If it works, I'll update dreal formula shortly.

toeklk commented 6 years ago 
xcode-select -p
/Applications/Xcode.app/Contents/Developer
bazel build //...
.................................................................
INFO: Found 249 targets...
ERROR: /private/var/tmp/_bazel_kgad/5dcb02c8fe187d3e5d7cefbf03627ec7/external/drake_symbolic/BUILD:21:1: undeclared inclusion(s) in rule '@drake_symbolic//:drake_symbolic':
this rule is missing dependency declarations for the following files included by 'external/drake_symbolic/symbolic/symbolic_formula_visitor.cc':
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/stdlib.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/Availability.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/AvailabilityInternal.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/_types.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/cdefs.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_symbol_aliasing.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_posix_availability.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/machine/_types.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/i386/_types.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_pthread/_pthread_types.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/wait.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_pid_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_id_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/signal.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/appleapiopts.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/machine/signal.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/i386/signal.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/machine/_mcontext.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/i386/_mcontext.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/mach/machine/_structs.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/mach/i386/_structs.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/machine/types.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/i386/types.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_int8_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_int16_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_int32_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_int64_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_u_int8_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_u_int16_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_u_int32_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_u_int64_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_intptr_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_uintptr_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_pthread/_pthread_attr_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_sigaltstack.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_ucontext.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_sigset_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_size_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_uid_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/resource.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/stdint.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/_types/_uint8_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/_types/_uint16_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/_types/_uint32_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/_types/_uint64_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/_types/_intmax_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/_types/_uintmax_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_timeval.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/machine/endian.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/i386/endian.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_endian.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/libkern/_OSByteOrder.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/libkern/i386/_OSByteOrder.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/alloca.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_ct_rune_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_rune_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_wchar_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_null.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_dev_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_mode_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/wchar.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_mbstate_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/stdio.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_va_list.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/stdio.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_off_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_ssize_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/time.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_clock_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_time_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_timespec.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/_wctype.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_wint_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/_types/_wctype_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/ctype.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/runetype.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/string.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/strings.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/wctype.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/_types/_wctrans_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/limits.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/machine/limits.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/i386/limits.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/i386/_limits.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/syslimits.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/errno.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/errno.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/pthread.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/pthread/pthread_impl.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/pthread/sched.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_pthread/_pthread_cond_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_pthread/_pthread_condattr_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_pthread/_pthread_key_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_pthread/_pthread_mutex_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_pthread/_pthread_mutexattr_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_pthread/_pthread_once_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_pthread/_pthread_rwlock_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_pthread/_pthread_rwlockattr_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_pthread/_pthread_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/pthread/qos.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/qos.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_mach_port_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/locale.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/_locale.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/xlocale.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/_xlocale.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/xlocale/_ctype.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/xlocale/__wctype.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/xlocale/_stdio.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/xlocale/_stdlib.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/xlocale/_string.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/xlocale/_time.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/xlocale/_wchar.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/xlocale/_wctype.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/nl_types.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/types.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_u_char.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_u_short.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_u_int.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_caddr_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_blkcnt_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_blksize_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_gid_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_in_addr_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_in_port_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_ino_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_ino64_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_key_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_nlink_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_useconds_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_suseconds_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_rsize_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_errno_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_fd_def.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_fd_setsize.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_fd_set.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_fd_clr.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_fd_zero.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_fd_isset.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_fd_copy.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_fsblkcnt_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_fsfilcnt_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/_types/_nl_item.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/math.h'.
INFO: Elapsed time: 153.213s, Critical Path: 1.90s
soonho-tri commented 6 years ago

1) Can you share the output of bazel version? 2) Can you add the following line after tools/CROSSTOOL:618 and re-run bazel build //...?

      cxx_builtin_include_directory: "/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/"

3) What do you have when you run ls -l /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/? I think there should be a symbolic link MacOSX10.13.sdk -> MacOSX.sdk.

toeklk commented 6 years ago

On Thu, Sep 21, 2017 at 9:34 PM, Soonho Kong notifications@github.com wrote:

  1. Can you share the output of bazel version?

bazel version Build label: 0.5.4-homebrew Build target: bazel-out/darwin_x86_64-opt/bin/src/main/java/com/google/devtools/build/lib/bazel/BazelServer_deploy.jar Build time: Fri Aug 25 16:55:29 2017 (1503680129) Build timestamp: 1503680129 Build timestamp as int: 1503680129

  1. Can you add the following line after tools/CROSSTOOL:618 and re-run bazel build //...?

    cxx_builtin_include_directory: "/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/"

[kgad@FM00022 ~/git/dreal4]$ emacs tools/CROSSTOOL [kgad@FM00022 ~/git/dreal4]$ bazel build //... INFO: Found 249 targets... ERROR: /Users/kgad/git/dreal4/dreal/util/BUILD:17:1: C++ compilation of rule '//dreal/util:box' failed (Exit 1). In file included from dreal/util/box.cc:1: In file included from ./dreal/util/box.h:9: In file included from external/ibex/include/_Users_kgad_homebrew_Cellar_ibex_2.5.1_5_include/./ibex.h:15: In file included from external/ibex/include/_Users_kgad_homebrew_Cellar_ibex_2.5.1_5_include_ibex/ibex_LinearizerAffine2.h:15: In file included from external/ibex/include/_Users_kgad_homebrew_Cellar_ibex_2.5.1_5_include_ibex/ibex_Linearizer.h:14: external/ibex/include/_Users_kgad_homebrew_Cellar_ibex_2.5.1_5_include_ibex/ibex_LinearSolver.h:47:10: fatal error: 'ClpSimplex.hpp' file not found

include "ClpSimplex.hpp"

^~~~ 1 error generated. INFO: Elapsed time: 5.876s, Critical Path: 3.48s

  1. What do you have when you run ls -l /Applications/Xcode.app/ Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/? I think there should be a symbolic link MacOSX10.13.sdk -> MacOSX.sdk.

ls -l /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs total 8 drwxr-xr-x 5 root wheel 170 Nov 22 1970 MacOSX.sdk lrwxr-xr-x 1 root wheel 10 Sep 20 18:20 MacOSX10.13.sdk -> MacOSX.sdk

soonho-tri commented 6 years ago

OK. I think the previous issue is fixed by adding cxx_builtin_include_directory: "/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/" but there is another issue.

Can you provide the followings?

toeklk commented 6 years ago

On Thu, Sep 21, 2017 at 10:01 PM, Soonho Kong notifications@github.com wrote:

OK. I think the previous issue is fixed by adding cxx_builtin_include_directory: "/Applications/Xcode.app/Contents/Developer/Platforms/ MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/" but there is another issue.

Can you provide the followings?

  • The output of pkg-config clp --cflags

-I/Users/kgad/homebrew/Cellar/clp/1.16.7/include/clp/coin
-I/Users/kgad/homebrew/Cellar/coinutils/2.10.10_1/include/coinutils/coin
[kgad@FM00022 ~/git/dreal4]$
bazel build //dreal/util:box_test -s```

   - The output of bazel build //dreal/util:box_test -s

 bazel build //dreal/util:box_test -s
INFO: Found 1 target...
>>>> # //dreal/symbolic:symbolic [action 'Compiling
dreal/symbolic/symbolic.cc']
(cd
/private/var/tmp/_bazel_kgad/5dcb02c8fe187d3e5d7cefbf03627ec7/execroot/dreal
&& \
exec env - \

PATH=/Users/kgad/install/bin:/Users/kgad/homebrew/bin:/Users/kgad/bin:/Users/kgad/Library/Haskell/bin:/usr/local/bin:/usr/bin:/bin:/usr/sbin:/sbin:/Library/TeX/texbin \ PWD=/proc/self/cwd \ TMPDIR=/var/folders/7l/tb7kwy9n69q713v581nmnqbm0000gn/T/ \ tools/third_party/bazel/tools/cpp/osx_cc_wrapper.sh -msse2 '-mfpmath=sse' '-D_FORTIFY_SOURCE=1' -fstack-protector -fcolor-diagnostics -Wall -Wthread-safety -Wself-assign -fno-omit-frame-pointer -g0 -O2 -DNDEBUG -ffunction-sections -fdata-sections '-std=c++14' -MD -MF bazel-out/local_darwin-opt/bin/dreal/symbolic/_objs/symbolic/dreal/symbolic/symbolic.d '-frandom-seed=bazel-out/local_darwin-opt/bin/dreal/symbolic/_objs/symbolic/dreal/symbolic/symbolic.o' -iquote . -iquote bazel-out/local_darwin-opt/genfiles -iquote external/drake_symbolic -iquote bazel-out/local_darwin-opt/genfiles/external/drake_symbolic -iquote external/bazel_tools -iquote bazel-out/local_darwin-opt/genfiles/external/bazel_tools -isystem external/bazel_tools/tools/cpp/gcc3 '-Werror=all' '-Werror=inconsistent-missing-override' '-Werror=sign-compare' '-Werror=non-virtual-dtor' '-Werror=return-stack-address' -no-canonical-prefixes -Wno-builtin-macro-redefined '-DDATE="redacted"' '-DTIMESTAMP="redacted"' '-DTIME="redacted"' -c dreal/symbolic/symbolic.cc -o bazel-out/local_darwin-opt/bin/dreal/symbolic/_objs/symbolic/dreal/symbolic/symbolic.o)

//dreal/util:math [action 'Compiling dreal/util/math.cc']

(cd /private/var/tmp/_bazel_kgad/5dcb02c8fe187d3e5d7cefbf03627ec7/execroot/dreal && \ exec env - \

PATH=/Users/kgad/install/bin:/Users/kgad/homebrew/bin:/Users/kgad/bin:/Users/kgad/Library/Haskell/bin:/usr/local/bin:/usr/bin:/bin:/usr/sbin:/sbin:/Library/TeX/texbin \ PWD=/proc/self/cwd \ TMPDIR=/var/folders/7l/tb7kwy9n69q713v581nmnqbm0000gn/T/ \ tools/third_party/bazel/tools/cpp/osx_cc_wrapper.sh -msse2 '-mfpmath=sse' '-D_FORTIFY_SOURCE=1' -fstack-protector -fcolor-diagnostics -Wall -Wthread-safety -Wself-assign -fno-omit-frame-pointer -g0 -O2 -DNDEBUG -ffunction-sections -fdata-sections '-std=c++14' -MD -MF bazel-out/local_darwin-opt/bin/dreal/util/_objs/math/dreal/util/math.d '-frandom-seed=bazel-out/local_darwin-opt/bin/dreal/util/_objs/math/dreal/util/math.o' -iquote . -iquote bazel-out/local_darwin-opt/genfiles -iquote external/bazel_tools -iquote bazel-out/local_darwin-opt/genfiles/external/bazel_tools -isystem external/bazel_tools/tools/cpp/gcc3 '-Werror=all' '-Werror=inconsistent-missing-override' '-Werror=sign-compare' '-Werror=non-virtual-dtor' '-Werror=return-stack-address' -no-canonical-prefixes -Wno-builtin-macro-redefined '-DDATE="redacted"' '-DTIMESTAMP="redacted"' '-DTIME="redacted"' -c dreal/util/math.cc -o bazel-out/local_darwin-opt/bin/dreal/util/_objs/math/dreal/util/math.o)

@ibex//:ibex [action 'Linking external/ibex/libibex.so']

(cd /private/var/tmp/_bazel_kgad/5dcb02c8fe187d3e5d7cefbf03627ec7/execroot/dreal && \ exec env - \

PATH=/Users/kgad/install/bin:/Users/kgad/homebrew/bin:/Users/kgad/bin:/Users/kgad/Library/Haskell/bin:/usr/local/bin:/usr/bin:/bin:/usr/sbin:/sbin:/Library/TeX/texbin \ PWD=/proc/self/cwd \ TMPDIR=/var/folders/7l/tb7kwy9n69q713v581nmnqbm0000gn/T/ \ tools/third_party/bazel/tools/cpp/osx_cc_wrapper.sh -shared -o bazel-out/local_darwin-opt/bin/external/ibex/libibex.so bazel-out/local_darwin-opt/bin/external/ibex/_objs/ibex/external/ibex/empty.pic.o -L/Users/kgad/homebrew/Cellar/ibex/2.5.1_5/lib -L/usr/local/lib -libex -lClpSolver -lClp -lCoinUtils -lbz2 -lz -lm -headerpad_max_install_names -lstdc++ -undefined dynamic_lookup -no-canonical-prefixes)

//dreal/util:math [action 'Linking dreal/util/libmath.a']

(cd /private/var/tmp/_bazel_kgad/5dcb02c8fe187d3e5d7cefbf03627ec7/execroot/dreal && \ exec env - \

PATH=/Users/kgad/install/bin:/Users/kgad/homebrew/bin:/Users/kgad/bin:/Users/kgad/Library/Haskell/bin:/usr/local/bin:/usr/bin:/bin:/usr/sbin:/sbin:/Library/TeX/texbin \ PWD=/proc/self/cwd \ TMPDIR=/var/folders/7l/tb7kwy9n69q713v581nmnqbm0000gn/T/ \ /usr/bin/libtool -static -s -o bazel-out/local_darwin-opt/bin/dreal/util/libmath.a bazel-out/local_darwin-opt/bin/dreal/util/_objs/math/dreal/util/math.o) ERROR: /private/var/tmp/_bazel_kgad/5dcb02c8fe187d3e5d7cefbf03627ec7/external/ibex/BUILD:5:1: Linking of rule '@ibex//:ibex' failed (Exit 1). ld: library not found for -lClpSolver clang: error: linker command failed with exit code 1 (use -v to see invocation) Target //dreal/util:box_test failed to build Use --verbose_failures to see the command lines of failed build steps. INFO: Elapsed time: 0.563s, Critical Path: 0.35s

soonho-tri commented 6 years ago

I think I figure out the problems. I'll ping you when I fix them.

soonho-tri commented 6 years ago

Please try:

brew upgrade
brew install dreal/dreal/dreal
toeklk commented 6 years ago 
==> Upgrading fontconfig 
==> Downloading https://www.freedesktop.org/software/fontconfig/release/fontconfig-2.12.6.tar.bz2

curl: (35) Server aborted the SSL handshake
Error: Failed to download resource "fontconfig"
Download failed: https://www.freedesktop.org/software/fontconfig/release/fontconfig-2.12.6.tar.bz2

Seems like freedesktop.org is down for the last couple of hours, will try later again. Thx for your time!

toeklk commented 6 years ago

hi @soonho-tri

The bad news (after running brew upgrade, which now works fine):

[kgad@FM00022 ~]$  
 brew install dreal/dreal/dreal
==> Installing dreal from dreal/dreal
==> Using Homebrew-provided fortran compiler.
This may be changed by setting the FC environment variable.
==> Downloading https://github.com/dreal/dreal4/archive/a3c2f845ceb1c2b1490163508d1a687c8e6bd351.tar.gz
Already downloaded: /Users/kgad/Library/Caches/Homebrew/dreal-4.17.09.2.tar.gz
==> bazel build --compilation_mode=opt //:archive
Last 15 lines from /Users/kgad/Library/Logs/Homebrew/dreal/01.bazel:
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_fd_setsize.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_fd_set.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_fd_clr.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_fd_zero.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_fd_isset.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_fd_copy.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_fsblkcnt_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/sys/_types/_fsfilcnt_t.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/_types/_nl_item.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/math.h'
  '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk/usr/include/assert.h'.
____Building complete.
Target //:archive failed to build
Use --verbose_failures to see the command lines of failed build steps.
____Elapsed time: 34.764s, Critical Path: 3.29s

If reporting this issue please do so at (not Homebrew/brew or Homebrew/core):
https://github.com/dreal/homebrew-dreal/issues

These open issues may also help:
Undeclared inclusion(s) in rule '//dreal/util:math' https://github.com/dreal/homebrew-dreal/issues/2

The good news:

[kgad@FM00022 ~/git/dreal4]$  
 bazel build //...   
..............
INFO: Found 249 targets...
INFO: Elapsed time: 657.207s, Critical Path: 41.14s
[kgad@FM00022 ~/git/dreal4]$  
 bazel test //dreal/examples/...
INFO: Found 6 targets and 3 test targets...
INFO: Elapsed time: 4.963s, Critical Path: 1.38s
//dreal/examples:check_lyapunov_cpplint                                  PASSED in 1.4s
//dreal/examples:sat_checker_cpplint                                     PASSED in 1.4s
//dreal/examples:synthesize_lyapunov_cpplint                             PASSED in 1.4s

Executed 3 out of 3 tests: 3 tests pass.
soonho-tri commented 6 years ago

I think we're almost there. bazel build works because we manually added .../MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk to tools/CROSSTOOLS.

1) What do you have when you run clang++ -v? 2) Is it the case the InstalledDir from 1) is different from the output of xcode-select -p? 3) If so, please try sudo xcode-select -r which resets it to the default command line tools path (it was already the case according to your previous output of xcode-select -p, but let's try it). 4) Then, check the output of clang++ -v and see InstalledDir is changed. 5) If it's changed, try to do brew install dreal again.

toeklk commented 6 years ago

On Fri, Sep 22, 2017 at 6:03 PM, Soonho Kong notifications@github.com wrote:

I think we're almost there. bazel build works because we manually added .../MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk to tools/CROSSTOOLS.

  1. What do you have when you run clang++ -v?

    clang++ -v Apple LLVM version 9.0.0 (clang-900.0.37) Target: x86_64-apple-darwin16.7.0 Thread model: posix InstalledDir: /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin

  2. Is it the case the InstalledDir from 1) is different from the output of xcode-select -p?

    Yes it is

xcode-select -p /Applications/Xcode.app/Contents/Developer

  1. If so, please try sudo xcode-select -r which resets it to the default command line tools path (it was already the case according to your previous output of xcode-select -p, but let's try it).
  2. Then, check the output of clang++ -v and see InstalledDir is changed.

No, it didn't change (but it looks like the former is a subdirectory from the latter )

soonho-tri commented 6 years ago

That looks normal and same as what I have. I'm wondering why clang++ hits this non-default ...MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk instead of the one we saw above.

1) Have you installed xcode command-line tools? (you can install by running xcode-select --install) I thought that it's recommended (or required) by homebrew.

2) Could you share your output of clang++ -print-search-dirs?

3) Can you check you do have the header files where we expect? For example, do ls /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/include/c++/v1/iostream should not give you No such file or directory.

toeklk commented 6 years ago

On Fri, Sep 22, 2017 at 6:36 PM, Soonho Kong notifications@github.com wrote:

That looks normal and same as what I have. I'm wondering why clang++ hits this non-default ...MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk instead of the one we saw above.

1.

Have you installed xcode command-line tools? (you can install by running xcode-select --install) I thought that it's recommended (or required) by homebrew.

Hmm, I though I had these, but it seems I did not, or they got lost in an upgrade. The output changes, but still 'no cigar'

[kgad@FM00022 ~]$
 xcode-select --install
xcode-select: note: install requested for command line developer tools
[kgad@FM00022 ~]$
 brew install dreal/dreal/dreal
Updating Homebrew...
==> Auto-updated Homebrew!
Updated Homebrew from 064c52efc4 to c4b6dbf653.
Updated 1 tap (homebrew/core).
==> Updated Formulae
avro-tools               elvish                   libraw
orientdb                 overmind                 sngrep
zsh

==> Installing dreal from dreal/dreal
==> Using Homebrew-provided fortran compiler.
This may be changed by setting the FC environment variable.
==> Downloading
https://github.com/dreal/dreal4/archive/a3c2f845ceb1c2b1490163508d1a687c8e6bd351.tar.gz
Already downloaded:
/Users/kgad/Library/Caches/Homebrew/dreal-4.17.09.2.tar.gz
==> bazel build --compilation_mode=opt //:archive
Last 15 lines from /Users/kgad/Library/Logs/Homebrew/dreal/01.bazel:
      Running (processwrapper-sandbox):
        Compiling dreal/solver/evaluator_cell.cc, 17 s
        Compiling dreal/solver/context.cc, 15 s
        Compiling dreal/solver/evaluator.cc, 10 s
ERROR:
/private/tmp/dreal-20170922-19134-1acnio8/dreal4-a3c2f845ceb1c2b1490163508d1a687c8e6bd351/dreal/solver/BUILD:26:1:
C++ compilation of rule '//dreal/solver:solver' failed (Exit 1).
In file included from dreal/solver/context.cc:1:
In file included from ./dreal/solver/context.h:3:
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/include/c++/v1/memory:632:10:
fatal error: 'new' file not found
#include <new>
         ^~~~~
1 error generated.
____Building complete.
Target //:archive failed to build
Use --verbose_failures to see the command lines of failed build steps.
____Elapsed time: 414.917s, Critical Path: 36.59s

If reporting this issue please do so at (not Homebrew/brew or
Homebrew/core):
https://github.com/dreal/homebrew-dreal/issues

These open issues may also help:
Undeclared inclusion(s) in rule '//dreal/util:math'
https://github.com/dreal/homebrew-dreal/issues/2

1.

Could you share your output of clang++ -print-search-dirs?

[kgad@FM00022 ~]$ clang++ -print-search-dirs programs: =/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin libraries: =/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/lib/clang/9.0.0

1.

Can you check you do have the header files where we expect? For example, do ls /Applications/Xcode.app/Contents/Developer/Toolchains/ XcodeDefault.xctoolchain/usr/include/c++/v1/iostream should not give you No such file or directory.

Hmm, this is weird. I specifically added the check for 'new' (see error above) which turns out to be in place?

[kgad@FM00022 ~]$
 ls
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/include/c++/v1/iostream
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/include/c++/v1/iostream
[kgad@FM00022 ~]$
 ls
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/include/c++/v1/new

/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/include/c++/v1/new
soonho-tri commented 6 years ago

Can you check if you can compile a simple program using <memory> header with clang++? (i.e. std::shared_ptr example in http://en.cppreference.com/w/cpp/memory/shared_ptr)?

If it works, please share the output from echo | clang++ -E -v -.

toeklk commented 6 years ago

On Fri, Sep 22, 2017 at 7:56 PM, Soonho Kong notifications@github.com wrote:

Can you check if you can compile a simple program using header with clang++? (i.e. std::shared_ptr example in http://en.cppreference.com/w/cpp/memory/shared_ptr)?

That particular program generates an error (version incompatibility? - my C++ skills are quite rusty to say the least), but fi.

[kgad@FM00022 ~]$
 cat /tmp/test2.cpp
#include <iostream>
#include <memory>

int main()
{
  std::cout << "Hello World\n" << std::endl;

  int a = 5;
  std::shared_ptr<int> sa = std::make_shared<int>(a);
  std::shared_ptr<int> b = sa;

  std::cout << sa.get() << "   " << b.get() << std::endl;

  return 0;
}
[kgad@FM00022 ~]$
 c++ /tmp/test2.cpp
[kgad@FM00022 ~]$
 ./a.out
Hello World

0x7fbf30402628   0x7fbf30402628

works fine

If it works, please share the output from echo | clang++ -E -v -.

echo | clang++ -E -v -
Apple LLVM version 9.0.0 (clang-900.0.37)
Target: x86_64-apple-darwin16.7.0
Thread model: posix
InstalledDir:
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin
"/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/clang"
-cc1 -triple x86_64-apple-macosx10.12.0 -Wdeprecated-objc-isa-usage
-Werror=deprecated-objc-isa-usage -E -disable-free -disable-llvm-verifier
-discard-value-names -main-file-name - -mrelocation-model pic -pic-level 2
-mthread-model posix -mdisable-fp-elim -fno-strict-return -masm-verbose
-munwind-tables -target-cpu penryn -target-linker-version 302.3 -v
-dwarf-column-info -debugger-tuning=lldb -resource-dir
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/lib/clang/9.0.0
-fdebug-compilation-dir /Users/kgad -ferror-limit 19 -fmessage-length 177
-stack-protector 1 -fblocks -fobjc-runtime=macosx-10.12.0
-fencode-extended-block-signature -fmax-type-align=16
-fdiagnostics-show-option -fcolor-diagnostics -o - -x c -
clang -cc1 version 9.0.0 (clang-900.0.37) default target
x86_64-apple-darwin16.7.0
ignoring nonexistent directory "/usr/local/include"
#include "..." search starts here:
#include <...> search starts here:
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/lib/clang/9.0.0/include
/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/include
/usr/include
/System/Library/Frameworks (framework directory)
/Library/Frameworks (framework directory)
End of search list.
# 1 "<stdin>"
# 1 "<built-in>" 1
# 1 "<built-in>" 3
# 331 "<built-in>" 3
# 1 "<command line>" 1
# 1 "<built-in>" 2
# 1 "<stdin>" 2
soonho-tri commented 6 years ago

I had a machine which can reproduce the problem. Following http://drake.mit.edu/faq.html#why-does-build-fail-with-this-rule-is-missing-dependency-declarations-on-macos, I was able to fix the problem on the machine. In short, run the following and restart the machine:

xcode-select --install
xcode-select -p
sudo xcode-select --reset

FYI, echo | clang++ -x c++ -E -v - should not show ...Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.13.sdk... in the search list.

toeklk commented 6 years ago

Sorry for the delay: The first attempt "ended with"/"resulted in" a OS X crash which completely destroyed my root filesystem to the point that only diskwarrior managed to repair it :-/ (I presume the crash was not caused by the compilation process)

Today, I finally dared to try again, resulting first in 2 what seemed 'random' errors (can find flex, while it is clearly installed in /usr/bin ), next 

____[73 / 84] Compiling dreal/util/box.cc
ERROR: /private/tmp/dreal-20171004-22124-1n9am4d/dreal4-4.17.09.4/dreal/solver/BUILD:78:1: C++ compilation of rule '//dreal/solver:assertion_filter' failed: I/O exception during sandboxed execution: /private/var/tmp/_bazel_kgad/84cd23dcec3a87da1c7cc7260dcf5ea5/bazel-sandbox/8740653565931277125/execroot/dreal/external/ibex/include/_Users_kgad_homebrew_include/btf.h (Input/output error).

But finally

 brew install dreal/dreal/dreal
Updating Homebrew...
==> Auto-updated Homebrew!
Updated 2 taps (caskroom/cask, homebrew/core).
==> Updated Formulae
geth

==> Installing dreal from dreal/dreal
==> Using Homebrew-provided fortran compiler.
This may be changed by setting the FC environment variable.
==> Downloading https://github.com/dreal/dreal4/archive/4.17.09.4.tar.gz
Already downloaded: /Users/kgad/Library/Caches/Homebrew/dreal-4.17.09.4.tar.gz
==> bazel build --compilation_mode=opt //:archive
==> tar xf bazel-bin/archive.tar.gz
Warning: dreal/dreal/dreal dependency gcc was built with a different C++ standard
library (libstdc++ from clang). This may cause problems at runtime.
🍺  /Users/kgad/homebrew/Cellar/dreal/4.17.09.4: 24 files, 2.2MB, built in 6 minutes 47 seconds