installing storm via homebrew

[LeuLinda]

Hi,

I try to install storm via homebrew (on MacOS Sierra), however, I get the error message 'Cannot use CLN numbers if carl is build without'
This happens with both, the HEAD and the default branch. Also removing carl from homebrew and
reinstall via storm installation routine gives the same error message. The output (with uninstalled carl) is:

linda$ brew install stormchecker --HEAD
==> Installing stormchecker from moves-rwth/storm
==> Installing dependencies for moves-rwth/storm/stormchecker: moves-rwth/misc/carl
==> Installing moves-rwth/storm/stormchecker dependency: moves-rwth/misc/carl
==> Downloading https://github.com/smtrat/carl/archive/17.08.zip
Already downloaded: /Users/linda/Library/Caches/Homebrew/carl-17.08.zip
==> cmake /private/tmp/carl-20170817-7545-1ff61n5/carl-17.08 -DCMAKE_C_FLAGS_RELEASE=-DNDEBUG -DCMAKE_CXX_FLAGS_RELEASE=-DNDEBUG -DCMAKE_INSTALL_PREFIX=/usr/local/Cellar/car
==> make install
🍺 /usr/local/Cellar/carl/17.08: 288 files, 2.8MB, built in 2 minutes 29 seconds
==> Installing moves-rwth/storm/stormchecker --HEAD
==> Cloning https://github.com/moves-rwth/storm.git
Updating /Users/linda/Library/Caches/Homebrew/stormchecker--git
==> Checking out branch master
==> cmake /private/tmp/stormchecker-20170817-8576-2lwwer -DCMAKE_C_FLAGS_RELEASE=-DNDEBUG -DCMAKE_CXX_FLAGS_RELEASE=-DNDEBUG -DCMAKE_INSTALL_PREFIX=/usr/local/Cellar/stormch
Last 15 lines from /Users/linda/Library/Logs/Homebrew/stormchecker/01.cmake:
-- Found z3: /usr/local/lib/libz3.dylib
-- Storm - Linking with Z3. (Z3 version supports optimization)
-- Storm - Using system version of glpk.
-- Storm - Linking with glpk 4.63
-- Storm - Linking with CUDD 3.0.0.
-- Storm - Use system version of carl.
-- Storm - Linking with preinstalled carl 17.08 (include: /usr/local/lib/cmake/carl/../../../include, library lib_carl, CARL_USE_CLN_NUMBERS: OFF, CARL_USE_GINAC: OFF).
CMake Error at resources/3rdparty/CMakeLists.txt:292 (message):
Cannot use CLN numbers if carl is build without.
Call Stack (most recent call first):
CMakeLists.txt:347 (include)

-- Configuring incomplete, errors occurred!
See also "/tmp/stormchecker-20170817-8576-gq41ff/CMakeFiles/CMakeOutput.log".

running 'brew info stormchecker' gives the following information:
moves-rwth/storm/stormchecker: stable 1.1.0, HEAD
A modern probabilistic model checker.
https://moves-rwth.github.io/storm/
Not installed
From: https://github.com/moves-rwth/homebrew-storm/blob/master/Formula/stormchecker.rb
==> Dependencies
Required: cmake ✔, boost --c++11 ✔, gmp --c++11 ✔, z3 ✔, automake ✔, xerces-c ✔, glpk ✔, hwloc ✔, moves-rwth/misc/carl --thread-safe --cln --ginac --cocoa ✔
==> Requirements
Required: macOS >= 10.9 ✔
==> Options
--with-tbb
Build Storm with Intel Thread Building Blocks (TBB) support.
--HEAD
Install HEAD version

The log file 'CMakeOutput.txt' and the verbose console output ('out.txt') are attached.

Thanks in advance,
Linda

CMakeOutput.txt
out.txt

[tjanson]

