Installation of Storm with Carl-storm/14.27 on HPC

[rakesh-rs211]

Hi,

I am trying to install Storm locally in $HOME directory on a HPC cluster. I have carl-storm/14.27 installed in $HOME/.local, and cmake is able to find the path of the installation which is in $HOME/.local. However, it fails with this error message:

$ git clone https://github.com/moves-rwth/storm.git
$ cd storm
$ mkdir build && cd build
$ cmake --version
cmake version 3.27.7
$ cmake ..
...
-- Storm - Use system version of carl.
-- Storm - Linking with preinstalled carl 14.27 (include: /home/rakeshr/.local/easybuild/software/2020/avx2/Compiler/gcc9/carl-storm/14.27/lib/cmake/carl/../../../include, library lib_carl, CARL_USE_CLN_NUMBERS: ON, CARL_USE_GINAC: ON).
...
_CMake Error in src/storm/CMakeLists.txt:
  Imported target "lib_carl" includes non-existent path

    "/tmp/rakeshr/avx2/carlstorm/14.27/GCC-9.3.0/easybuild_obj/resources/include"

  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.

The complete log from CMake is in the attachment and I have following package installed/loaded when I ran cmake cln/1.3.7 ; hwloc/2.7; gcc/9.3.0; ginac/1.8.7; boost/1.72.0; z3/4.13.0 glpk/4.65; carl-storm/14.27; spot/2.11.6

I appreciate any pointers on how to solve this issue: Imported target "lib_carl" includes non-existent path

Storm_CMake.log

[sjunges]

Hi,

I have no experience with HPC clusters.

That being said, the error message typically means that carl was configured (i.e., cmake was run) but carl was not build (or the library was moved afterwards).

• Can you show the output of building carl?
• The fact that carl is found at some relative path (carl-storm/14.27/lib/cmake/carl/../../../include) is suspicious to me.

Best, Sebastian