diff options
| author | Adam C. Foltzer | 2015-03-21 15:37:39 -0700 |
|---|---|---|
| committer | Mike McQuaid | 2015-03-22 14:49:41 +0000 |
| commit | 052b2e0fee259f18c66cb1cd32bd3a75e44aea3c (patch) | |
| tree | 961c2e87c67c310c40d3f5306ac02792775260ec | |
| parent | 98818395b2d1834cb21de2e083890670b3246af1 (diff) | |
| download | homebrew-052b2e0fee259f18c66cb1cd32bd3a75e44aea3c.tar.bz2 | |
idris 0.9.17
Had to tweak the FFI test slightly, as you now need to specify which FFI
to use
Closes #37946.
Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>
| -rw-r--r-- | Library/Formula/idris.rb | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Library/Formula/idris.rb b/Library/Formula/idris.rb index 21e56a570..18714ee91 100644 --- a/Library/Formula/idris.rb +++ b/Library/Formula/idris.rb @@ -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 |