creduce 2.6.0
Closes #11064. Signed-off-by: ilovezfs <ilovezfs@icloud.com>
This commit is contained in:
parent
7c34474bbe
commit
8ddca3a2e7
1 changed files with 5 additions and 17 deletions
|
@ -1,10 +1,8 @@
|
||||||
class Creduce < Formula
|
class Creduce < Formula
|
||||||
desc "Reduce a C/C++ program while keeping a property of interest"
|
desc "Reduce a C/C++ program while keeping a property of interest"
|
||||||
homepage "https://embed.cs.utah.edu/creduce/"
|
homepage "https://embed.cs.utah.edu/creduce/"
|
||||||
url "https://embed.cs.utah.edu/creduce/creduce-2.5.0.tar.gz"
|
url "https://embed.cs.utah.edu/creduce/creduce-2.6.0.tar.gz"
|
||||||
sha256 "2dcd784e1d27df60f4ea1d92c4c556c02da4152db353d544dce8b7813fa443e4"
|
sha256 "cdacc1046ca3ae2b0777b8f235428e7976b0fb97c2f69979c8accd8d2cc0c55d"
|
||||||
revision 4
|
|
||||||
|
|
||||||
head "https://github.com/csmith-project/creduce.git"
|
head "https://github.com/csmith-project/creduce.git"
|
||||||
|
|
||||||
bottle do
|
bottle do
|
||||||
|
@ -14,16 +12,6 @@ class Creduce < Formula
|
||||||
sha256 "b4239ef06b45717a901f3abc699e53ee390f690215bec0725c0174fdad5fca48" => :yosemite
|
sha256 "b4239ef06b45717a901f3abc699e53ee390f690215bec0725c0174fdad5fca48" => :yosemite
|
||||||
end
|
end
|
||||||
|
|
||||||
# changes from upstream to fix compilation with LLVM 3.9
|
|
||||||
patch do
|
|
||||||
url "https://github.com/csmith-project/creduce/commit/377e4f93790690edcd0cde057bb96300aca22858.diff"
|
|
||||||
sha256 "1bf6201132dd41953f4c7d454a8f383f432e5a3f2fac416d681bc5e8e8065e18"
|
|
||||||
end
|
|
||||||
patch do
|
|
||||||
url "https://github.com/csmith-project/creduce/commit/d09b8f69419d6c65c7b32675962c9aee813713b5.diff"
|
|
||||||
sha256 "995fcb3c5c7aef60ce34ece07a5d225f0bf7886539479988d8b8a6cc0c52de90"
|
|
||||||
end
|
|
||||||
|
|
||||||
depends_on "astyle"
|
depends_on "astyle"
|
||||||
depends_on "delta"
|
depends_on "delta"
|
||||||
depends_on "llvm"
|
depends_on "llvm"
|
||||||
|
@ -55,9 +43,9 @@ class Creduce < Formula
|
||||||
end
|
end
|
||||||
|
|
||||||
resource "Regexp::Common" do
|
resource "Regexp::Common" do
|
||||||
url "https://cpan.metacpan.org/authors/id/A/AB/ABIGAIL/Regexp-Common-2016060101.tar.gz"
|
url "https://cpan.metacpan.org/authors/id/A/AB/ABIGAIL/Regexp-Common-2016060801.tar.gz"
|
||||||
mirror "http://search.cpan.org/CPAN/authors/id/A/AB/ABIGAIL/Regexp-Common-2016060101.tar.gz"
|
mirror "http://search.cpan.org/CPAN/authors/id/A/AB/ABIGAIL/Regexp-Common-2016060801.tar.gz"
|
||||||
sha256 "8d052550e1ddc222f498104f4ce3d56d953e7640b55805c59493060ae6f06815"
|
sha256 "fc2fc178facf0292974d6511bad677dd038fe60d7ac118e3b83a1ca9e98a8403"
|
||||||
end
|
end
|
||||||
|
|
||||||
resource "Sys::CPU" do
|
resource "Sys::CPU" do
|
||||||
|
|
Loading…
Reference in a new issue