improve the idris formula

- Add a distinction between stable and HEAD

- Add a recommended dependency on libffi so that the interpreter can
  execute IO actions dynamically

- Add the release flag to stable builds

Closes #35918.

Signed-off-by: Jack Nagel <jacknagel@gmail.com>

1 files changed, 13 insertions, 2 deletions

diff --git a/Library/Formula/idris.rb b/Library/Formula/idris.rb
index 21273b97f..a6c6ce362 100644
--- a/Library/Formula/idris.rb
+++ b/Library/Formula/idris.rb
@@ -1,4 +1,3 @@
-require "formula"
 require "language/haskell"
 
 class Idris < Formula
@@ -19,8 +18,14 @@ class Idris < Formula
   depends_on "cabal-install" => :build
   depends_on "gmp"
 
+  depends_on "libffi" => :recommended
+  depends_on "pkg-config" => :build if build.with? "libffi"
+
   def install
-    install_cabal_package
+    flags = []
+    flags << "-f FFI" if build.with? "libffi"
+    flags << "-f release" if build.stable?
+    install_cabal_package flags
   end
 
   test do
@@ -32,5 +37,11 @@ class Idris < Formula
     shell_output "#{bin}/idris #{testpath}/hello.idr -o #{testpath}/hello"
     result = shell_output "#{testpath}/hello"
     assert_match /Hello, Homebrew!/, result
+
+    if build.with? "libffi"
+      cmd = "#{bin}/idris --exec 'putStrLn \"Hello, interpreter!\"'"
+      result = shell_output cmd
+      assert_match /Hello, interpreter!/, result
+    end
   end
 end