diff options
author | Gilles Dubochet <gilles.dubochet@epfl.ch> | 2005-12-18 18:33:03 +0000 |
---|---|---|
committer | Gilles Dubochet <gilles.dubochet@epfl.ch> | 2005-12-18 18:33:03 +0000 |
commit | d3819b93ab8b2de3d5cc35c33b8258ccdb5a931a (patch) | |
tree | dfc6f7f497e58ea3321e6f687b11313d2afa86b5 /support/scripts | |
parent | 0e82079908655682e5140ad521cef0572cb6d2a4 (diff) | |
download | scala-d3819b93ab8b2de3d5cc35c33b8258ccdb5a931a.tar.gz scala-d3819b93ab8b2de3d5cc35c33b8258ccdb5a931a.tar.bz2 scala-d3819b93ab8b2de3d5cc35c33b8258ccdb5a931a.zip |
Removed old Scalac code in sources and various ...
Removed old Scalac code in sources and various other obsolete elements.
Diffstat (limited to 'support/scripts')
-rwxr-xr-x | support/scripts/cvs-move-directory | 10 | ||||
-rw-r--r-- | support/scripts/cvs-move-directory.sh | 89 | ||||
-rwxr-xr-x | support/scripts/cvs-remove-directory | 10 | ||||
-rw-r--r-- | support/scripts/cvs-remove-directory.sh | 54 | ||||
-rwxr-xr-x | support/scripts/install | 10 | ||||
-rw-r--r-- | support/scripts/install.sh | 131 | ||||
-rwxr-xr-x | support/scripts/mirror | 10 | ||||
-rw-r--r-- | support/scripts/mirror.sh | 82 | ||||
-rw-r--r-- | support/scripts/stdlib.sh | 94 | ||||
-rwxr-xr-x | support/scripts/version-manager | 10 | ||||
-rw-r--r-- | support/scripts/version-manager.sh | 150 |
11 files changed, 0 insertions, 650 deletions
diff --git a/support/scripts/cvs-move-directory b/support/scripts/cvs-move-directory deleted file mode 100755 index 44742ef9d1..0000000000 --- a/support/scripts/cvs-move-directory +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/bash -########################################################-*-Shell-script-*-#### -# CVS-Move-Directory Command -############################################################################## -# $Id$ - -source $0.sh; -${0##*/} "$@"; - -############################################################################## diff --git a/support/scripts/cvs-move-directory.sh b/support/scripts/cvs-move-directory.sh deleted file mode 100644 index 4f4b8b6be4..0000000000 --- a/support/scripts/cvs-move-directory.sh +++ /dev/null @@ -1,89 +0,0 @@ -########################################################-*-Shell-script-*-#### -# CVS-Move-Directory Function -############################################################################## -# $Id$ - -source ${0%/*}/stdlib.sh; - -############################################################################## -# cvs-move-directory - -function cvs-move-directory-usage() { - echo "Usage: $program <source-directory> <destination-directory>"; -} - -function cvs-move-directory-args() { - case "$1" in - -? | -h | --help ) $program-usage; exit 0;; - --verbose ) verbose=true; return 1;; - --version ) echo "$program (bash script) $version";exit 0;; - -* ) args-option-unknown "$@";; - * ) args-append-array args "$@";; - esac; -} - -function cvs-move-directory-update-repository() { - [ $# = 2 -a -d "$1" -a -d "$1/CVS" ] || abort "internal error"; - local directory="$1"; shift 1; - local repository="$1"; shift 1; - - runO "$directory/CVS/Repository" echo "$repository"; - - local name; - for name in `ls -A "$directory"`; do - local file="$directory/$name"; - if [ -d "$file" -a -d "$file/CVS" ]; then - cvs-move-directory-update-repository "$file" "$repository/$name"; - fi; - done; -} - -function cvs-move-directory() { - local program="$FUNCNAME"; - local version='$Revision$'; - local -a args; - args-loop "$@"; - - # get source and destination directories - [ ${#args[@]} == 2 ] || { $program-usage 1>&2; exit 1; }; - local src_dir="${args[0]}"; - local dst_dir="${args[1]}"; - - if [ ! -d "$src_dir" ]; then - abort "could not find source directory '$src_dir'"; - fi; - if [ ! -d "$src_dir/CVS" ]; then - abort "source directory '$src_dir' is not cvs-controlled"; - fi; - if [ -d "$dst_dir" ]; then - abort "destination directory '$dst_dir' exists already"; - fi; - - local src_name=`basename "$src_dir"`; - local dst_name=`basename "$dst_dir"`; - local src_parent=`dirname "$src_dir"`; - local dst_parent=`dirname "$dst_dir"`; - local src_entries="$src_parent/CVS/Entries"; - local dst_entries="$dst_parent/CVS/Entries"; - local dst_repository="$dst_parent/CVS/Repository"; - - if [ ! -f "$src_entries" ]; then - abort "could not find source entry file '$src_entries'"; - fi; - if [ ! -f "$dst_entries" ]; then - abort "could not find destination entry file '$dst_entries'"; - fi; - if [ ! -f "$dst_repository" ]; then - abort "could not find destination repository file '$dst_repository'"; - fi; - - run mv "$src_dir" "$dst_dir"; - runO "$src_entries~" grep -v "D/$src_name////" "$src_entries"; - run mv "$src_entries~" "$src_entries"; - runOO "$dst_entries" echo "D/$dst_name////"; - - cvs-move-directory-update-repository "$dst_dir" \ - `head -1 $dst_repository`/"$dst_name"; -} - -############################################################################## diff --git a/support/scripts/cvs-remove-directory b/support/scripts/cvs-remove-directory deleted file mode 100755 index a56c9e8263..0000000000 --- a/support/scripts/cvs-remove-directory +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/bash -########################################################-*-Shell-script-*-#### -# CVS-Remove-Directory Command -############################################################################## -# $Id$ - -source $0.sh; -${0##*/} "$@"; - -############################################################################## diff --git a/support/scripts/cvs-remove-directory.sh b/support/scripts/cvs-remove-directory.sh deleted file mode 100644 index db46589b1f..0000000000 --- a/support/scripts/cvs-remove-directory.sh +++ /dev/null @@ -1,54 +0,0 @@ -########################################################-*-Shell-script-*-#### -# CVS-Remove-Directory Function -############################################################################## -# $Id$ - -source ${0%/*}/stdlib.sh; - -############################################################################## -# cvs-move-directory - -function cvs-remove-directory-usage() { - echo "Usage: $program <source-directory>"; -} - -function cvs-remove-directory-args() { - case "$1" in - -? | -h | --help ) $program-usage; exit 0;; - --verbose ) verbose=true; return 1;; - --version ) echo "$program (bash script) $version";exit 0;; - -* ) args-option-unknown "$@";; - * ) args-append-array args "$@";; - esac; -} - -function cvs-remove-directory() { - local program="$FUNCNAME"; - local version='$Revision$'; - local -a args; - args-loop "$@"; - - # get source and destination directories - [ ${#args[@]} == 1 ] || { $program-usage 1>&2; exit 1; }; - local src_dir="${args[0]}"; - - if [ ! -d "$src_dir" ]; then - abort "could not find source directory '$src_dir'"; - fi; - if [ ! -d "$src_dir/CVS" ]; then - abort "source directory '$src_dir' is not cvs-controlled"; - fi; - - local src_name=`basename "$src_dir"`; - local src_parent=`dirname "$src_dir"`; - local src_entries="$src_parent/CVS/Entries"; - - if [ ! -f "$src_entries" ]; then - abort "could not find source entry file '$src_entries'"; - fi; - - runO "$src_entries~" grep -v "D/$src_name////" "$src_entries"; - run mv "$src_entries~" "$src_entries"; -} - -############################################################################## diff --git a/support/scripts/install b/support/scripts/install deleted file mode 100755 index e0f19ad9d3..0000000000 --- a/support/scripts/install +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/bash -########################################################-*-Shell-script-*-#### -# Install Command -############################################################################## -# $Id$ - -source ${0%/*}/install.sh; -install "$@" - -############################################################################## diff --git a/support/scripts/install.sh b/support/scripts/install.sh deleted file mode 100644 index fb26219b51..0000000000 --- a/support/scripts/install.sh +++ /dev/null @@ -1,131 +0,0 @@ -########################################################-*-Shell-script-*-#### -# Install Function -############################################################################## -# $Id$ - -source ${0%/*}/stdlib.sh; - -############################################################################## -# install - -function install-args() { - case "$1" in - --version ) echo "install (bash script) $version"; exit 0;; - -d ) directory="true"; return 1;; - --directory ) directory="true"; return 1;; - -D ) leading="true"; return 1;; - -o ) args-option-value owner "$@";; - --owner=* ) args-inline-value owner "$@";; - -g ) args-option-value group "$@";; - --group=* ) args-inline-value group "$@";; - -m ) args-option-value mode "$@";; - --mode=* ) args-inline-value mode "$@";; - -p ) preserve="true"; return 1;; - --preserve-timestamps ) preserve="true"; return 1;; - -* ) args-option-unknown "$@";; - * ) args-append-array files "$@";; - esac; -} - -function install-attr() { - local file="$1"; - if [ -n "$mode" ]; then - run chmod "$mode" "$file"; - fi; - if [ -n "$owner" -a -n "$group" ]; then - run chown "$owner:$group" "$file"; - elif [ -n "$owner" ]; then - run chown "$owner" "$file"; - elif [ -n "$group" ]; then - run chown ":$group" "$file"; - fi; -} - -function install-mkdir() { - local dstpath="$1"; shift 1; - if [ "$dstpath" != "." ]; then - run mkdir -p "$dstpath"; - fi; -} - -function install-copy() { - local srcfile="$1"; shift 1; - local dstfile="$1"; shift 1; - run cp "$srcfile" "$dstfile"; - if [ "$preserve" == "true" ]; then - touch -r "$srcfile" "$dstfile"; - fi; - install-attr "$dstfile"; -} - -function install-dirs() { - while [ $# -gt 0 ]; do - local dstpath="$1"; shift 1; - install-mkdir "$dstpath"; - install-attr "$dstpath"; - done; -} - -function install-file() { - local srcfile="$1"; shift 1; - local dstfile="$1"; shift 1; - local dstpath="`dirname "$dstfile"`"; - if [ "$leading" == "true" ]; then - install-mkdir "$dstpath"; - fi; - install-copy "$srcfile" "$dstfile"; -} - -function install-files() { - local dstpath="$1"; shift 1; - while [ $# -gt 0 ]; do - local srcfile="$1"; shift 1; - local dstfile="$dstpath/`basename "$srcfile"`"; - install-copy "$srcfile" "$dstfile"; - done; -} - -function install() { - local program="$FUNCNAME"; - local version='$Revision$'; - local directory="false"; - local leading="false"; - local owner=""; - local group=""; - local mode=""; - local preserve="false"; - local -a files; - - args-loop "$@"; - - local count="${#files[@]}"; - if [ $count -lt 1 ]; then - if [ "$directory" == "true" ]; then - abort "missing target directory"; - else - abort "missing source file"; - fi; - fi; - - if [ "$directory" == "true" ]; then - install-dirs "${files[@]}"; - else - if [ $count -lt 2 ]; then - abort "missing destination"; - fi; - - local last="${files[$(($count-1))]}"; - if [ -d "$last" ]; then - unset files[$(($count-1))]; - install-files "$last" "${files[@]}"; - elif [ $count -eq 2 ]; then - install-file "${files[@]}"; - else - local text1="installing multiple files, but last"; - local text2="argument, '$last' is not a directory"; - abort "$text1 $text2"; - fi; - fi; -} - -############################################################################## diff --git a/support/scripts/mirror b/support/scripts/mirror deleted file mode 100755 index 179582d1de..0000000000 --- a/support/scripts/mirror +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/bash -########################################################-*-Shell-script-*-#### -# Mirror Command -############################################################################## -# $Id$ - -source ${0%/*}/mirror.sh; -mirror "$@" - -############################################################################## diff --git a/support/scripts/mirror.sh b/support/scripts/mirror.sh deleted file mode 100644 index 64848ed538..0000000000 --- a/support/scripts/mirror.sh +++ /dev/null @@ -1,82 +0,0 @@ -########################################################-*-Shell-script-*-#### -# Mirror Function -############################################################################## -# $Id$ - -source ${0%/*}/install.sh; - -############################################################################## -# mirror - -# usage: mirror [-C prefix] [install-options] [files] dstdir -# first cds into <prefix>, then mirrors <files> into <dstdir> - -function mirror-args() { - case "$1" in - --version ) echo "install (bash script) $version"; exit 0;; - -C ) args-option-value prefix "$@";; - -o ) args-option-value owner "$@";; - --owner=* ) args-inline-value owner "$@";; - -g ) args-option-value group "$@";; - --group=* ) args-inline-value group "$@";; - -m ) args-option-value mode "$@";; - --mode=* ) args-inline-value mode "$@";; - -p ) preserve="true"; return 1;; - --preserve-timestamps ) preserve="true"; return 1;; - -* ) args-option-unknown "$@";; - * ) args-append-array files "$@";; - esac; -} - -function mirror-files() { - local prefix="$1"; shift 1; - local dstpath="$1"; shift 1; - while [ $# -gt 0 ]; do - local srcfile="$1"; shift 1; - local dstfile="$dstpath/$srcfile"; - install "${instargs[@]}" "$prefix/$srcfile" "$dstfile"; - done; -} - -function mirror() { - local program="$FUNCNAME"; - local version='$Revision$'; - local prefix="."; - local owner=""; - local group=""; - local mode=""; - local preserve="false"; - local -a files; - - args-loop "$@"; - - if [ ! -d "$prefix" ]; then - abort "could not find directory '$prefix'"; - fi; - - local count="${#files[@]}"; - if [ $count -lt 1 ]; then - abort "missing target directory"; - fi; - - local -a instargs; - instargs[${#instargs[@]}]="-D"; - if [ -n "$owner" ]; then - instargs[${#instargs[@]}]="--owner=$owner"; - fi; - if [ -n "$group" ]; then - instargs[${#instargs[@]}]="--group=$group"; - fi; - if [ -n "$mode" ]; then - instargs[${#instargs[@]}]="--mode=$mode"; - fi; - if [ "$preserve" == "true" ]; then - instargs[${#instargs[@]}]="--preserve-timestamps"; - fi; - - local dstpath="${files[$(($count-1))]}"; - unset files[$(($count-1))]; - mirror-files "$prefix" "$dstpath" "${files[@]}"; -} - -############################################################################## diff --git a/support/scripts/stdlib.sh b/support/scripts/stdlib.sh deleted file mode 100644 index fed03dae2b..0000000000 --- a/support/scripts/stdlib.sh +++ /dev/null @@ -1,94 +0,0 @@ -########################################################-*-Shell-script-*-#### -# Bash Standard Library -############################################################################## -# $Id$ - -function print() { - while [ $# -gt 0 ]; do - echo "$1"; - shift 1; - done -} - -function abort() { - print "${program:-$0}: ""$@" 1>&2; - exit 1; -} - -function warning() { - print "${program:-$0}: warning: ""$@" 1>&2; -} - -function run_() { - "$@" || exit $?; -} - -function run() { - [ "$verbose" = "true" ] && echo "$@"; - run_ "$@"; -} - -function runO() { - local stdout="$1"; shift 1; - [ "$verbose" = "true" ] && echo "$@" "1>" "$stdout"; - run_ "$@" 1> "$stdout"; -} - -function runOO() { - local stdout="$1"; shift 1; - [ "$verbose" = "true" ] && echo "$@" "1>>" "$stdout"; - run_ "$@" 1>> "$stdout"; -} - -############################################################################## - -# usage: args-loop <script> "$@" -# process all arguments -function args-loop() { - while [ $# -gt 0 ]; do - $program-args "$@"; - shift $?; - done; -} - -# usage: args-option-unknown "$@" -# <option> ... => abort "unknown option <option>"; -function args-option-unknown() { - abort "unknown option $1"; -} - -# usage: args-unknown "$@" -# <argument> ... => abort "don't know what to do with argument <argument>"; -function args-unknown() { - abort "don't know what to do with argument '$1'"; -} - -# usage: args-append-array <array> "$@" -# <argument> ... => <array>[${#<array>[@]}]=<argument>; shift 1; -function args-append-array() { - local array="$1"; shift 1; - eval "$array[\${#$array[@]}]=\"\$1\""; - return 1; -} - -# usage: args-option-value <value> "$@" -# <option> <argument> ... => <value>=<argument>; shift 2; -function args-option-value() { - local value="$1"; shift 1; - if [ $# -lt 2 ]; then - abort "missing argument for option $1"; - fi; - eval "$value=\"\$2\""; - return 2; -} - -# usage: args-inline-value <value> "$@" -# <value-name>=<argument> ... => <value>=<argument>; shift 1; -function args-inline-value() { - local value="$1"; shift 1; - local prefix="$value"; - eval "$value=\"\${1#--$prefix=}\""; - return 1; -} - -############################################################################## diff --git a/support/scripts/version-manager b/support/scripts/version-manager deleted file mode 100755 index 7c4d8f3d38..0000000000 --- a/support/scripts/version-manager +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/bash -########################################################-*-Shell-script-*-#### -# Version-Manager Command -############################################################################## -# $Id$ - -source $0.sh; -${0##*/} "$@"; - -############################################################################## diff --git a/support/scripts/version-manager.sh b/support/scripts/version-manager.sh deleted file mode 100644 index 9c7976872f..0000000000 --- a/support/scripts/version-manager.sh +++ /dev/null @@ -1,150 +0,0 @@ -########################################################-*-Shell-script-*-#### -# Version-Manager Function -############################################################################## -# $Id$ - -source ${0%/*}/stdlib.sh; - -############################################################################## -# version-manager - -function version-manager-usage() { - echo "Usage: $program <version-file> update"; - echo " $program <version-file> increment"; - echo " $program <version-file> set <version-value>"; -} - -function version-manager-args() { - case "$1" in - -? | -h | --help ) $program-usage; exit 0;; - --verbose ) verbose=true; return 1;; - --version ) echo "$program (bash script) $version";exit 0;; - -* ) args-option-unknown "$@";; - * ) args-append-array args "$@";; - esac; -} - -function version-manager-compose() { - [ $# = 5 ] || abort "internal error"; - local variable="$1"; shift 1; - local value="$1.$2.$3.$4"; shift 4; - eval "$variable=\"\$value\""; -} - -function version-manager-decompose() { - [ $# = 2 ] || abort "internal error"; - local array="$1"; shift 1; - local value="$1"; shift 1; - local v0=`expr "$value" : '\([0-9]*\)\.[0-9]*\.[0-9]*\.[0-9]*$'`; - local v1=`expr "$value" : '[0-9]*\.\([0-9]*\)\.[0-9]*\.[0-9]*$'`; - local v2=`expr "$value" : '[0-9]*\.[0-9]*\.\([0-9]*\)\.[0-9]*$'`; - local v3=`expr "$value" : '[0-9]*\.[0-9]*\.[0-9]*\.\([0-9]*\)$'`; - eval "$array[0]=\"\$v0\""; - eval "$array[1]=\"\$v1\""; - eval "$array[2]=\"\$v2\""; - eval "$array[3]=\"\$v3\""; -} - -function version-manager-check-syntax() { - [ $# = 1 ] || abort "internal error"; - local value="$1"; shift 1; - expr "$value" : '[0-9]*\.[0-9]*\.[0-9]*\.[0-9]*$' 1> /dev/null 2>&1; -} - -function version-manager-check-order() { - [ $# = 8 ] || abort "internal error"; - local l0="$1"; local l1="$2"; local l2="$3"; local l3="$4"; shift 4; - local r0="$1"; local r1="$2"; local r2="$3"; local r3="$4"; shift 4; - [ $l0 -lt $r0 ] && return 0; [ $l0 -gt $r0 ] && return 1; - [ $l1 -lt $r1 ] && return 0; [ $l1 -gt $r1 ] && return 1; - [ $l2 -lt $r2 ] && return 0; [ $l2 -gt $r2 ] && return 1; - [ $l3 -lt $r3 ] && return 0; [ $l3 -gt $r3 ] && return 1; - return 1; -} - -function version-manager() { - local program="$FUNCNAME"; - local version='$Revision$'; - local -a args; - args-loop "$@"; - - # get file name and command name - [ ${#args[@]} -ge 2 ] || { $program-usage 1>&2; exit 1; } - local file="${args[0]}"; - local command="${args[1]}"; - - # check command name and argument count - case "$command" in - update ) local nargs=0;; - increment ) local nargs=0;; - set ) local nargs=1;; - * ) $program-usage 1>&2; exit 1;; - esac; - [ ${#args[@]} = $[$nargs+2] ] || { $program-usage 1>&2; exit 1; } - - # check new value syntax, if command is "set" - if [ "$command" = "set" ]; then - local new_value="${args[2]}"; - if ! $program-check-syntax "$new_value.0"; then - local -a error; - error[0]="version value '$new_value' does not conform"; - error[1]="to version syntax <int>.<int>.<int>"; - abort "${error[*]}"; - fi; - new_value="$new_value.0"; - fi; - - # check file existence - [ -f "$file" ] || abort "could not find file '$file'"; - - # update version file - run rm -f "$file"; - run cvs -Q update "$file"; - - # get old value - local old_value=`tail -1 "$file"`; - - # check old value syntax - if ! $program-check-syntax "$old_value"; then - local -a error; - error[0]="version value '$old_value' in file '$file' does not conform"; - error[1]="to version syntax <int>.<int>.<int>.<int>"; - abort "${error[*]}"; - fi; - - # terminate if command is "update" - [ "$command" = "update" ] && exit 0; - - # compute old and new arrays - local -a old_array; - local -a new_array; - $program-decompose old_array "$old_value"; - if [ "$command" = "increment" ]; then - $program-decompose new_array "$old_value"; - new_array[3]=$[${new_array[3]}+1]; - else - $program-decompose new_array "$new_value"; - fi; - - # check order of old and new values - if ! $program-check-order "${old_array[@]}" "${new_array[@]}"; then - abort "new version must be greater than '$old_value'"; - fi; - - # compute new value - local new_value; - $program-compose new_value "${new_array[@]}"; - - # rewrite version file - runO "$file~" sed -es@"$old_value"@"$new_value"@ "$file"; - run mv "$file~" "$file"; - - # commit version file - runO /dev/null cvs -Q commit -m "Set version to $new_value" "$file"; - - if [ "$command" = "set" ]; then - echo "Successfully changed version to $new_value"; - fi; -} - -############################################################################## |