Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLluis Sanchez <lluis@xamarin.com>2015-06-03 12:58:48 +0300
committerLluis Sanchez <lluis@xamarin.com>2015-06-03 12:58:48 +0300
commitfbe4e42e90d4289b9253138cdcd4d3b46323e642 (patch)
tree3f992e9d7c22b56bb9cb0122508aa94acec133f9 /extras/JavaBinding/configure
parentdaf2d3b042686951d4b135685653c0de27b733aa (diff)
Remove old add-ins
The add-ins removed in this commit have been moved to https://github.com/monodevelop
Diffstat (limited to 'extras/JavaBinding/configure')
-rwxr-xr-xextras/JavaBinding/configure102
1 files changed, 0 insertions, 102 deletions
diff --git a/extras/JavaBinding/configure b/extras/JavaBinding/configure
deleted file mode 100755
index 3b77b7e1f1..0000000000
--- a/extras/JavaBinding/configure
+++ /dev/null
@@ -1,102 +0,0 @@
-#!/usr/bin/env bash
-VERSION=4.2.3
-PACKAGE=monodevelop-java
-prefix=/usr/local
-config=DEBUG
-configurations=" RELEASE DEBUG"
-required_packages="mono-addins;0.3 gtk-sharp-2.0;2.12.8 glade-sharp-2.0;2.12.8 monodevelop;2.7"
-
-usage ()
-{
- echo "Usage : configure [--prefix=PREFIX] [--config=CONFIG]"
- echo
- echo "Configurations available :"
- for c in $configurations; do
- if [ "$c" = "$config" ]; then
- echo " $c (Default)"
- else
- echo " $c"
- fi
- done
-}
-
-validate_config ()
-{
- test -z "$1" && return 0
- for c in $configurations; do
- if [ "$c" = "$1" ]; then
- return 1
- fi
- done
- return 0
-}
-
-check_required_packages ()
-{
- echo "Looking for required packages" | tee config.log
- for pkg in $required_packages; do
- name=`echo $pkg | cut -d\; -f1`
- version=`echo $pkg | cut -d\; -f2`
-
- echo -n "Checking for package '$name'.." | tee -a config.log
- pkg-config --atleast-version=$version $name
- if [ $? -ne 0 ]; then
- echo " ERROR: Package named '$name' >= $version not found." | tee -a config.log
- echo "Try adjusting your PKG_CONFIG_PATH environment variable." | tee -a config.log
- return 1
- fi
- echo " found." | tee -a config.log
- done
- return 0
-}
-
-while test x$1 != x; do
- case $1 in
- --prefix=*)
- prefix=`echo $1 | sed 's/--prefix=//'`
- ;;
- --prefix)
- shift
- prefix=$1
- ;;
- --config=*)
- conf=`echo $1 | sed 's/--config=//'`
- validate_config "$conf"
- if [ $? -eq 1 ]; then
- config=$conf
- else
- echo "Invalid config name - $conf"
- usage
- exit 1
- fi
- ;;
- --help)
- usage
- exit
- ;;
- *)
- echo Unknown argument $1 >&2
- usage
- exit 1
- ;;
- esac
- shift
-done
-
-check_required_packages
-[ $? -eq 1 ] && exit 1
-
-sed -e "s,@VERSION@,$VERSION," < monodevelop-java.spec.in > monodevelop-java.spec
-
-echo "prefix=$prefix" > config.make
-echo "RUNTIME=mono" >> config.make
-echo "ASSEMBLY_VERSION=$VERSION.0.0" >> config.make
-echo "VERSION=$VERSION" >> config.make
-echo "PACKAGE=$PACKAGE" >> config.make
-echo "CONFIG=$config" >> config.make
-
-echo
-echo "$PACKAGE has been configured with "
-echo " prefix = $prefix"
-echo " config = $config"
-echo