From 884c387f431df4e5db825426477a6931bdb3adcb Mon Sep 17 00:00:00 2001
From: Chris Hanson <org/chris-hanson/cph>
Date: Tue, 7 May 2019 22:58:06 -0700
Subject: [PATCH] On macOS, support building without Xcode installed.

However, command line tools must be installed.
---
 src/microcode/configure.ac | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/microcode/configure.ac b/src/microcode/configure.ac
index 5c2ca51cd..87e01329c 100644
--- a/src/microcode/configure.ac
+++ b/src/microcode/configure.ac
@@ -316,6 +316,7 @@ darwin*)
     fi
     MACOS_SDKS=
     for dir in /Developer/SDKs \
+    	/Library/Developer/CommandLineTools/SDKs \
     	/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs
     do
 	if test -d "${dir}"; then
-- 
2.25.1