search

Homebrew / legacy-homebrew

💀 The former home of Homebrew/homebrew (deprecated)
https://brew.sh
26.99k stars 11.36k forks source link

ssreflect failed to build on 10.9.2 #29543

Closed kaizen-nagoya closed 10 years ago

kaizen-nagoya commented 10 years ago

https://gist.github.com/anonymous/80fe1c4131e24a9d46c6

adamv commented 10 years ago

Copying in error:

File "/private/tmp/ssreflect-raAf/ssreflect-1.4/theories/ssrnat.v", line 5, characters 0-20:
Error: File /usr/local/lib/coq/theories/NArith/BinPos.vo has bad magic
number. It is corrupted or was compiled with another version of Coq.
make[1]: *** [theories/ssrnat.vo] Error 1
make: *** [all] Error 2
adamv commented 10 years ago

Note, homepage on this formula seems to need updating.

adamv commented 10 years ago

The updates in #29568 built on my system.

adamv commented 10 years ago

Please brew update and try again; provide updated troubleshooting information if this is still happening.