Project

General

Profile

Support #3674

[MacOS - investigate Z3 library loading by rpath

Added by Alexander Diewald over 1 year ago. Updated 4 months ago.

Status:
New
Priority:
Normal
Assignee:
Category:
-
Start date:
03/12/2019
Due date:
% Done:

0%

Estimated time:
2.00 h

Description

Current status

In order to load the shared libs in the z3 plugin, Linux and MacOS must be aware of the path of these libraries. Hence, on Linux, we set the LD_LIBRARY_PATH, and copy the Libs to the executable folder for MacOS builds. This is, however, not the advised resolution for this problem. Second, setting LD_LIBRARY_PATH for Junit test would require a large hack.

Proposed solution

When updating the Z3 libraries (of course, also applies to the current version), the RPATH property of the problematic library shall be set to "$ORIGIN" such that required libraries are also loaded from the path where the dependent library (libz3java) resides.

Once this issue is resolved, we can also create an issue in the Z3 github repo.


Related issues

Related to Bug #3673: [LINUX] Z3 Library preloading - Avoid using LD_LIBRARY_PATH, use runpathClosed03/12/2019

Related to Change Request #3675: Z3: Update to version 4.8.4Closed03/12/2019

History

#1 Updated by Alexander Diewald over 1 year ago

  • Related to Bug #3673: [LINUX] Z3 Library preloading - Avoid using LD_LIBRARY_PATH, use runpath added

#3 Updated by Simon Barner over 1 year ago

#4 Updated by Simon Barner over 1 year ago

If the RPATH method is working, it should be directly applied to the updated version (4.8.4) provided in #3675.

#5 Updated by Johannes Eder over 1 year ago

  • Target version changed from AF3 2.15 RC1 (Feature Freeze) to AF3 2.16 RC1 (Feature Freeze)

#6 Updated by Alexander Diewald about 1 year ago

  • Target version changed from AF3 2.16 RC1 (Feature Freeze) to AF3 2.17 (Feature Freeze)

#7 Updated by Johannes Eder 7 months ago

  • Target version changed from AF3 2.17 (Feature Freeze) to AF3 2.18 - Feature Freeze

#8 Updated by Johannes Eder 4 months ago

  • Status changed from New to Feedback
  • Assignee changed from Johannes Eder to Alexander Diewald

@Alex: Is this one still relevant?

#9 Updated by Alexander Diewald 4 months ago

  • Status changed from Feedback to New
  • Assignee changed from Alexander Diewald to Johannes Eder

Yes.

Also available in: Atom PDF