From: Brian Norris <banorris@uci.edu>
Date: Sat, 10 Mar 2012 01:46:46 +0000 (-0800)
Subject: Makefile: use ${CC} instead of hardcoding gcc
X-Git-Tag: pldi2013~607
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=da61ddf6a9c25972b990e5b018191711f12c63aa;p=model-checker.git

Makefile: use ${CC} instead of hardcoding gcc
---

diff --git a/Makefile b/Makefile
index fc75543..efa75ff 100644
--- a/Makefile
+++ b/Makefile
@@ -1,3 +1,4 @@
+CC=gcc
 BIN=libthreads
 SOURCE=libthreads.c schedule.c
 HEADERS=libthreads.h schedule.h common.h
@@ -6,7 +7,7 @@ FLAGS=
 all: ${BIN}
 
 ${BIN}: ${SOURCE} ${HEADERS}
-	gcc -o ${BIN} ${SOURCE} ${FLAGS}
+	${CC} -o ${BIN} ${SOURCE} ${FLAGS}
 
 clean:
 	rm -f ${BIN} *.o