diff options
Diffstat (limited to 'homebrew/compcert/.beer')
-rw-r--r-- | homebrew/compcert/.beer | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/homebrew/compcert/.beer b/homebrew/compcert/.beer new file mode 100644 index 000000000..1b36f2c61 --- /dev/null +++ b/homebrew/compcert/.beer @@ -0,0 +1,32 @@ +{ + "name": "Compcert", + "description": "Formally verified C compiler", + "url": "https://github.com/AbsInt/CompCert/archive/v3.5.tar.gz", + "mirror": null, + "homepage": "http://compcert.inria.fr", + "depends": [ + { + "depend": "coq", + "build-depend": true + }, + { + "depend": "menhir", + "build-depend": true + }, + { + "depend": "ocaml", + "build-depend": true + } + ], + "resource": [], + "conflicts": [], + "patches": [], + "install": [ + "system \"./configure\", \"-prefix\", prefix, \"x86_64-macosx\",", + "\"-ignore-coq-version\"", + "system \"make\", \"all\"", + "system \"make\", \"install\"" + ], + "version": "3.5", + "file": "compcert.rb" +}
\ No newline at end of file |