Skip to content

Fix compiler/repl flags#3

Open
tjknoth wants to merge 1 commit intomainfrom
tristan/build-stuff
Open

Fix compiler/repl flags#3
tjknoth wants to merge 1 commit intomainfrom
tristan/build-stuff

Conversation

@tjknoth
Copy link

@tjknoth tjknoth commented Jul 3, 2024

Updated flags in .proj to:

  • find z3 shared library when compiling
  • load shared library into repl
    works on my mac, haven't tested anything else.

@tjknoth tjknoth requested review from callendorph and jwatson0 July 3, 2024 18:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant