# HG changeset patch
# User wenzelm
# Date 1625834482 -7200
# Node ID 0b5e6851c7226e6120122f978ee4da121f0f69a1
# Parent  74ab1fb470a3d30361062c6749d4c3dfebbd3010
clarified javac options;

diff -r 74ab1fb470a3 -r 0b5e6851c722 Admin/lib/Tools/build_setup
--- a/Admin/lib/Tools/build_setup	Fri Jul 09 13:46:42 2021 +0200
+++ b/Admin/lib/Tools/build_setup	Fri Jul 09 14:41:22 2021 +0200
@@ -57,7 +57,8 @@
   ARGS["${#ARGS[@]}"]="$(platform_path "$ISABELLE_HOME/src/Tools/Setup/isabelle/setup/$SRC")"
 done
 
-isabelle_jdk javac -d "$TARGET_DIR" -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "${ARGS[@]}" || \
+isabelle_jdk javac $ISABELLE_JAVAC_OPTIONS -d "$TARGET_DIR" \
+  -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "${ARGS[@]}" || \
   fail "Failed to compile sources"
 
 isabelle_jdk jar -c -f "$(platform_path "$TARGET_DIR/isabelle_setup.jar")" \
diff -r 74ab1fb470a3 -r 0b5e6851c722 etc/settings
--- a/etc/settings	Fri Jul 09 13:46:42 2021 +0200
+++ b/etc/settings	Fri Jul 09 14:41:22 2021 +0200
@@ -16,6 +16,7 @@
 
 ISABELLE_TOOL_JAVA_OPTIONS="-Djava.awt.headless=true -Xms512m -Xmx4g -Xss16m"
 
+ISABELLE_JAVAC_OPTIONS="-encoding UTF-8 -Xlint:-options -deprecation -source 11 -target 11"
 ISABELLE_SCALAC_OPTIONS="-encoding UTF-8 -Wconf:cat=other-match-analysis:silent -feature -deprecation -target:11 -Xsource:3 -J-Xms512m -J-Xmx4g -J-Xss16m"
 
 classpath "$ISABELLE_HOME/lib/classes/Pure.jar"