diff options
Diffstat (limited to 'homebrew/proofgeneral/.beer')
| -rw-r--r-- | homebrew/proofgeneral/.beer | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/homebrew/proofgeneral/.beer b/homebrew/proofgeneral/.beer new file mode 100644 index 000000000..83027c2a5 --- /dev/null +++ b/homebrew/proofgeneral/.beer @@ -0,0 +1,39 @@ +{ + "name": "ProofGeneral", + "description": "Emacs-based generic interface for theorem provers", + "url": "https://github.com/ProofGeneral/PG/archive/v4.4.tar.gz", + "mirror": null, + "homepage": "https://proofgeneral.github.io", + "depends": [ + { + "depend": "texi2html", + "build-depend": true + }, + { + "depend": "texinfo", + "build-depend": true + }, + { + "depend": "emacs", + "build-depend": false + } + ], + "resource": [], + "conflicts": [], + "patches": [], + "install": [ + "ENV.deparallelize ", + "args = %W[", + "PREFIX=#{prefix}", + "DEST_PREFIX=#{prefix}", + "ELISPP=share/emacs/site-lisp/proof-general", + "ELISP_START=#{elisp}/site-start.d", + "EMACS=#{which \"emacs\"}", + "]", + "system \"make\", \"install\", *args", + "cd \"doc\" do", + "system \"make\", \"info\", \"html\"" + ], + "version": "4.4", + "file": "proof-general.rb" +}
\ No newline at end of file |