ThirdParty: flex. Suggest using FLEX_DIR for a system-installed flex located at a non-traditionnal directory like /opt
This commit is contained in:
parent
a2f57472f9
commit
067c8ba353
1 changed files with 3 additions and 1 deletions
|
@ -160,8 +160,10 @@ export FOAM_VERBOSE=1
|
||||||
# System installed bison
|
# System installed bison
|
||||||
#export BISON_SYSTEM=1
|
#export BISON_SYSTEM=1
|
||||||
|
|
||||||
# System installed flex
|
# System installed flex. FLEX_DIR should point to the directory where
|
||||||
|
# $FLEX_DIR/bin/flex is located
|
||||||
#export FLEX_SYSTEM=1
|
#export FLEX_SYSTEM=1
|
||||||
|
#export FLEX_DIR=/usr
|
||||||
|
|
||||||
# System installed m4
|
# System installed m4
|
||||||
#export M4_SYSTEM=1
|
#export M4_SYSTEM=1
|
||||||
|
|
Reference in a new issue