Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Imported target "storm" includes non-existent path #12

Closed
GavinRens opened this issue Feb 12, 2020 · 4 comments
Closed

Imported target "storm" includes non-existent path #12

GavinRens opened this issue Feb 12, 2020 · 4 comments

Comments

@GavinRens
Copy link

Good day,

I'm trying to install stormpy on my Mac with OS Catalina (10.15.2).

I first installed all the dependencies for installing storm with Home-brew as described at http://www.stormchecker.org/documentation/obtain-storm/dependencies.html.

Then I manually installed CArL as described on the same page as above.

Then I installed pycarl using PyCharm with interpreter python3.7. Running

import pycarl
print(pycarl.carl_version())

gives
18.08
as output.

Then I installed storm as explained at http://www.stormchecker.org/documentation/obtain-storm/homebrew.html

Running
brew info stormchecker
gives

moves-rwth/storm/stormchecker: stable 1.4.1, HEAD
A modern probabilistic model checker
http://www.stormchecker.org
/usr/local/Cellar/stormchecker/1.4.1 (853 files, 64.8MB) *
Built from source on 2020-02-12 at 10:06:36
From: https://github.com/moves-rwth/homebrew-storm/blob/master/Formula/stormchecker.rb
==> Dependencies
Build: cmake ✔, automake ✔, autoconf ✔
Required: boost ✔, gmp ✔, z3 ✔, xerces-c ✔, glpk ✔, hwloc ✔, doxygen ✔, moves-rwth/misc/carl --with-thread-safe --with-cln --with-ginac ✔
==> Requirements
Required: macOS >= 10.9 ✔
==> Options
--with-cocoalib
Build with support for CoCoALib (also requires CArl to be built with support for CoCoALib).
--with-tbb
Build Storm with Intel Thread Building Blocks (TBB) support.
--HEAD
Install HEAD version

Then I did
$ pip install virtualenv
$ virtualenv -p python3 env
$ source env/bin/activate

and

git clone https://github.com/moves-rwth/stormpy.git
$ cd stormpy

Finally, I did
python3 setup.py develop

and get

running develop
running egg_info
writing lib/stormpy.egg-info/PKG-INFO
writing dependency_links to lib/stormpy.egg-info/dependency_links.txt
writing requirements to lib/stormpy.egg-info/requires.txt
writing top-level names to lib/stormpy.egg-info/top_level.txt
reading manifest file 'lib/stormpy.egg-info/SOURCES.txt'
reading manifest template 'MANIFEST.in'
writing manifest file 'lib/stormpy.egg-info/SOURCES.txt'
running build_ext
Stormpy - Building into build/temp.macosx-10.15-x86_64-3.7
Stormpy - Using storm 1.4.1 from /usr/local/lib/cmake/storm
Stormpy - Support for DFTs found and included.
Stormpy - Support for parametric models found and included.
Stormpy - CMake args=['-DCMAKE_LIBRARY_OUTPUT_DIRECTORY=/Users/gavinrens/stormpy/lib/stormpy/', '-DPYTHON_EXECUTABLE=/Users/gavinrens/env/bin/python3', '-DCMAKE_BUILD_TYPE=Release', '-Dstorm_DIR=/usr/local/lib/cmake/storm', '-DHAVE_STORM_DFT=ON', '-DHAVE_STORM_PARS=ON']
-- Found PythonInterp: /Users/gavinrens/env/bin/python3 (found version "3.7.6")
-- Found PythonLibs: /usr/local/opt/python/Frameworks/Python.framework/Versions/3.7/lib/libpython3.7m.dylib
-- pybind11 v2.2.dev0
-- STORM-DIR: /usr/local/lib/cmake/storm
-- STORM-INCLUDE-DIR: /usr/local/lib/cmake/storm/../../../include/storm
-- Configuring done
CMake Error in CMakeLists.txt:
Imported target "storm" includes non-existent path

"/tmp/stormchecker-20200211-73746-zp475g/storm-1.4.1/resources/3rdparty/l3pp/"

in its INTERFACE_INCLUDE_DIRECTORIES. Possible reasons include:

  • The path was deleted, renamed, or moved to another location.

  • An install or uninstall procedure did not complete successfully.

  • The installation package was faulty and references files it does not
    provide.
    ... (times 21)

