From 5847f8482937dec480b7ea4aadf6cf2d6c50178a Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Mon, 17 Feb 2020 10:31:14 +0100
Subject: [PATCH] [configure] add warning about unsupported Cygwin
---
configure.in | 2 ++
1 file changed, 2 insertions(+)
diff --git a/configure.in b/configure.in
index e1fd88f4536..85ad7fd8fef 100644
--- a/configure.in
+++ b/configure.in
@@ -416,6 +416,8 @@ if test "$OCAML_OS_TYPE" = "Win32"; then
else
OCAMLWIN32=no
if test "$OCAML_OS_TYPE" = "Cygwin"; then
+ AC_MSG_WARN([Compilation using Cygwin is unsupported;
+ consider using a MinGW-based compiler.])
AC_MSG_RESULT(Cygwin)
PLATFORM=Cygwin
EXE=.exe
--
GitLab