search

kenmcmil / ivy

IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.
Other
77 stars 24 forks source link

Installing ivy on M1 macOS Monterey 12.3 #61

Open asgeir386 opened 2 years ago

asgeir386 commented 2 years ago

Hi All,

I installed ivy on a MacBook Pro (13-inch, M1, 2020) running MacOS Monterey 12.3 following the instructions at:

https://github.com/kenmcmil/ivy/blob/master/doc/install.md

I tested on two different M1 machines one a clean install on MacOS Monterey 12.2 and the other an upgrade from Mojave to Monterey to 12.2. to 12.3. There was one Python issue on the upgrade machine with version 12.2.

Installation notes:

1) needed to manually create the following link after installing openssl

sudo mkdir -p /usr/local/opt/openssl/lib sudo ln -s /opt/local/libexec/openssl3/lib/libssl.3.dylib /usr/local/opt/openssl/lib/libssl.dylib

2) git clone --recurse-submodules https://github.com/Microsoft/ivy.git needs to be changed to kenmcmil where it says Microsoft

Please make those two adjustments to the instructions (and add Monterey to title)

I re-ran all the models we have developed and didn't notice any issues. Previously on M1 we used the IA64 emulation path (rosetta), which worked without any issues, but the native build is significantly faster. The M1 machines have 16GB DRAM

Thanks, Asgeir aeiriksson@apple.com