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:
authorMichael Hutchinson <mhutch@xamarin.com>2013-08-13 09:11:49 +0400
committerMichael Hutchinson <mhutch@xamarin.com>2013-08-13 09:11:49 +0400
commitbfd3cd0bc6a2583b542a2af0b6020042811066cd (patch)
tree612f811ed11b3072dfdd8f03d5cc29a27a7c161f /main/configure.in
parenta47449b42baa78c5fe1a293629bcec9564ec849c (diff)
Bump Mono dependency
Diffstat (limited to 'main/configure.in')
-rw-r--r--main/configure.in2
1 files changed, 1 insertions, 1 deletions
diff --git a/main/configure.in b/main/configure.in
index 0be42cf39b..8b34486d17 100644
--- a/main/configure.in
+++ b/main/configure.in
@@ -37,7 +37,7 @@ elif test "x$PKG_CONFIG" = "xno"; then
AC_MSG_ERROR([You need to install pkg-config])
fi
-MONO_REQUIRED_VERSION=2.10.9
+MONO_REQUIRED_VERSION=3.2
if ! $PKG_CONFIG --atleast-version=$MONO_REQUIRED_VERSION mono; then
AC_MSG_ERROR([You need mono $MONO_REQUIRED_VERSION or newer])