Skip to content
This repository has been archived by the owner on Jul 19, 2024. It is now read-only.

Compiling in VS2017 gives binaries that can't find libz3.dll #10

Open
hallba opened this issue Aug 4, 2017 · 0 comments
Open

Compiling in VS2017 gives binaries that can't find libz3.dll #10

hallba opened this issue Aug 4, 2017 · 0 comments

Comments

@hallba
Copy link
Collaborator

hallba commented Aug 4, 2017

Compilation on a clean system using VS 2017 works correctly, but the resulting executable cannot find libz3 when run. libz3.dll is in the binary folder as expected
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@hallba