wbrawner/homebrew-core
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

proof-general: Support HEAD installation

Browse source 
Closes Homebrew/homebrew#49038.

Signed-off-by: Alex Dunn <adunn@ucsb.edu>
This commit is contained in:
Tej Chajed 2016-02-10 13:06:43 -05:00 committed by Alex Dunn
parent ec7178c2a6
commit 295ed10a8a
1 changed files with 7 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
Formula/proof-general.rb
View file

@ -3,6 +3,7 @@ class ProofGeneral < Formula
homepage "http://proofgeneral.inf.ed.ac.uk"
url "http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-4.2.tgz"
sha256 "3567b68077798396ccd55c501b7ea7bd2c4d6300e4c74ff609dc19837d050b27"
head "https://github.com/ProofGeneral/PG.git"
bottle do
cellar :any_skip_relocation
@ -30,7 +31,7 @@ class ProofGeneral < Formula
EMACS=#{which "emacs"}
]
cd "ProofGeneral" do
cd (build.head? ? "." : "ProofGeneral") do
# http://proofgeneral.inf.ed.ac.uk/trac/ticket/458
# remove in next stable release
inreplace "Makefile", "(setq byte-compile-error-on-warn t)", "" if build.stable?
@ -39,6 +40,11 @@ class ProofGeneral < Formula
system "make", "install", *args
man1.install "doc/proofgeneral.1"
if build.head?
cd "doc" do
system "make", "info", "html"
end
end
info.install "doc/ProofGeneral.info", "doc/PG-adapting.info"
doc.install "doc/ProofGeneral", "doc/PG-adapting"
end