diff -r 56ef403eab15 -r b452242dce36 src/Pure/Admin/build_verit.scala
--- a/src/Pure/Admin/build_verit.scala	Wed Oct 14 22:30:18 2020 +0200
+++ b/src/Pure/Admin/build_verit.scala	Thu Oct 15 13:24:16 2020 +0200
@@ -97,15 +97,7 @@
       File.write(etc_dir + Path.basic("settings"),
         """# -*- shell-script -*- :mode=shellscript:
 
-VERIT_HOME="$COMPONENT/${ISABELLE_WINDOWS_PLATFORM64:-$ISABELLE_PLATFORM64}"
-VERIT_VERSION=""" + quote(version) + """
-
-VERIT_SOLVER="$VERIT_HOME/veriT"
-
-if [ -e "$VERIT_HOME" ]
-then
-  VERIT_INSTALLED="yes"
-fi
+ISABELLE_VERIT="$COMPONENT/${ISABELLE_WINDOWS_PLATFORM64:-$ISABELLE_PLATFORM64}/veriT"
 """)