#! /bin/bash

# this fixes the bad JAVA_HOME setting in /pkg/python-3.11.7-1/bin/imagej

set -e

PKG=imagej
VERSION=1.54f
BUILD=0

PREFIX=/pkg/$PKG-$VERSION-$BUILD
if [ -n "$TESTING" ]; then PREFIX=/scratch/local2/$USER/$PKG-$VERSION-$BUILD ; fi

mkdir -p $PREFIX
cat >$PREFIX/profile <<-EOF
	PATH=$PREFIX/bin:\$PATH
EOF
. $PREFIX/profile

cd $PREFIX

mkdir -pv bin

cat >bin/imagej <<-'EOF'
	#!/bin/sh
	
	export JAVA_HOME=/pkg/openjdk-17.0.2.8-0
	exec /pkg/python-3.11.7-1/bin/imagej.dist "$@"
	
EOF

chmod 0755 bin/imagej

exit