From dce45d15461ec268a2f0d08cf260890406d396c3 Mon Sep 17 00:00:00 2001 From: Heejong Lee Date: Mon, 7 Jan 2013 20:08:42 +0900 Subject: [PATCH] Fix ProofGeneral compile error on OSX --- recipes/ProofGeneral.rcp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/recipes/ProofGeneral.rcp b/recipes/ProofGeneral.rcp index f6b395b6..b0847453 100644 --- a/recipes/ProofGeneral.rcp +++ b/recipes/ProofGeneral.rcp @@ -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/")