summaryrefslogtreecommitdiff
path: root/ant-common.sh
diff options
context:
space:
mode:
authormichelou <michelou@epfl.ch>2005-10-13 09:09:49 +0000
committermichelou <michelou@epfl.ch>2005-10-13 09:09:49 +0000
commitd2c7c9829125dcf0c21369fd2fdb3bbc3370169e (patch)
treeb06f8c69017564a0936f0bc4833f1aadecf6f2ec /ant-common.sh
parentad4be6739a5caa919c9805b86e7d26dcfc2bd53f (diff)
downloadscala-d2c7c9829125dcf0c21369fd2fdb3bbc3370169e.tar.gz
scala-d2c7c9829125dcf0c21369fd2fdb3bbc3370169e.tar.bz2
scala-d2c7c9829125dcf0c21369fd2fdb3bbc3370169e.zip
- use Ant now !
Diffstat (limited to 'ant-common.sh')
-rwxr-xr-xant-common.sh45
1 files changed, 0 insertions, 45 deletions
diff --git a/ant-common.sh b/ant-common.sh
deleted file mode 100755
index d486072dce..0000000000
--- a/ant-common.sh
+++ /dev/null
@@ -1,45 +0,0 @@
-#!/bin/bash
-########################################################-*-Shell-script-*-####
-# Common settings
-##############################################################################
-# $Id$
-
-cygwin=false;
-darwin=false;
-case "`uname`" in
- CYGWIN*) cygwin=true ;;
- Darwin*) darwin=true ;;
-esac
-
-##############################################################################
-# Apache Ant
-
-ANT_CMD=ant
-export ANT_OPTS='-Xmx256M'
-
-##############################################################################
-# Shell commands
-
-CP=cp
-ECHO=echo
-RM='rm -f'
-SED=sed
-
-##############################################################################
-# set user environment
-
-$ANT_CMD -Dplatform=unix -q -f setenv-nsc.xml
-. env.sh
-
-ANT_CONFIG_BUILDFILE=$1.xml
-ANT_BUILDFILE=concrete-$ANT_CONFIG_BUILDFILE
-ANT_EXCLUDEFILE=developer/${USER}/$1-excludes.xml
-
-if [ -f "$ANT_EXCLUDEFILE" ]; then
- $SED -e "s#userExcludes\ \"\"#userExcludes\ SYSTEM\ \"$ANT_EXCLUDEFILE\"#" \
- < $ANT_CONFIG_BUILDFILE > $ANT_BUILDFILE;
- else
- $CP $ANT_CONFIG_BUILDFILE $ANT_BUILDFILE;
-fi
-
-##############################################################################