jiawenliu comments

Repositories
Issues
Comments

Results 3 comments of


                                            jiawenliu

Getting Easycrypt to run on PG

I have the same issue

Can't run from master, `libcxxwrap_julia_path not defined`

I actually got the same error right now when I'm trying to install the Alligator.jl package : https://github.com/ahumenberger/Aligator.jl

Can't run from master, `libcxxwrap_julia_path not defined`

``` julia> versioninfo() Julia Version 1.9.0-DEV.1363 Commit c6abccf2c3 (2022-09-14 19:40 UTC) Platform Info: OS: macOS (x86_64-apple-darwin21.5.0) CPU: 8 × Intel(R) Core(TM) i5-8279U CPU @ 2.40GHz WORD_SIZE: 64 LIBM: libopenlibm LLVM:...