# HG changeset patch
# User wenzelm
# Date 1378987845 -7200
# Node ID 602dc7e63757c614ba16f8e48207aa6180ec5960
# Parent  838d9e058a1a81f5513d4e23994aed35d93a7d68
propagate ISABELLE_CLASSPATH;

diff -r 838d9e058a1a -r 602dc7e63757 Admin/lib/Tools/makedist
--- a/Admin/lib/Tools/makedist	Thu Sep 12 14:06:08 2013 +0200
+++ b/Admin/lib/Tools/makedist	Thu Sep 12 14:10:45 2013 +0200
@@ -168,6 +168,8 @@
 find . "(" -name \*.thy -o -name \*.ML -o -name \*.scala ")" -perm +111 -print | xargs chmod -f -x
 find . -print | xargs chmod -f u+rw
 
+export CLASSPATH="$ISABELLE_CLASSPATH"
+
 ./bin/isabelle env ISABELLE_SCALA_BUILD_OPTIONS="$ISABELLE_SCALA_BUILD_OPTIONS -optimise" \
   ./Admin/build all || fail "Failed to build distribution"