Allow disabling building of Java components

2026-05-19 16:12:52 -06:00 · 2005-05-10 11:05:40 +00:00
parent 6896332b66
commit 09efc28c01
4 changed files with 72 additions and 35 deletions
--- a/src/config.mk.in
+++ b/src/config.mk.in
@@ -21,6 +21,8 @@ INSTALL = @INSTALL@
 GHC = @GHC@
 GHCI = @GHCI@

+ENABLE_JAVA = @ENABLE_JAVA@
+
 JAVAC = @JAVAC@
 JAR = @JAR@