2.6.0 build failure on macOS

[ilovezfs]

==> brew install --verbose --build-bottle ibex
==> FAILED
/usr/bin/sandbox-exec -f /tmp/homebrew20171009-91456-1hz5l7u.sb nice /System/Library/Frameworks/Ruby.framework/Versions/2.3/usr/bin/ruby -W0 -I /usr/local/Homebrew/Library/Homebrew -- /usr/local/Homebrew/Library/Homebrew/build.rb /usr/local/Homebrew/Library/Taps/homebrew/homebrew-core/Formula/ibex.rb --build-bottle --verbose
==> Downloading https://github.com/ibex-team/ibex-lib/archive/ibex-2.6.0.tar.gz
Already downloaded: /Users/brew/Library/Caches/Homebrew/ibex-2.6.0.tar.gz
==> Verifying ibex-2.6.0.tar.gz checksum
tar xzf /Users/brew/Library/Caches/Homebrew/ibex-2.6.0.tar.gz
==> ./waf configure --prefix=/usr/local/Cellar/ibex/2.6.0 --enable-shared --with-optim --optim-lib=soplex
waf [commands] [options]

Main commands (example: ./waf build -j4)
  benchmarks: run the benchmarks
  build     : executes the build
  check     : run build, install and utest
  clean     : cleans the project
  configure : configures the project
  dist      : creates an archive containing the project source code
  distcheck : checks if the project compiles (tarball from 'dist')
  distclean : removes the build directory
  install   : installs the targets on the system
  list      : lists the targets to execute
  step      : executes tasks in a step-by-step fashion, for debugging
  uninstall : removes the targets installed
  utest     : run the unitary tests

Options:
  --version             show program's version number and exit
  -h, --help            show this help message and exit
  -c COLORS, --color=COLORS
                        whether to use colors (yes/no/auto) [default: auto]
  -j JOBS, --jobs=JOBS  amount of parallel jobs (3)
  -k, --keep            continue despite errors (-kk to try harder)
  -v, --verbose         verbosity level -v -vv or -vvv [default: 0]
  --zones=ZONES         debugging zones (task_gen, deps, tasks, etc)
  --enable-shared       build ibex as a shared library
  --with-debug          enable debugging
  --interval-lib=INTERVAL_LIB
                        Possible values: bias, direct, filib, gaol [default:
                        gaol]
  --lp-lib=LP_LIB       Possible values: clp, cplex, none, soplex [default:
                        none]
  --with-affine         Use Affine Arithmetic plugin
  --with-affine-extended
                        Use all the Affine Arithmetic plugin
  --with-ampl           Use AMPL
  --with-continuation   Use Continuation plugin
  --with-ensta-robotics
                        Use ENSTA robotics plugin
  --with-jni            enable the compilation of the JNI adapter (note: your
                        JAVA_HOME environment variable must be properly set if
                        you want to use this option)
  --with-optim          install IbexOptim plugin
  --with-param-estim    Use Parameter Estimation plugin
  --with-solver         install IbexSolve plugin

  Configuration options:
    -o OUT, --out=OUT   build dir for the project
    -t TOP, --top=TOP   src dir for the project
    --prefix=PREFIX     installation prefix [default: '/usr/local/']
    --bindir=BINDIR     bindir
    --libdir=LIBDIR     libdir
    --check-cxx-compiler=CHECK_CXX_COMPILER
                        list of C++ compilers to try [clang++ g++]
    --check-c-compiler=CHECK_C_COMPILER
                        list of C compilers to try [clang gcc]

  Build and installation options:
    -p, --progress      -p: progress bar; -pp: ide output
    --targets=TARGETS   task generators, e.g. "target1,target2"

  Step options:
    --files=FILES       files to process, by regexp, e.g.
                        "*/main.c,*/test/main.o"

  Installation and uninstallation options:
    --destdir=DESTDIR   installation root [default: '']
    -f, --force         force file installation
    --distcheck-args=ARGS
                        arguments to pass to distcheck

  Options for benchmarks:
    --benchs-time-limit=BENCHS_TIME_LIMIT
                        Override default time_limit (default is 5)
    --benchs-prec-ndigits-min=BENCHS_PREC_NDIGITS_MIN
                        Override default prec_ndigits_min (default is 1)
    --benchs-prec-ndigits-max=BENCHS_PREC_NDIGITS_MAX
                        Override default prec_ndigits_max (default is 6)
    --benchs-iter=BENCHS_ITER
                        Override default iter (default is 3)
    --benchs-categories=BENCHS_CATEGORIES
                        Possible values: easy, medium, hard, blowup, others,
                        unsolved [ default: medium ]
    --benchs-save=BENCHS_SAVE
                        Save the results of the benchmarks in the given file
    --benchs-cmp-to=BENCHS_CMP_TO
                        Compare to previously saved benchmarks
    --benchs-with-graphs
                        Generate graphics from benchs (when available)
    --benchs-precmd=BENCHS_PRECMD
                        Prefix the benchmarks command with this string

  Profil/Bias options (when --interval-lib=bias is used):
    --bias-dir=BIAS_PATH
                        location of the Profil/Bias lib and include directories

  Filib options (when --interval-lib=filib is used):
    --filib-dir=FILIB_PATH
                        location of the Filib lib and include directories (by
                        default use the one in 3rd directory)
    --disable-sse2      do not use SSE2 optimizations

  Gaol options (when --interval-lib=gaol is used):
    --gaol-dir=GAOL_PATH
                        location of the Gaol lib and include directories (by
                        default use the one in 3rd directory)
    --mathlib-dir=MATHLIB_PATH
                        location of the Mathlib/ultim lib and include
                        directories (by default use the one in 3rd directory)

  Options for the plugin JNI/Java:
    --java-package-name=JAVA_PACKAGE
                        name of the java package to be build (default is ibex)

  Clp options (when --lp-lib=clp is used):
    --clp-path=CLP_PATH
                        location of the Clp lib and include directories
                        (by default use the one in 3rd directory)

  cplex options (when --lp-lib=cplex is used):
    --cplex-path=CPLEX_PATH
                        location of the cplex lib and include directories
                        (by default use the one in 3rd directory)

  soplex options (when --lp-lib=soplex is used):
    --soplex-path=SOPLEX_PATH
                        location of the soplex lib and include directories
                        (by default use the one in 3rd directory)
waf: error: no such option: --optim-lib

[gchabert]

@ilovezfs Can you replace "--optim-lib" with "--lp-lib". We have repackaged the plugins. Sorry for the inconvenience.

[ilovezfs]

@gchabert Yes that works! Thanks :) I think your Travis file needs some love: https://github.com/ibex-team/ibex-lib/blob/master/.travis.yml#L35

[gchabert]

Oh, yes! Thanks !