For linux, perhaps it would make sense to include both executables in the .deb, with the ijconsole link pointing to the non-avx version, then in the postinstall script, test if the avx version works and if it does, update that link.
Something like this #!/bin/sh set -e # /usr/share/j/8.06/make_scripts # cp /usr/share/j/8.06/jqt.desktop /usr/share/applications/jqt.desktop cp /usr/share/j/8.06/ijconsole.desktop /usr/share/applications/ijconsole.desktop cp /usr/share/j/8.06/icons/jgreen.png /usr/share/icons/hicolor/scalable/apps/ # gtk-update-icon-cache --quiet --force --ignore-theme-index /usr/share/icons/hicolor if [ -x "`which gtk-update-icon-cache`" ]; then gtk-update-icon-cache --quiet --force --ignore-theme-index /usr/share/icons/hicolor fi ulimit -c 0 # do not dump core on non-avx systems if :|/usr/bin/ijconsole-8.06-avx >/dev/null 2>/dev/null; then ln -sf /usr/bin/ijconsole-8.06-avx /usr/bin/ijconsole fi exit 0 Thanks, -- Raul ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
