From b4793db8362152b242d5694417f555efec0db81a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=E9=99=88=E6=A2=93=E7=AB=8B?= <wander4096@gmail.com>
Date: Tue, 17 Jul 2018 22:40:33 +0800
Subject: [PATCH] Autoconfig, detect if X11 exist on Mac OS X (#333)

---
 LOG       | 2 ++
 configure | 8 ++++++++
 2 files changed, 10 insertions(+)

diff --git a/LOG b/LOG
index ea1d37044..3cdbfd9e3 100644
--- a/LOG
+++ b/LOG
@@ -977,3 +977,5 @@
   based on open files instead of paths
     7.ss, primdata.ss, mkheader.ss, scheme.c
     7.ms, foreign.stex, system.stex
+- auto-config improvement, detect if X11 exist on Mac OS X
+    configure
\ No newline at end of file
diff --git a/configure b/configure
index ca9c3398b..edbb9a544 100755
--- a/configure
+++ b/configure
@@ -260,6 +260,14 @@ if [ "$installman" = "" ] ; then
   installman=$installprefix/$installmansuffix
 fi
 
+if [ "$disablex11" = "no" ] ; then
+  if [ $m = a6osx ] || [ $m = ta6osx ] ; then
+    if [ ! -d /opt/X11/include/ ] ; then
+      disablex11=yes
+    fi
+  fi
+fi
+
 if [ "$help" = "yes" ]; then
   echo "Purpose:"
   echo "  $0 determines the machine type and constructs a custom Makefile"