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

Merge pull request #1020 from ihji/master

Browse Source 
fix compile error in ProofGeneral on OSX
This commit is contained in:
Dimitri Fontaine 2013-01-08 01:12:20 -08:00
commit 4bd820666c
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)" :description "Proof General is a generic front-end for proof assistants (also known as interactive theorem provers)"
:type http-tar :type http-tar
:options ("xzf") :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 ("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") :load ("ProofGeneral/generic/proof-site.el")
:info "./ProofGeneral/doc/") :info "./ProofGeneral/doc/")