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

creduce: revision for llvm

Browse source
This commit is contained in:
ilovezfs 2017-03-14 04:40:05 -07:00
parent 8448da71f6
commit 1ae4819895
1 changed files with 15 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
Formula/creduce.rb
View file

@ -1,10 +1,23 @@
class Creduce < Formula
desc "Reduce a C/C++ program while keeping a property of interest"
homepage "https://embed.cs.utah.edu/creduce/"
url "https://embed.cs.utah.edu/creduce/creduce-2.6.0.tar.gz"
sha256 "cdacc1046ca3ae2b0777b8f235428e7976b0fb97c2f69979c8accd8d2cc0c55d"
revision 1
head "https://github.com/csmith-project/creduce.git"
stable do
url "https://embed.cs.utah.edu/creduce/creduce-2.6.0.tar.gz"
sha256 "cdacc1046ca3ae2b0777b8f235428e7976b0fb97c2f69979c8accd8d2cc0c55d"
# Remove for > 2.6.0
# LLVM 4.0 compatibility
# Upstream commit "clang_delta: Namespace-qualify clang::StringLiteral"
# Upstream PR from 19 Dec 2016 https://github.com/csmith-project/creduce/pull/128
patch do
url "https://github.com/csmith-project/creduce/commit/ba1b8a6.patch"
sha256 "c55148fc8f8d2b2e39ed25041b1335c8223185969656e4effa336cae9c7b671c"
end
end
bottle do
cellar :any_skip_relocation
sha256 "c60af77e1a39c40e359e8d8d964d2ec7723d1d8807f55c5e0bea13e66a4decc0" => :sierra