* Use new "url" features
* Use keg_only DSL
* Use "skip_clean :all" DSL
* Whitespace and style cleanups
* Make bash invocations less silly
* Use new man2-man8 helpers
* Remove "FileUtils." since it is included in Formula
* Use real names for deps instead of aliases
* ENV.x11 now updates path, so remove that from individual brews
Replaced ENV.gcc_4_2 + comments with calls to "fails_with_llvm",
to specifically message to the user when a formula is known or suspected
to not build with LLVM. If the user specifies "--use-llvm", the message
will be displayed, but compilation will be tried anyway.
Since using LLVM is now an advanced/hidden feature instead of the
default on 10.6, we'll let the user try anyway (and submit patches
if things are now working.)
A verification tool for models of concurrent systems.
Manually installing spin on Mac OS X is somewhat cumbersome and requires edits
to the makefile, as as detailed at http://spinroot.com/spin/Man/README.html.
The included DATA patch automates this.
(My thanks to adamv, who pointed out how to simplify this formula greatly.)
Brett Koonce
Jack Nagel
Adam Vandenberg
Jeremy W. Sherman
Ville Lautanala
Max Howell
Björn B. Brandenburg