#!/bin/sh # # ${R_HOME}/tools/GETDISTNAME TOOLS_DIR=`echo ${0} | sed 's%/[^/][^/]*$%%'` ( maj=`sed 's/\([^ .]*\).\([^ ]*\) *\(.*\)/\1/' < ${TOOLS_DIR}/../VERSION` min=`sed 's/\([^ .]*\).\([^ ]*\) *\(.*\)/\2/' < ${TOOLS_DIR}/../VERSION` rev=`sed 's/\([^ .]*\).\([^ ]*\) *\(.*\)/\3/' < ${TOOLS_DIR}/../VERSION` if test -z "${rev}" ; then res=R-${maj}.${min} else dat=`sed -e 1d -e 's/^Last Changed Date: //' SVN-REVISION` svn=`sed -e 2d -e 's/^Revision: //' SVN-REVISION` y=`echo ${dat} | cut -d- -f1` m=`echo ${dat} | cut -d- -f2` d=`echo ${dat} | cut -d- -f3` if test "${rev}" = "Under development (unstable)"; then res="R-devel_"${y}-${m}-${d}_r${svn} else rev=`echo ${rev} | tr [A-Z] [a-z]` res="R-${rev}_"${y}-${m}-${d}_r${svn} fi fi echo ${res} )