Mercurial Mercurial > repos > isabelle / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/Tools/scalac
author wenzelm
Wed, 24 Nov 2021 21:04:39 +0100
changeset 74839 3bf746911da1
parent 74038 b4f57bfe82e7
child 76343 6a6f650cc5a2
permissions -rwxr-xr-x
more explicit type Latex.Tags; generate isabelletags.sty from Isabelle/Scala, including comment.sty setup;

#!/usr/bin/env bash
#
# Author: Makarius
#
# DESCRIPTION: invoke Scala compiler within the Isabelle environment

isabelle scala_build || exit $?

classpath "$ISABELLE_SETUP_CLASSPATH"; unset ISABELLE_SETUP_CLASSPATH
classpath "$CLASSPATH"; unset CLASSPATH

isabelle_scala scalac -Dfile.encoding=UTF-8 \
  -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@"
isabelle