summaryrefslogtreecommitdiff
path: root/support/splint/makefile.loc
blob: e80b509044281a9a2bc27295c9b238e141554766 (plain)
1
2
3
4
5
# uncomment the lines below to use your local version of bison or flex
# BISON_ROOT ?= ${HOME}/bin/
# FLEX_ROOT ?= ${HOME}/bin/
# comment the line below if you have an older (version <3.0 or sane) bison
BISON_STATE := -DBISON_IS_CRIPPLED=yes