Lines 3232-3238
Link Here
|
3232 |
|
3232 |
|
3233 |
echo "$as_me:$LINENO: checking for rml includefiles in $RMLHOME" >&5 |
3233 |
echo "$as_me:$LINENO: checking for rml includefiles in $RMLHOME" >&5 |
3234 |
echo $ECHO_N "checking for rml includefiles in $RMLHOME... $ECHO_C" >&6 |
3234 |
echo $ECHO_N "checking for rml includefiles in $RMLHOME... $ECHO_C" >&6 |
3235 |
rmlinc=`find $RMLHOME -follow -type d -name plain |grep include/plain` |
3235 |
rmlinc=`find ${RMLHOME}/include -follow -type d -name plain |grep include/plain` |
3236 |
if test -z "$rmlinc" ; then |
3236 |
if test -z "$rmlinc" ; then |
3237 |
{ { echo "$as_me:$LINENO: error: rml headers not found" >&5 |
3237 |
{ { echo "$as_me:$LINENO: error: rml headers not found" >&5 |
3238 |
echo "$as_me: error: rml headers not found" >&2;} |
3238 |
echo "$as_me: error: rml headers not found" >&2;} |
Lines 3246-3252
Link Here
|
3246 |
|
3246 |
|
3247 |
echo "$as_me:$LINENO: checking for antlr header files" >&5 |
3247 |
echo "$as_me:$LINENO: checking for antlr header files" >&5 |
3248 |
echo $ECHO_N "checking for antlr header files... $ECHO_C" >&6 |
3248 |
echo $ECHO_N "checking for antlr header files... $ECHO_C" >&6 |
3249 |
antlrinc=`find $ANTLRHOME /usr/local/include /usr/include -type f -name TreeParser.hpp -print | head -1 | awk -F/ '{ total="";for (i = 1 ; i < NF-1; i++) total= total $i "/"; print total}'` |
3249 |
antlrinc=`find ${ANTLRHOME}/include /usr/local/include /usr/include -type f -name TreeParser.hpp -print | head -1 | awk -F/ '{ total="";for (i = 1 ; i < NF-1; i++) total= total $i "/"; print total}'` |
3250 |
if test -z "$antlrinc" ; then |
3250 |
if test -z "$antlrinc" ; then |
3251 |
{ { echo "$as_me:$LINENO: error: Could not find antlr include files" >&5 |
3251 |
{ { echo "$as_me:$LINENO: error: Could not find antlr include files" >&5 |
3252 |
echo "$as_me: error: Could not find antlr include files" >&2;} |
3252 |
echo "$as_me: error: Could not find antlr include files" >&2;} |
Lines 3258-3264
Link Here
|
3258 |
|
3258 |
|
3259 |
echo "$as_me:$LINENO: checking for antlr libs" >&5 |
3259 |
echo "$as_me:$LINENO: checking for antlr libs" >&5 |
3260 |
echo $ECHO_N "checking for antlr libs... $ECHO_C" >&6 |
3260 |
echo $ECHO_N "checking for antlr libs... $ECHO_C" >&6 |
3261 |
antlrlib=`find $ANTLRHOME /usr/local/lib /usr/lib -type f -name libantlr.a -print | head -1 | awk -F/ '{ total="";for (i = 1 ; i < NF; i++) total= total $i "/"; print total}'` |
3261 |
antlrlib=`find -L ${ANTLRHOME}/lib /usr/local/lib /usr/lib -type f -name libantlr.a -print | head -1 | awk -F/ '{ total="";for (i = 1 ; i < NF; i++) total= total $i "/"; print total}'` |
3262 |
if test -z "$antlrlib" ; then |
3262 |
if test -z "$antlrlib" ; then |
3263 |
{ { echo "$as_me:$LINENO: error: Could not find antlr lib file" >&5 |
3263 |
{ { echo "$as_me:$LINENO: error: Could not find antlr lib file" >&5 |
3264 |
echo "$as_me: error: Could not find antlr lib file" >&2;} |
3264 |
echo "$as_me: error: Could not find antlr lib file" >&2;} |
Lines 3310-3316
Link Here
|
3310 |
echo "$as_me:$LINENO: result: yes" >&5 |
3310 |
echo "$as_me:$LINENO: result: yes" >&5 |
3311 |
echo "${ECHO_T}yes" >&6 |
3311 |
echo "${ECHO_T}yes" >&6 |
3312 |
else |
3312 |
else |
3313 |
readlinelib=`find /usr/lib /usr/local/lib -name libreadline.a | tail -1 | awk -F/ '{ total="";for (i = 1 ; i < NF; i++) total= total $i "/"; print total}'` |
3313 |
readlinelib=`find -L /usr/lib /usr/local/lib -name libreadline.a | tail -1 | awk -F/ '{ total="";for (i = 1 ; i < NF; i++) total= total $i "/"; print total}'` |
3314 |
if test -z "$readlinelib" ; then |
3314 |
if test -z "$readlinelib" ; then |
3315 |
echo "$as_me:$LINENO: result: no" >&5 |
3315 |
echo "$as_me:$LINENO: result: no" >&5 |
3316 |
echo "${ECHO_T}no" >&6 |
3316 |
echo "${ECHO_T}no" >&6 |