From faa08207815bbdc6877e86e448d45e771e7663ae Mon Sep 17 00:00:00 2001
From: FX Coudert <fxcoudert@gmail.com>
Date: Tue, 4 Sep 2018 22:58:07 +0200
Subject: [PATCH] xapian: remove some options

---
 Formula/xapian.rb | 16 +---------------
 1 file changed, 1 insertion(+), 15 deletions(-)

diff --git a/Formula/xapian.rb b/Formula/xapian.rb
index 24debab85d..e9263e4ab6 100644
--- a/Formula/xapian.rb
+++ b/Formula/xapian.rb
@@ -13,12 +13,8 @@ class Xapian < Formula
     sha256 "1ee62f239e87de8a4ba26c7f74eaefff7ec4841e83a01dbcf14d4a2c712781c0" => :el_capitan
   end
 
-  option "with-java", "Java bindings"
-  option "with-php", "PHP bindings"
   option "with-ruby", "Ruby bindings"
 
-  deprecated_option "java" => "with-java"
-  deprecated_option "php" => "with-php"
   deprecated_option "ruby" => "with-ruby"
   deprecated_option "with-python" => "with-python@2"
 
@@ -34,14 +30,12 @@ class Xapian < Formula
   end
 
   def install
-    build_binds = build.with?("ruby") || build.with?("python@2") || build.with?("java") || build.with?("php")
-
     system "./configure", "--disable-dependency-tracking",
                           "--disable-silent-rules",
                           "--prefix=#{prefix}"
     system "make", "install"
 
-    if build_binds
+    if build.with?("ruby") || build.with?("python@2")
       resource("bindings").stage do
         ENV["XAPIAN_CONFIG"] = bin/"xapian-config"
 
@@ -50,8 +44,6 @@ class Xapian < Formula
           --prefix=#{prefix}
         ]
 
-        args << "--with-java" if build.with? "java"
-
         if build.with? "ruby"
           ruby_site = lib/"ruby/site_ruby"
           ENV["RUBY_LIB"] = ENV["RUBY_LIB_ARCH"] = ruby_site
@@ -73,12 +65,6 @@ class Xapian < Formula
           args << "--with-python"
         end
 
-        if build.with? "php"
-          extension_dir = lib/"php/extensions"
-          extension_dir.mkpath
-          args << "--with-php" << "PHP_EXTENSION_DIR=#{extension_dir}"
-        end
-
         system "./configure", *args
         system "make", "install"
       end