swi-prolog: remove some options

This commit is contained in:
FX Coudert 2018-09-05 14:21:18 +02:00
parent b3af8f466c
commit bf8a03c60f

View file

@ -24,12 +24,9 @@ class SwiProlog < Formula
depends_on "autoconf" => :build
end
option "with-lite", "Disable all packages"
option "with-jpl", "Enable JPL (Java Prolog Bridge)"
option "with-xpce", "Enable XPCE (Prolog Native GUI Library)"
deprecated_option "lite" => "with-lite"
depends_on "pkg-config" => :build
depends_on "readline"
depends_on "gmp"
@ -58,9 +55,6 @@ class SwiProlog < Formula
ENV["CIFLAGS"] = ENV.cppflags
ENV["COFLAGS"] = ENV.cflags
# Build the packages unless --with-lite option specified
args << "--with-world" if build.without? "lite"
# './prepare' prompts the user to build documentation
# (which requires other modules). '3' is the option
# to ignore documentation.