| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
|
|
* 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.)
|
