storm icon indicating copy to clipboard operation
storm copied to clipboard

Published 20 hours ago • verified publisher icon moves-rwth

Storm exports LOCATION-NOTFOUND

Open tquatmann opened this issue 1 year ago • 3 comments

My stormConfig.cmake file contained

set_target_properties(libsoplex-pic PROPERTIES IMPORTED_LOCATION "LOCATION-NOTFOUND")

which means that e.g. stormpy does not compile because it somehow can not link with a library named LOCATION-NOTFOUND

We should somehow make sure that either this is not exported in the first place or at least detected on the stormpy side.

tquatmann avatar Apr 26 '23 11:04 tquatmann

For me, no line regarding soplex is present when soplex is not used. So without soplex it seems to work. Could it be an issue with properly exporting the location when soplex is present?

volkm avatar Apr 26 '23 12:04 volkm

Yes, this also solves the issue for me. I think there are two sides of this issue:

  • Find out and fix why using soplex does this
  • Generally make sure that "LOCATION-NOTFOUND" is not exported by any library

tquatmann avatar Apr 26 '23 13:04 tquatmann

We are not using add_imported_library in the CMake file for soplex. No idea whether this has anything to do with it, but I guess it does not hurt to add it and try whether it changes anything?

volkm avatar Apr 26 '23 13:04 volkm