You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
What program did you run? raco distribute on a project that uses Rosette.
What should have happened?
When using raco distribute with Rosette, you are expected to place some binaries inside of Rosette (specifically, the solvers it uses). raco distribute then bundles up those binaries with Rosette. In my case, I put in symbolic links to the binaries, which are built at a different location, just for organizational reasons. When raco distribute bundled up the symbolic links, it should have kept them as symbolic links.
Instead, it seems like it just copied the binaries to the location instead. This is frustrating, as it means their RPATHs are no longer valid when their RPATHs are defined relatively.
Please include any other relevant details
This is on Ubuntu.
The text was updated successfully, but these errors were encountered:
Thank you all!
What version of Racket are you using?
8.11 [cs]
What program did you run?
raco distribute
on a project that uses Rosette.What should have happened?
When using
raco distribute
with Rosette, you are expected to place some binaries inside of Rosette (specifically, the solvers it uses).raco distribute
then bundles up those binaries with Rosette. In my case, I put in symbolic links to the binaries, which are built at a different location, just for organizational reasons. Whenraco distribute
bundled up the symbolic links, it should have kept them as symbolic links.Instead, it seems like it just copied the binaries to the location instead. This is frustrating, as it means their
RPATH
s are no longer valid when theirRPATH
s are defined relatively.Please include any other relevant details
This is on Ubuntu.
The text was updated successfully, but these errors were encountered: