Skip to content

Make daikon.bashrc ask javac or java for JAVA_HOME #911

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
mernst wants to merge 2 commits into from
Closed

Make daikon.bashrc ask javac or java for JAVA_HOME #911

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
ffbbb99
Make daikon.bashrc ask javac or java for JAVA_HOME
mernst Oct 11, 2026
cf2d9dc
daikon.bashrc: require a JDK; find it quickly via symlinks; clearer e…
mernst Oct 11, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
33 changes: 27 additions & 6 deletions scripts/daikon.bashrc
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -8,15 +8,36 @@
## files to .class files but have not re-made the daikon.jar file.
## You should not need to edit this file.

if [ "$(uname)" = "Darwin" ] ; then
export JAVA_HOME=${JAVA_HOME:-$(/usr/libexec/java_home)}
else
export JAVA_HOME=${JAVA_HOME:-$(dirname $(dirname $(readlink -f $(which javac))))}
# Find the JDK that contains the javac on the PATH. (Daikon requires a JDK, not
# just a JRE, because it compiles splitters at run time.) Following symlinks is
# fast, but it does not work for a wrapper script (as used by jenv, asdf, or mise)
# or for the macOS /usr/bin/javac stub, so in those cases ask the JVM instead.
# A JDK home contains a "release" file; a wrapper's directory does not.
# For JDK 8, java.home is the jre/ subdirectory of the JDK.
# A failed detection does not modify JAVA_HOME in the user's shell.
daikon_java_home="$JAVA_HOME"
# "type -P" ignores aliases such as "alias javac='javac -g'".
if [ -z "$daikon_java_home" ] && daikon_java_home=$(type -P javac) ; then
daikon_java_home=$(readlink -f "$daikon_java_home" 2> /dev/null)
daikon_java_home="${daikon_java_home%/bin/javac}"
if [ ! -f "$daikon_java_home/release" ] ; then
daikon_java_home=$(command javac -J-XshowSettings:properties -version 2>&1 | sed -n -e 's/^ *java\.home = //p')
if [ -x "${daikon_java_home%/jre}/bin/javac" ] ; then
daikon_java_home="${daikon_java_home%/jre}"
fi
fi
fi
if [ ! -d "$JAVA_HOME" ]; then
echo "Cannot infer JAVA_HOME; please set it. Aborting daikon.bashrc ."
if [ -z "$daikon_java_home" ] || [ ! -x "$daikon_java_home/bin/javac" ] ; then
if [ -n "$JAVA_HOME" ] ; then
echo "JAVA_HOME=$JAVA_HOME does not contain bin/javac; set it to a JDK or unset it. Aborting daikon.bashrc ."
else
echo "Cannot find a JDK; set JAVA_HOME or put javac on the PATH. Aborting daikon.bashrc ."
fi
unset daikon_java_home
return 2
fi
export JAVA_HOME="$daikon_java_home"
unset daikon_java_home

if [ ${#BASH_SOURCE[@]} -eq 0 ]; then
# Cannot infer DAIKONDIR.
Expand Down
Loading