dreal / homebrew-dreal Goto Github PK

homebrew tap for dReal

Shell 55.21% Ruby 44.79%

homebrew-dreal's Introduction

Ubuntu	OS X	Coverage	Builds/UnitTests	Coverity Scan

dReal: An SMT Solver for Nonlinear Theories of the Reals

Please visit http://dreal.cs.cmu.edu for more information.

Download

Please check out our releases page to download latest static binaries.

How to Build

In most cases, running ./build.sh in the top dReal directory should suffice. If not, see below.

Required Packages

C++11-compatible compiler (g++(>=4.8), clang++(>=3.3))
autoconf, automake, bison, cmake, flex, git, libtool, make, pkg-config
ocaml (>=4.01.0), opam, ocaml-findlib, ocaml-batteries (>=2.0)

Documentations

How to use ODE visualization

homebrew-dreal's People

Contributors

Watchers

homebrew-dreal's Issues

Build error on macOS 13: missing python2.7

This is an issue installing robotlocomotion/director/ibex.

However, since they don't accept issue reports, I figured you may still want to be aware, as it impacts installation of dreal:

==> Installing dreal/dreal/dreal dependency: robotlocomotion/director/[email protected]
==> ./waf configure --prefix=/opt/homebrew/Cellar/[email protected]/2.7.4_13 --enable-shared --with-optim --with-solver --with-affine-extend
Last 15 lines from /Users/keri/Library/Logs/Homebrew/[email protected]/01.waf:
2023-04-11 11:34:59 +0000

./waf
configure
--prefix=/opt/homebrew/Cellar/[email protected]/2.7.4_13
--enable-shared
--with-optim
--with-solver
--with-affine-extended
--interval-lib=filib
--lp-lib=clp
--clp-path=/opt/homebrew/opt/clp

env: python2.7: No such file or directory

Need to change .travis.yml

`brew cleanup` removes `/usr/local/opt/dreal` link

Repro steps:

brew remove dreal
brew install https://raw.githubusercontent.com/dreal/homebrew-dreal/feaa4e1c18e7e8395480bbe34c4903c4f2fe05c9/dreal.rb
brew update
brew upgrade dreal

/usr/local/opt/dreal should exist up to this point. But running the following will remove it.

brew cleanup

Apple M1 error

I am not sure if this is the correct repository to post issues, but note https://stackoverflow.com/questions/66702376/issues-when-installing-drake-in-m1-macos for a report of an IBEX issue on Apple M1.

Add macOS-10.15 in CI

travis-ci doesn't have it in their list of supported platforms yet. We will add it when it becomes available.

Release 4.19.10.1

The code is ready, but we will wait until MacOS-10.15 is out.

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

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

Bintray shuts down

See:

Required package CoinUtils not available.

Hi, on vanilla macOS, the installation fails with the following configure error:

checking for COIN-OR package CoinUtils... skipped check via pkg-config, redirect to fallback
checking for COIN-OR package CoinUtils (fallback)... no, dependency coinutils not available
configure: error: Required package CoinUtils not available.

This can be fixed by setting the PKG_CONFIG and PKG_CONFIG_PATH, as suggested here. But it is still a little annoying :)

Too many symbolic links when building Dreal through homebrew

I'm trying to run the Drake install_prereqs script on OSX, but I'm running into issues with the dreal installation through homebrew. Can you help me out?

Running brew install dreal gives:

==> 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.12.3.tar.gz
Already downloaded: /Users/rdeits/Library/Caches/Homebrew/dreal-4.17.12.3.tar.gz
==> bazel build --compilation_mode=opt //:archive
Last 15 lines from /Users/rdeits/Library/Logs/Homebrew/dreal/01.bazel:
//:archive

WARNING: ignoring _JAVA_OPTIONS in environment.
.............
Loading:
Loading: 0 packages loaded
Loading: 0 packages loaded
Loading: 0 packages loaded
Loading: 0 packages loaded
Analyzing: target //:archive (3 packages loaded)
Analyzing: target //:archive (28 packages loaded)
ERROR: /private/tmp/dreal-20180117-3777-1g6dpc1/dreal4-4.17.12.3/dreal/util/BUILD:85:1: no such package '@ibex//': error globbing [include/**]: /private/var/tmp/_bazel_rdeits/4a7526f7ba71fd9d78dce8928e67de17/external/ibex/include/_usr_local_include/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2 (Too many levels of symbolic links) and referenced by '//dreal/util:ibex_converter'
ERROR: Analysis of target '//:archive' failed; build aborted: no such package '@ibex//': error globbing [include/**]: /private/var/tmp/_bazel_rdeits/4a7526f7ba71fd9d78dce8928e67de17/external/ibex/include/_usr_local_include/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2/gphoto2 (Too many levels of symbolic links)
INFO: Elapsed time: 7.810s
FAILED: Build did NOT complete successfully (32 packages loaded)

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

This is on OSX 10.11.6 and Homebrew 1.4.3-51-g3e8b057.