-- Generating done
CMake Generate step failed. Build files cannot be regenerated correctly.
Traceback (most recent call last):
File "setup.py", line 241, in
python_requires='>=3',
File "/Users/gavinrens/env/lib/python3.7/site-packages/setuptools/init.py", line 144, in setup
return distutils.core.setup(**attrs)
File "/usr/local/opt/python/Frameworks/Python.framework/Versions/3.7/lib/python3.7/distutils/core.py", line 148, in setup
dist.run_commands()
File "/usr/local/opt/python/Frameworks/Python.framework/Versions/3.7/lib/python3.7/distutils/dist.py", line 966, in run_commands
self.run_command(cmd)
File "/usr/local/opt/python/Frameworks/Python.framework/Versions/3.7/lib/python3.7/distutils/dist.py", line 985, in run_command
cmd_obj.run()
File "/Users/gavinrens/env/lib/python3.7/site-packages/setuptools/command/develop.py", line 38, in run
self.install_for_development()
File "/Users/gavinrens/env/lib/python3.7/site-packages/setuptools/command/develop.py", line 140, in install_for_development
self.run_command('build_ext')
File "/usr/local/opt/python/Frameworks/Python.framework/Versions/3.7/lib/python3.7/distutils/cmd.py", line 313, in run_command
self.distribution.run_command(command)
File "/usr/local/opt/python/Frameworks/Python.framework/Versions/3.7/lib/python3.7/distutils/dist.py", line 985, in run_command
cmd_obj.run()
File "setup.py", line 163, in run
self.build_extension(ext, cmake_args, build_args)
File "setup.py", line 197, in build_extension
subprocess.check_call(['cmake', ext.sourcedir] + cmake_args, cwd=self.build_temp, env=env)
File "/usr/local/opt/python/Frameworks/Python.framework/Versions/3.7/lib/python3.7/subprocess.py", line 363, in check_call
raise CalledProcessError(retcode, cmd)
subprocess.CalledProcessError: Command '['cmake', '/Users/gavinrens/stormpy', '-DCMAKE_LIBRARY_OUTPUT_DIRECTORY=/Users/gavinrens/stormpy/lib/stormpy/', '-DPYTHON_EXECUTABLE=/Users/gavinrens/env/bin/python3', '-DCMAKE_BUILD_TYPE=Release', '-Dstorm_DIR=/usr/local/lib/cmake/storm', '-DHAVE_STORM_DFT=ON', '-DHAVE_STORM_PARS=ON']' returned non-zero exit status 1.

Can you perhaps see what I am doing wrong?

Regards
Gavin
@volkm
Copy link
Contributor

volkm commented Feb 18, 2020

Hi,

thanks for your detailed report. I could reproduce the issue on my machine.
Apparently the installation of Storm via homebrew does not export all necessary files of shipped resources. That is why for example files for the dependency l3pp cannot be found.

The Storm binaries should work without problems, but building stormpy will not be successful at the moment.
We will have a look at this issue but fixing it in CMake is not trivial and requires some work.

In the meantime, I suggest to use a different installation method. You can remove the homebrew build of Storm and manually build Storm. Building stormpy for a manual build of Storm is tested and should work without problems.
Another possibility is to use our Docker containers which already come with preinstalled stormpy support.

Apologies for the inconvenience,
Matthias

@GavinRens
Copy link
Author

GavinRens commented Feb 18, 2020 via email

@volkm volkm mentioned this issue Feb 21, 2020
Closed
@GavinRens
Copy link
Author

GavinRens commented Feb 22, 2020 via email

@volkm
Copy link
Contributor

volkm commented Feb 24, 2020

Hi Gavin,

I guess you are using the master version of stormpy and release 1.4.1 of Storm. Unfortunately, these two versions are not compatible.
You either need to use the master branch for both Storm and stormpy, or you use the release 1.4.1 for both Storm and stormpy.

Best,
Matthias

@tquatmann tquatmann mentioned this issue Aug 17, 2021
Closed
@sjunges sjunges closed this as completed Jul 26, 2022
@volkm volkm mentioned this issue Aug 11, 2022
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@sjunges @volkm @GavinRens