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:
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 bfef42f8c8..9836404435 100644
--- a/main/configure.in
+++ b/main/configure.in
@@ -33,7 +33,7 @@ if test "x$PKG_CONFIG" = "xno"; then
AC_MSG_ERROR([You need to install pkg-config])
fi
-MONO_REQUIRED_VERSION=3.0.4
+MONO_REQUIRED_VERSION=4.0
if ! $PKG_CONFIG --atleast-version=$MONO_REQUIRED_VERSION mono; then
AC_MSG_ERROR([You need mono $MONO_REQUIRED_VERSION or newer])