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:
-rw-r--r--main/configure.in5
1 files changed, 5 insertions, 0 deletions
diff --git a/main/configure.in b/main/configure.in
index 2b387973ee..49019ce4c7 100644
--- a/main/configure.in
+++ b/main/configure.in
@@ -18,6 +18,7 @@ COMPAT_ADDIN_VERSION=m4_esyscmd_s([grep ^CompatVersion ../version.config|cut -d
AC_PATH_PROG(MONO, mono)
AC_PATH_PROG(MCS, mcs)
+AC_PATH_PROG(FSHARPC, fsharpc)
if test "x$MONO" = "x" ; then
AC_MSG_ERROR([Can't find "mono" in your PATH])
@@ -27,6 +28,10 @@ if test "x$MCS" = "x" ; then
AC_MSG_ERROR([Can't find "mcs" in your PATH])
fi
+if test "x$FSHARPC" = "x" ; then
+ AC_MSG_ERROR([Can't find "fsharpc" in your PATH])
+fi
+
dnl Find pkg-config
AC_PATH_PROG(PKG_CONFIG, pkg-config, no)
if test "x$PKG_CONFIG" = "xno"; then