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

agda 2.4.2.3

Browse source 
Closes Homebrew/homebrew#41696.

Signed-off-by: Dominyk Tiller <dominyktiller@gmail.com>
This commit is contained in:
Tomasz Pajor 2015-07-14 16:12:51 +02:00 committed by Dominyk Tiller
parent 6f45215577
commit 33682144f9
1 changed files with 7 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

19
Formula/agda.rb
View file

@ -5,9 +5,9 @@ class Agda < Formula
desc "Dependently typed functional programming language"
homepage "http://wiki.portal.chalmers.se/agda/"
url "https://hackage.haskell.org/package/Agda-2.4.2.2/Agda-2.4.2.2.tar.gz"
sha1 "fbdf7df3d5a036e683210ac7ccf4f8ec0c9fea05"
revision 1
url "https://hackage.haskell.org/package/Agda-2.4.2.3/Agda-2.4.2.3.tar.gz"
mirror "https://github.com/agda/agda/archive/2.4.2.3.tar.gz"
sha256 "bc6def45e32498f51863d67acfbe048c039d630c6a36761ed27e99a5f68d7b27"
bottle do
sha1 "ce3cd69caaa5644f23db06dba5a1b558badca8ad" => :yosemite
@ -15,11 +15,6 @@ class Agda < Formula
sha1 "c6d0c8b66e676f4f7eae63b4fe9b3a40e5a6a36c" => :mountain_lion
end
devel do
url "https://github.com/agda/agda.git", :branch => "maint-2.4.2"
version "2.4.2.3-beta"
end
head "https://github.com/agda/agda.git", :branch => "master"
option "without-epic-backend", "Exclude the Epic compiler backend"
@ -27,7 +22,7 @@ class Agda < Formula
option "with-malonzo-ffi",
"Include the MAlonzo backend's FFI (depends on the standard library)"
depends_on "ghc" => :build
depends_on "ghc"
depends_on "cabal-install" => :build
depends_on "gmp"
@ -41,9 +36,9 @@ class Agda < Formula
url "https://github.com/agda/agda-stdlib.git", :branch => "master"
end
end
resource "stdlib" do
url "https://github.com/agda/agda-stdlib/archive/v0.9.tar.gz"
sha1 "f39d5685ab2dc47758c87d9068047fce6b4b99a1"
url "https://github.com/agda/agda-stdlib.git", :branch => "2.4.2.4"
end
def install
@ -119,7 +114,7 @@ class Agda < Formula
system bin/"agda", "--js", "--safe", test_file_path
# typecheck, compile, and run a program that uses the standard library
if build.with? "stdlib" and build.with? "malonzo-ffi"
if build.with?("stdlib") && build.with?("malonzo-ffi")
test_file_path = testpath/"stdlib-test.agda"
test_file_path.write <<-EOS.undent
module stdlib-test where