draperlaboratory / VIBES

Verified, Incremental, Binary Editing with Synthesis
MIT License
51 stars 1 forks source link

Fix LD path and plugin warning #219

Closed jtpaasch closed 2 years ago

jtpaasch commented 2 years ago

Updating the install script environment vars, the older ones were breaking the newer install process

bmourad01 commented 2 years ago

What was the issue with using LD_LIBRARY_PATH?

jtpaasch commented 2 years ago

I'm not sure, but if it was set, then bap wouldn't be able to load z3. When I removed that environment variable, it all worked fine

bmourad01 commented 2 years ago

Sounds good