summaryrefslogtreecommitdiff
path: root/support/splint/makefile.loc
diff options
context:
space:
mode:
Diffstat (limited to 'support/splint/makefile.loc')
-rw-r--r--support/splint/makefile.loc5
1 files changed, 5 insertions, 0 deletions
diff --git a/support/splint/makefile.loc b/support/splint/makefile.loc
new file mode 100644
index 0000000000..58d7b0abaf
--- /dev/null
+++ b/support/splint/makefile.loc
@@ -0,0 +1,5 @@
+# uncomment the lines below to use your local version of bison or flex
+# BISON_ROOT ?= ${HOME}/bin/
+# FLEX_ROOT ?= ${HOME}/bin/
+# uncomment the line below if you have bison version 3.0 or newer
+# BISON_STATE := -DBISON_IS_CRIPPLED=yes