From 746894c1fe187f81909d0823e1ec220bdf0d0cce Mon Sep 17 00:00:00 2001 From: "Adam C. Foltzer" Date: Sat, 21 Mar 2015 15:37:39 -0700 Subject: [PATCH] idris 0.9.17 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 --- Formula/idris.rb | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Formula/idris.rb b/Formula/idris.rb index 21e56a570ba1e..18714ee912d30 100644 --- a/Formula/idris.rb +++ b/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 @@ module Main 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