Removed old Scalac code in sources and various ...

Removed old Scalac code in sources and various other obsolete elements.

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;
-}
-
-##############################################################################