gitback/el-get
1
0
Fork 0
mirror of https://github.com/dimitri/el-get.git synced 2024-09-29 13:08:51 +08:00
Code Issues Packages Projects Releases Wiki Activity

Fix ProofGeneral compile error on OSX

Browse Source
This commit is contained in:
Heejong Lee 2013-01-07 20:08:42 +09:00
parent f4ac72d3be
commit dce45d1546
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
recipes/ProofGeneral.rcp
View File

@ -3,7 +3,8 @@
: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.2pre120814.tgz"
:url "http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-4.2.tgz"
:build ("cd ProofGeneral && make clean" "cd ProofGeneral && make compile")
:build/darwin `("cd ProofGeneral && make clean" ,(concat "cd ProofGeneral && make compile EMACS=" el-get-emacs))
:load ("ProofGeneral/generic/proof-site.el")
:info "./ProofGeneral/doc/")