search

mht208 / homebrew-formal

Homebrew formulae for formal methods
36 stars 10 forks source link

z3 #10

Open junkil-park opened 9 years ago

junkil-park commented 9 years ago

There is an issue installing z3.

brew --version 0.9.5 brew install z3 ==> Installing z3 from mht208/homebrew-formal ==> Cloning https://git01.codeplex.com/z3 Cloning into '/Library/Caches/Homebrew/z3--git'... remote: Counting objects: 32356, done. remote: Compressing objects: 100% (13006/13006), done. remote: Total 32356 (delta 25827), reused 24405 (delta 19237) error: RPC failed; result=56, HTTP code = 200 Receiving objects: 100% (32356/32356), 10.97 MiB | 1.37 MiB/s, done. Resolving deltas: 100% (25827/25827), done. Error: Failed to download resource "z3" Failure while executing: git clone --branch v4.3.1 https://git01.codeplex.com/z3 /Library/Caches/Homebrew/z3--git

mht208 commented 9 years ago

The issue should be resolved now. Reference: http://codeplex.codeplex.com/workitem/26133