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

idris 0.9.17

Browse source 
Had to tweak the FFI test slightly, as you now need to specify which FFI
to use

Closes Homebrew/homebrew#37946.

Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>
This commit is contained in:
Adam C. Foltzer 2015-03-21 15:37:39 -07:00 committed by Mike McQuaid
parent 187ff0177f
commit 746894c1fe
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
Formula/idris.rb
View file

@ -4,8 +4,8 @@ class Idris < Formula
include Language::Haskell::Cabal
homepage "http://www.idris-lang.org"
url "https://github.com/idris-lang/Idris-dev/archive/v0.9.16.tar.gz"
sha1 "01f794c4e516454b8352266c26c92549e90c708f"
url "https://github.com/idris-lang/Idris-dev/archive/v0.9.17.tar.gz"
sha1 "d51d68227b3e3d3967769749314d3a75755a68ef"
head "https://github.com/idris-lang/Idris-dev.git"
bottle do
@ -39,7 +39,7 @@ class Idris < Formula
assert_match /Hello, Homebrew!/, result
if build.with? "libffi"
cmd = "#{bin}/idris --exec 'putStrLn \"Hello, interpreter!\"'"
cmd = "#{bin}/idris --exec 'putStrLn {ffi=FFI_C} \"Hello, interpreter!\"'"
result = shell_output cmd
assert_match /Hello, interpreter!/, result
end