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

compcert: fix minor regression in desc

Browse source 
* and a casing nit

Closes Homebrew/homebrew#47198.

Signed-off-by: Dominyk Tiller <dominyktiller@gmail.com>
This commit is contained in:
Viktor Szakats 2015-12-20 14:22:36 +01:00 committed by Dominyk Tiller
parent e5b31cd7c3
commit 667e4d9e6e
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
Formula/compcert.rb
View file

@ -1,5 +1,5 @@
class Compcert < Formula
desc "Formally verified C verified compiler"
desc "Formally verified C compiler"
homepage "http://compcert.inria.fr"
url "https://github.com/AbsInt/CompCert/archive/v2.5.tar.gz"
sha256 "36847b00fa5436ac8e052489b728adef2bc68064fe22dbdc18bf22256856fd95"
@ -19,7 +19,7 @@ class Compcert < Formula
ENV.permit_arch_flags
# Compcert's configure script hard-codes gcc. On Lion and under, this
# creates problems since XCode's gcc does not support CFI,
# creates problems since Xcode's gcc does not support CFI,
# but superenv will trick it into using clang which does. This
# causes problems with the compcert compiler at runtime.
inreplace "configure", "${toolprefix}gcc", "${toolprefix}#{ENV.cc}"