[Release] Wrapper script for Linux Release
The current (2.12) Linux release did not include a wrapper script that correctly sets LD_LIBRARY_PATH, which e.g. is required to launch Z3. While the problem has been fixed manually, the wrapper script should be injected automatically during the release rollout process on Jenkins.
A template can be found in the attachment.
To avoid this problem in the future, a core test case should be defined on the following wiki page: https://af3-developer.fortiss.org/projects/autofocus3/wiki/Core_Test_Cases
- For all supported platforms
- Download AF3 image
- Load ACC example
- Open DSE perspective
- Load ACC model into DSE perspective
- Verify that Z3 library are loaded (currently, this is triggered by hitting the “Deployment” button, but it is essential that the effectiveness of this test is verified before the next release, and before integrating these instructions into the wiki)
(from redmine: issue id 3182, created on 2017-11-21, closed on 2018-04-23)
- Uploads: