From 14587125474214cf654690fa31ba4efea0293de8 Mon Sep 17 00:00:00 2001
From: Mark Pizzolato <mark@infocomm.com>
Date: Sat, 2 Aug 2014 18:53:44 -0700
Subject: [PATCH] MAKEFILE: Added support to attempt to use the OS provided cc
 if gcc isn't available or otherwise specified by GCC= on the make command
 line.

---
 makefile | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/makefile b/makefile
index ec869988..ec1d5413 100644
--- a/makefile
+++ b/makefile
@@ -77,7 +77,13 @@ else
 endif
 ifeq ($(WIN32),)  #*nix Environments (&& cygwin)
   ifeq ($(GCC),)
-    GCC = gcc
+    ifneq (has-gcc,$(shell if which -s gcc; then echo has-gcc; fi))
+      $(info *** Warning *** Using local cc since gcc isn't available locally.)
+      $(info *** Warning *** You may need to install gcc to build working simulators.)
+      GCC = cc
+    else
+      GCC = gcc
+    endif
   endif
   OSTYPE = $(shell uname)
   # OSNAME is used in messages to indicate the source of libpcap components