summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2015-03-25 11:41:08 -0400
committerJohn MacFarlane <jgm@berkeley.edu>2015-03-25 11:41:08 -0400
commitc444f374f7c920c5bb699a6e9ad3c526d29edd9b (patch)
tree3bb8bac500ff8efd5e555d4b9c99792483124443 /Makefile
parent756b95d184103857b5196063ef310633cb8dba5b (diff)
parentf74d5dee1615e4d5ed8763fae40ffe6102c61a2c (diff)
Merge pull request #20 from nwellnhof/re2c_warning
Warn about buggy re2c versions
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile7
1 files changed, 7 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index cedee8c..9b6b78e 100644
--- a/Makefile
+++ b/Makefile
@@ -100,6 +100,13 @@ $(SRCDIR)/case_fold_switch.inc: $(DATADIR)/CaseFolding-3.2.0.txt
# We include scanners.c in the repository, so this shouldn't
# normally need to be generated.
$(SRCDIR)/scanners.c: $(SRCDIR)/scanners.re
+ @case "$$(re2c -v)" in \
+ *\ 0.13.7*|*\ 0.14*) \
+ echo $$(re2c -v) is known to produce buggy code.; \
+ echo Try version 0.13.6 or below.; \
+ false; \
+ ;; \
+ esac
re2c --case-insensitive -b -i --no-generation-date -o $@ $<
update-spec: