diff options
author | John MacFarlane <jgm@berkeley.edu> | 2014-09-24 22:22:51 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2014-09-24 22:24:06 -0700 |
commit | e752b9776d434f63768c50e4c73c533a43529052 (patch) | |
tree | 94a8fb2c8fe5ecdfa5693a3400d0b87e5dd7a26f | |
parent | 9756c0b0d306f92743cab5f1a12731b82fac11ba (diff) |
Makefile: Use ?= so variables can be set on command line.
-rw-r--r-- | Makefile | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -1,9 +1,9 @@ -CFLAGS=-g -O3 -Wall -Wextra -std=c99 -Isrc $(OPTFLAGS) -LDFLAGS=-g -O3 -Wall -Werror -SRCDIR=src -DATADIR=data +CFLAGS?=-g -O3 -Wall -Wextra -std=c99 -Isrc $(OPTFLAGS) +LDFLAGS?=-g -O3 -Wall -Werror +SRCDIR?=src +DATADIR?=data -PROG=./stmd +PROG?=./stmd .PHONY: all oldtests test spec benchjs testjs all: $(SRCDIR)/case_fold_switch.inc $(PROG) |