Can you post the output of ls -l /usr/local/lib/libcarl* and cat ~/.cmake/packages/carl/*? I’ve had similar issues when there was an older version of CArL still present. Maybe that’s the case here too.

[LeuLinda]

the output of 'ls -l /usr/local/lib/libcarl*' is:
lrwxr-xr-x 1 linda admin 44 17 Aug 12:59 /usr/local/lib/libcarl.17.08.dylib -> ../Cellar/carl/17.08/lib/libcarl.17.08.dylib
lrwxr-xr-x 1 linda admin 38 17 Aug 12:59 /usr/local/lib/libcarl.dylib -> ../Cellar/carl/17.08/lib/libcarl.dylib

and of 'cat ~/.cmake/packages/carl/':
cat: /Users/linda/.cmake/packages/carl/: No such file or directory

[tjanson]

@cdehnert Is it possible that the build options for dependencies must include "with", i.e., ["with-thread-safe", "with-cln", "with-ginac", "with-cocoa"]?

[cdehnert]

@tjanson Indeed that may be the problem here. In the not-so-longterm run, we will probably move away from CLN, but that will require some more investigation.

@LeuLinda Can you retry with the new version of the formula?

[tjanson]

@cdehnert This is still not working for me if cocoalib isn’t already installed.

$ brew install --verbose stormchecker
==> Installing stormchecker from moves-rwth/storm
==> Installing dependencies for moves-rwth/storm/stormchecker: moves-rwth/misc/carl
==> Installing moves-rwth/storm/stormchecker dependency: moves-rwth/misc/carl
/usr/bin/sandbox-exec -f /tmp/homebrew20170817-58225-1tdvsgg.sb nice /System/Library/Frameworks/Ruby.framework/Versions/2.0/usr/bin/ruby -W0 -I /usr/local/Homebrew/Library/Homebrew -- /usr/local/Homebrew/Library/Homebrew/build.rb /usr/local/Homebrew/Library/Taps/moves-rwth/homebrew-misc/Formula/carl.rb --verbose --with-thread-safe --with-cocoalib --with-cln --with-ginac
Error: /usr/local/opt/cocoalib not present or broken
Please reinstall moves-rwth/misc/cocoalib. Sorry :(

I think brew has pretty strange ideas about how to handle dependencies. In particular they want to kill off build options for dependencies, and I think because of this, the optional dependency cocoalib

depends_on "moves-rwth/misc/cocoalib" if build.with?("ginac")

will not be installed recursively when brew install stormchecker is run.

@LeuLinda If you’re having the problem I describe here, please install cocoalib manually with brew install cocoalib, then brew install stormchecker. I hope that will work for you.
Thanks for bearing with us.

[LeuLinda]

I also had to manually install cocoalib, but after this it worked fine. Thank you! Am 17.08.17 um 15:59 schrieb Tom Janson:

…

@cdehnert <https://github.com/cdehnert> This is still not working for me if |cocoalib| isn’t already installed. |$ brew install --verbose stormchecker ==> Installing stormchecker from moves-rwth/storm ==> Installing dependencies for moves-rwth/storm/stormchecker: moves-rwth/misc/carl ==> Installing moves-rwth/storm/stormchecker dependency: moves-rwth/misc/carl /usr/bin/sandbox-exec -f /tmp/homebrew20170817-58225-1tdvsgg.sb nice /System/Library/Frameworks/Ruby.framework/Versions/2.0/usr/bin/ruby -W0 -I /usr/local/Homebrew/Library/Homebrew -- /usr/local/Homebrew/Library/Homebrew/build.rb /usr/local/Homebrew/Library/Taps/moves-rwth/homebrew-misc/Formula/carl.rb --verbose --with-thread-safe --with-cocoalib --with-cln --with-ginac Error: /usr/local/opt/cocoalib not present or broken Please reinstall moves-rwth/misc/cocoalib. Sorry :( | I think brew has pretty strange ideas about how to handle dependencies. In particular they want to kill off build options for dependencies <Homebrew/brew#2482>, and I think because of this, the optional dependency cocoalib depends_on"moves-rwth/misc/cocoalib" if build.with?("ginac") will not be installed recursively when |brew install stormchecker| is run. @LeuLinda <https://github.com/leulinda> If you’re having the problem I describe here, please install cocoalib manually with |brew install cocoalib|, then |brew install stormchecker|. I hope that will work for you. Thanks for bearing with us. — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub <#2 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AdpvSoGHrp9o3keRaHBpwIIavY0FKWNtks5sZEdFgaJpZM4O6Hgm>.

-- Linda Leuschner Technische Universität Dresden Fakultät für Informatik, Institut für Theoretische Informatik Lehrstuhl für algebraische und logische Grundlagen der Informatik Tel.: +49 (0) 351 463-38293 E-Mail: [email protected]

[cdehnert]

@LeuLinda Okay, that's good. :)
@tjanson This is actually pretty strange. How can one then achieve the right thing? Is every formula supposed to be built in all possible configurations so that everything is available all the time? That would be quite a bit of unnecessary overhead.

[tjanson]

I’m not entirely sure; maybe this is a bug after all, because this behavior seems really broken. (If I can specify a dependency with build-options, then of course it needs to build correctly including the necessary recursive dependencies! Regardless of whether that’s deprecated or not.)

If this behavior is indeed as intended, then the way I interpret these two comments (1) (2) is that we’d need to have a separate carl-with-cocoalib-by-default.rb. (Or always build CArL with everything, as you said.) Which is, uh, sub-optimal to say the least, but that’s what the comments are alluding to, right?

A different, still pretty ugly workaround would be to make stormchecker.rb depend on cocoalib (before carl [!]), so that the dependency is already met during the installation of CArL.

[cdehnert]

Actually, I'm pretty sure that I tried installing the whole chain by installing stormchecker last week and that worked on my machine. I have no idea why that stopped working now or whether I did something wrong.

Anyway, I just introduced the direct dependency to cocoalib to make the build go through as expected.

I really dislike the direction into which homebrew is heading here as for some packages this is going to be major hassle.

[zaloogarcia]

hello, I tried to install storm but I get the following error messages 👍
'Error: moves-rwth/storm/stormchecker 1.2.1 did not build'

can somebody help me out?

[cdehnert]

Hi zaloogarcia,

first of all, you might want to open a new issue for this, so we can better keep track of your particular problems.

Secondly, can you try installing Storm like this:

brew install stormchecker -vd

This way, there is going to be a lot of debug output. If you provide that to us, we can more closely analyze what's going wrong in your particular case.