mirror of
https://github.com/dimitri/el-get.git
synced 2024-09-29 21:18:59 +08:00
11 lines
754 B
Plaintext
11 lines
754 B
Plaintext
(:name ProofGeneral ;; Requires Emacs >= 23.3
|
|
:website "http://proofgeneral.inf.ed.ac.uk/"
|
|
:description "Proof General is a generic front-end for proof assistants (also known as interactive theorem provers)"
|
|
:type http-tar
|
|
:options ("xzf")
|
|
:url "http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-4.2.tgz"
|
|
:build ("cd ProofGeneral && make clean" "cd ProofGeneral && sed -i 's/setq byte-compile-error-on-warn t//' Makefile && make compile")
|
|
:build/darwin `("cd ProofGeneral && make clean" ,(concat "cd ProofGeneral && sed -i 's/setq byte-compile-error-on-warn t//' Makefile && make compile EMACS=" el-get-emacs))
|
|
:load ("ProofGeneral/generic/proof-site.el")
|
|
:info "./ProofGeneral/doc/")
|