ThirdParty: flex. Suggest using FLEX_DIR for a system-installed flex located at a non-traditionnal directory like /opt

This commit is contained in:
Martin Beaudoin 2017-04-08 20:22:24 +00:00 committed by Hrvoje Jasak
parent b55f4dce14
commit 2cde606cce

View file

@ -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