Changeset 1191 for stable


Ignore:
Timestamp:
Jul 8, 2009 11:02:57 AM (10 years ago)
Author:
andreasw
Message:

a few bugfixes for instdir

Location:
stable/BSPsplit/Cbc
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • stable/BSPsplit/Cbc/configure

    r1187 r1191  
    2056320563   { (exit 1); exit 1; }; }
    2056420564                   fi
    20565                    if test -r $withval/include/coin/CbcModel.hpp; then
    20566                         coin_has_cbc=installed
    20567                         CBCINSTDIR=`cd $withval; pwd`
    20568                       fi
    20569 
     20565                   if test -r $withval/share/doc/coin/Cbc/README; then
     20566                     coin_has_cbc=installed
     20567                     CBCINSTDIR=`cd $withval; pwd`
     20568                   fi
    2057020569fi;
    2057120570    fi
     
    2062920628  echo "$as_me:$LINENO: result: installed in $CBCINSTDIR" >&5
    2063020629echo "${ECHO_T}installed in $CBCINSTDIR" >&6
    20631   # Check for header
    20632   tmp=$CBCINSTDIR/include/coin
    20633                   echo "$as_me:$LINENO: checking whether header CbcModel.hpp is available in $tmp" >&5
    20634 echo $ECHO_N "checking whether header CbcModel.hpp is available in $tmp... $ECHO_C" >&6
    20635                   if test -r $tmp/CbcModel.hpp; then
    20636                     echo "$as_me:$LINENO: result: yes" >&5
    20637 echo "${ECHO_T}yes" >&6
    20638                   else
    20639                     echo "$as_me:$LINENO: result: no" >&5
    20640 echo "${ECHO_T}no" >&6
    20641                     { { echo "$as_me:$LINENO: error: Header CbcModel.hpp not available in Cbc installation directory" >&5
    20642 echo "$as_me: error: Header CbcModel.hpp not available in Cbc installation directory" >&2;}
     20630  if test -r $CBCINSTDIR/share/doc/coin/Cbc/README; then
     20631
     20632  :
     20633else
     20634  { { echo "$as_me:$LINENO: error: $CBCINSTDIR/share/doc/coin/Cbc/README should be available if Cbc is installed" >&5
     20635echo "$as_me: error: $CBCINSTDIR/share/doc/coin/Cbc/README should be available if Cbc is installed" >&2;}
    2064320636   { (exit 1); exit 1; }; }
    20644                   fi
    20645 
    20646   # Check for library (this is not qo reliable)
    20647   tmp=$CBCINSTDIR/lib
    20648                   echo "$as_me:$LINENO: checking whether library libCbc.* is available in $tmp" >&5
    20649 echo $ECHO_N "checking whether library libCbc.* is available in $tmp... $ECHO_C" >&6
    20650                   bla=`ls $tmp/libCbc.* 2>/dev/null | head -n 1`
    20651                   if test x"$bla" = x; then
    20652                     echo "$as_me:$LINENO: result: no" >&5
    20653 echo "${ECHO_T}no" >&6
    20654                     { { echo "$as_me:$LINENO: error: Library libCbc.* not available in Cbc installation directory" >&5
    20655 echo "$as_me: error: Library libCbc.* not available in Cbc installation directory" >&2;}
    20656    { (exit 1); exit 1; }; }
    20657                   else
    20658                     echo "$as_me:$LINENO: result: found $bla" >&5
    20659 echo "${ECHO_T}found $bla" >&6
    20660                   fi
     20637  :
     20638fi
    2066120639
    2066220640else
    2066320641  echo "$as_me:$LINENO: result: $coin_has_cbc" >&5
    2066420642echo "${ECHO_T}$coin_has_cbc" >&6
     20643  if test $coin_has_cbc != notGiven &&
     20644     test $coin_has_cbc != skipping; then
     20645    echo "$as_me:$LINENO: checking for source code location of Cbc" >&5
     20646echo $ECHO_N "checking for source code location of Cbc... $ECHO_C" >&6
     20647    echo "$as_me:$LINENO: result: $CBCSRCDIR" >&5
     20648echo "${ECHO_T}$CBCSRCDIR" >&6
     20649    echo "$as_me:$LINENO: checking for object code location of Cbc" >&5
     20650echo $ECHO_N "checking for object code location of Cbc... $ECHO_C" >&6
     20651    echo "$as_me:$LINENO: result: $CBCOBJDIR" >&5
     20652echo "${ECHO_T}$CBCOBJDIR" >&6
     20653  fi
    2066520654fi
    2066620655
     
    2075820747   { (exit 1); exit 1; }; }
    2075920748                   fi
    20760                    if test -r $withval/include/coin/CglCutGenerator.hpp; then
    20761                         coin_has_cgl=installed
    20762                         CGLINSTDIR=`cd $withval; pwd`
    20763                       fi
    20764 
     20749                   if test -r $withval/share/doc/coin/Cgl/README; then
     20750                     coin_has_cgl=installed
     20751                     CGLINSTDIR=`cd $withval; pwd`
     20752                   fi
    2076520753fi;
    2076620754    fi
     
    2082420812  echo "$as_me:$LINENO: result: installed in $CGLINSTDIR" >&5
    2082520813echo "${ECHO_T}installed in $CGLINSTDIR" >&6
    20826   # Check for header
    20827   tmp=$CGLINSTDIR/include/coin
    20828                   echo "$as_me:$LINENO: checking whether header CglCutGenerator.hpp is available in $tmp" >&5
    20829 echo $ECHO_N "checking whether header CglCutGenerator.hpp is available in $tmp... $ECHO_C" >&6
    20830                   if test -r $tmp/CglCutGenerator.hpp; then
    20831                     echo "$as_me:$LINENO: result: yes" >&5
    20832 echo "${ECHO_T}yes" >&6
    20833                   else
    20834                     echo "$as_me:$LINENO: result: no" >&5
    20835 echo "${ECHO_T}no" >&6
    20836                     { { echo "$as_me:$LINENO: error: Header CglCutGenerator.hpp not available in Cgl installation directory" >&5
    20837 echo "$as_me: error: Header CglCutGenerator.hpp not available in Cgl installation directory" >&2;}
     20814  if test -r $CGLINSTDIR/share/doc/coin/Cgl/README; then
     20815
     20816  :
     20817else
     20818  { { echo "$as_me:$LINENO: error: $CGLINSTDIR/share/doc/coin/Cgl/README should be available if Cgl is installed" >&5
     20819echo "$as_me: error: $CGLINSTDIR/share/doc/coin/Cgl/README should be available if Cgl is installed" >&2;}
    2083820820   { (exit 1); exit 1; }; }
    20839                   fi
    20840 
    20841   # Check for library (this is not qo reliable)
    20842   tmp=$CGLINSTDIR/lib
    20843                   echo "$as_me:$LINENO: checking whether library libCgl.* is available in $tmp" >&5
    20844 echo $ECHO_N "checking whether library libCgl.* is available in $tmp... $ECHO_C" >&6
    20845                   bla=`ls $tmp/libCgl.* 2>/dev/null | head -n 1`
    20846                   if test x"$bla" = x; then
    20847                     echo "$as_me:$LINENO: result: no" >&5
    20848 echo "${ECHO_T}no" >&6
    20849                     { { echo "$as_me:$LINENO: error: Library libCgl.* not available in Cgl installation directory" >&5
    20850 echo "$as_me: error: Library libCgl.* not available in Cgl installation directory" >&2;}
    20851    { (exit 1); exit 1; }; }
    20852                   else
    20853                     echo "$as_me:$LINENO: result: found $bla" >&5
    20854 echo "${ECHO_T}found $bla" >&6
    20855                   fi
     20821  :
     20822fi
    2085620823
    2085720824else
    2085820825  echo "$as_me:$LINENO: result: $coin_has_cgl" >&5
    2085920826echo "${ECHO_T}$coin_has_cgl" >&6
     20827  if test $coin_has_cgl != notGiven &&
     20828     test $coin_has_cgl != skipping; then
     20829    echo "$as_me:$LINENO: checking for source code location of Cgl" >&5
     20830echo $ECHO_N "checking for source code location of Cgl... $ECHO_C" >&6
     20831    echo "$as_me:$LINENO: result: $CGLSRCDIR" >&5
     20832echo "${ECHO_T}$CGLSRCDIR" >&6
     20833    echo "$as_me:$LINENO: checking for object code location of Cgl" >&5
     20834echo $ECHO_N "checking for object code location of Cgl... $ECHO_C" >&6
     20835    echo "$as_me:$LINENO: result: $CGLOBJDIR" >&5
     20836echo "${ECHO_T}$CGLOBJDIR" >&6
     20837  fi
    2086020838fi
    2086120839
     
    2095320931   { (exit 1); exit 1; }; }
    2095420932                   fi
    20955                    if test -r $withval/include/coin/ClpNode.hpp; then
    20956                         coin_has_clp=installed
    20957                         CLPINSTDIR=`cd $withval; pwd`
    20958                       fi
    20959 
     20933                   if test -r $withval/share/doc/coin/Clp/README; then
     20934                     coin_has_clp=installed
     20935                     CLPINSTDIR=`cd $withval; pwd`
     20936                   fi
    2096020937fi;
    2096120938    fi
     
    2101920996  echo "$as_me:$LINENO: result: installed in $CLPINSTDIR" >&5
    2102020997echo "${ECHO_T}installed in $CLPINSTDIR" >&6
    21021   # Check for header
    21022   tmp=$CLPINSTDIR/include/coin
    21023                   echo "$as_me:$LINENO: checking whether header ClpNode.hpp is available in $tmp" >&5
    21024 echo $ECHO_N "checking whether header ClpNode.hpp is available in $tmp... $ECHO_C" >&6
    21025                   if test -r $tmp/ClpNode.hpp; then
    21026                     echo "$as_me:$LINENO: result: yes" >&5
    21027 echo "${ECHO_T}yes" >&6
    21028                   else
    21029                     echo "$as_me:$LINENO: result: no" >&5
    21030 echo "${ECHO_T}no" >&6
    21031                     { { echo "$as_me:$LINENO: error: Header ClpNode.hpp not available in Clp installation directory" >&5
    21032 echo "$as_me: error: Header ClpNode.hpp not available in Clp installation directory" >&2;}
     20998  if test -r $CLPINSTDIR/share/doc/coin/Clp/README; then
     20999
     21000  :
     21001else
     21002  { { echo "$as_me:$LINENO: error: $CLPINSTDIR/share/doc/coin/Clp/README should be available if Clp is installed" >&5
     21003echo "$as_me: error: $CLPINSTDIR/share/doc/coin/Clp/README should be available if Clp is installed" >&2;}
    2103321004   { (exit 1); exit 1; }; }
    21034                   fi
    21035 
    21036   # Check for library (this is not qo reliable)
    21037   tmp=$CLPINSTDIR/lib
    21038                   echo "$as_me:$LINENO: checking whether library libClp.* is available in $tmp" >&5
    21039 echo $ECHO_N "checking whether library libClp.* is available in $tmp... $ECHO_C" >&6
    21040                   bla=`ls $tmp/libClp.* 2>/dev/null | head -n 1`
    21041                   if test x"$bla" = x; then
    21042                     echo "$as_me:$LINENO: result: no" >&5
    21043 echo "${ECHO_T}no" >&6
    21044                     { { echo "$as_me:$LINENO: error: Library libClp.* not available in Clp installation directory" >&5
    21045 echo "$as_me: error: Library libClp.* not available in Clp installation directory" >&2;}
    21046    { (exit 1); exit 1; }; }
    21047                   else
    21048                     echo "$as_me:$LINENO: result: found $bla" >&5
    21049 echo "${ECHO_T}found $bla" >&6
    21050                   fi
     21005  :
     21006fi
    2105121007
    2105221008else
    2105321009  echo "$as_me:$LINENO: result: $coin_has_clp" >&5
    2105421010echo "${ECHO_T}$coin_has_clp" >&6
     21011  if test $coin_has_clp != notGiven &&
     21012     test $coin_has_clp != skipping; then
     21013    echo "$as_me:$LINENO: checking for source code location of Clp" >&5
     21014echo $ECHO_N "checking for source code location of Clp... $ECHO_C" >&6
     21015    echo "$as_me:$LINENO: result: $CLPSRCDIR" >&5
     21016echo "${ECHO_T}$CLPSRCDIR" >&6
     21017    echo "$as_me:$LINENO: checking for object code location of Clp" >&5
     21018echo $ECHO_N "checking for object code location of Clp... $ECHO_C" >&6
     21019    echo "$as_me:$LINENO: result: $CLPOBJDIR" >&5
     21020echo "${ECHO_T}$CLPOBJDIR" >&6
     21021  fi
    2105521022fi
    2105621023
     
    2114821115   { (exit 1); exit 1; }; }
    2114921116                   fi
    21150                    if test -r $withval/include/coin/CoinTime.hpp; then
    21151                         coin_has_coinutils=installed
    21152                         COINUTILSINSTDIR=`cd $withval; pwd`
    21153                       fi
    21154 
     21117                   if test -r $withval/share/doc/coin/CoinUtils/README; then
     21118                     coin_has_coinutils=installed
     21119                     COINUTILSINSTDIR=`cd $withval; pwd`
     21120                   fi
    2115521121fi;
    2115621122    fi
     
    2121421180  echo "$as_me:$LINENO: result: installed in $COINUTILSINSTDIR" >&5
    2121521181echo "${ECHO_T}installed in $COINUTILSINSTDIR" >&6
    21216   # Check for header
    21217   tmp=$COINUTILSINSTDIR/include/coin
    21218                   echo "$as_me:$LINENO: checking whether header CoinTime.hpp is available in $tmp" >&5
    21219 echo $ECHO_N "checking whether header CoinTime.hpp is available in $tmp... $ECHO_C" >&6
    21220                   if test -r $tmp/CoinTime.hpp; then
    21221                     echo "$as_me:$LINENO: result: yes" >&5
    21222 echo "${ECHO_T}yes" >&6
    21223                   else
    21224                     echo "$as_me:$LINENO: result: no" >&5
    21225 echo "${ECHO_T}no" >&6
    21226                     { { echo "$as_me:$LINENO: error: Header CoinTime.hpp not available in CoinUtils installation directory" >&5
    21227 echo "$as_me: error: Header CoinTime.hpp not available in CoinUtils installation directory" >&2;}
     21182  if test -r $COINUTILSINSTDIR/share/doc/coin/CoinUtils/README; then
     21183
     21184  :
     21185else
     21186  { { echo "$as_me:$LINENO: error: $COINUTILSINSTDIR/share/doc/coin/CoinUtils/README should be available if CoinUtils is installed" >&5
     21187echo "$as_me: error: $COINUTILSINSTDIR/share/doc/coin/CoinUtils/README should be available if CoinUtils is installed" >&2;}
    2122821188   { (exit 1); exit 1; }; }
    21229                   fi
    21230 
    21231   # Check for library (this is not qo reliable)
    21232   tmp=$COINUTILSINSTDIR/lib
    21233                   echo "$as_me:$LINENO: checking whether library libCoinUtils.* is available in $tmp" >&5
    21234 echo $ECHO_N "checking whether library libCoinUtils.* is available in $tmp... $ECHO_C" >&6
    21235                   bla=`ls $tmp/libCoinUtils.* 2>/dev/null | head -n 1`
    21236                   if test x"$bla" = x; then
    21237                     echo "$as_me:$LINENO: result: no" >&5
    21238 echo "${ECHO_T}no" >&6
    21239                     { { echo "$as_me:$LINENO: error: Library libCoinUtils.* not available in CoinUtils installation directory" >&5
    21240 echo "$as_me: error: Library libCoinUtils.* not available in CoinUtils installation directory" >&2;}
    21241    { (exit 1); exit 1; }; }
    21242                   else
    21243                     echo "$as_me:$LINENO: result: found $bla" >&5
    21244 echo "${ECHO_T}found $bla" >&6
    21245                   fi
     21189  :
     21190fi
    2124621191
    2124721192else
    2124821193  echo "$as_me:$LINENO: result: $coin_has_coinutils" >&5
    2124921194echo "${ECHO_T}$coin_has_coinutils" >&6
     21195  if test $coin_has_coinutils != notGiven &&
     21196     test $coin_has_coinutils != skipping; then
     21197    echo "$as_me:$LINENO: checking for source code location of CoinUtils" >&5
     21198echo $ECHO_N "checking for source code location of CoinUtils... $ECHO_C" >&6
     21199    echo "$as_me:$LINENO: result: $COINUTILSSRCDIR" >&5
     21200echo "${ECHO_T}$COINUTILSSRCDIR" >&6
     21201    echo "$as_me:$LINENO: checking for object code location of CoinUtils" >&5
     21202echo $ECHO_N "checking for object code location of CoinUtils... $ECHO_C" >&6
     21203    echo "$as_me:$LINENO: result: $COINUTILSOBJDIR" >&5
     21204echo "${ECHO_T}$COINUTILSOBJDIR" >&6
     21205  fi
    2125021206fi
    2125121207
     
    2134321299   { (exit 1); exit 1; }; }
    2134421300                   fi
    21345                    if test -r $withval/include/coin/dylp.h; then
    21346                         coin_has_dylp=installed
    21347                         DYLPINSTDIR=`cd $withval; pwd`
    21348                       fi
    21349 
     21301                   if test -r $withval/share/doc/coin/DyLP/README; then
     21302                     coin_has_dylp=installed
     21303                     DYLPINSTDIR=`cd $withval; pwd`
     21304                   fi
    2135021305fi;
    2135121306    fi
     
    2140921364  echo "$as_me:$LINENO: result: installed in $DYLPINSTDIR" >&5
    2141021365echo "${ECHO_T}installed in $DYLPINSTDIR" >&6
    21411   # Check for header
    21412   tmp=$DYLPINSTDIR/include/coin
    21413                   echo "$as_me:$LINENO: checking whether header dylp.h is available in $tmp" >&5
    21414 echo $ECHO_N "checking whether header dylp.h is available in $tmp... $ECHO_C" >&6
    21415                   if test -r $tmp/dylp.h; then
    21416                     echo "$as_me:$LINENO: result: yes" >&5
    21417 echo "${ECHO_T}yes" >&6
    21418                   else
    21419                     echo "$as_me:$LINENO: result: no" >&5
    21420 echo "${ECHO_T}no" >&6
    21421                     { { echo "$as_me:$LINENO: error: Header dylp.h not available in DyLP installation directory" >&5
    21422 echo "$as_me: error: Header dylp.h not available in DyLP installation directory" >&2;}
     21366  if test -r $DYLPINSTDIR/share/doc/coin/DyLP/README; then
     21367
     21368  :
     21369else
     21370  { { echo "$as_me:$LINENO: error: $DYLPINSTDIR/share/doc/coin/DyLP/README should be available if DyLP is installed" >&5
     21371echo "$as_me: error: $DYLPINSTDIR/share/doc/coin/DyLP/README should be available if DyLP is installed" >&2;}
    2142321372   { (exit 1); exit 1; }; }
    21424                   fi
    21425 
    21426   # Check for library (this is not qo reliable)
    21427   tmp=$DYLPINSTDIR/lib
    21428                   echo "$as_me:$LINENO: checking whether library libDylp.* is available in $tmp" >&5
    21429 echo $ECHO_N "checking whether library libDylp.* is available in $tmp... $ECHO_C" >&6
    21430                   bla=`ls $tmp/libDylp.* 2>/dev/null | head -n 1`
    21431                   if test x"$bla" = x; then
    21432                     echo "$as_me:$LINENO: result: no" >&5
    21433 echo "${ECHO_T}no" >&6
    21434                     { { echo "$as_me:$LINENO: error: Library libDylp.* not available in DyLP installation directory" >&5
    21435 echo "$as_me: error: Library libDylp.* not available in DyLP installation directory" >&2;}
    21436    { (exit 1); exit 1; }; }
    21437                   else
    21438                     echo "$as_me:$LINENO: result: found $bla" >&5
    21439 echo "${ECHO_T}found $bla" >&6
    21440                   fi
     21373  :
     21374fi
    2144121375
    2144221376else
    2144321377  echo "$as_me:$LINENO: result: $coin_has_dylp" >&5
    2144421378echo "${ECHO_T}$coin_has_dylp" >&6
     21379  if test $coin_has_dylp != notGiven &&
     21380     test $coin_has_dylp != skipping; then
     21381    echo "$as_me:$LINENO: checking for source code location of DyLP" >&5
     21382echo $ECHO_N "checking for source code location of DyLP... $ECHO_C" >&6
     21383    echo "$as_me:$LINENO: result: $DYLPSRCDIR" >&5
     21384echo "${ECHO_T}$DYLPSRCDIR" >&6
     21385    echo "$as_me:$LINENO: checking for object code location of DyLP" >&5
     21386echo $ECHO_N "checking for object code location of DyLP... $ECHO_C" >&6
     21387    echo "$as_me:$LINENO: result: $DYLPOBJDIR" >&5
     21388echo "${ECHO_T}$DYLPOBJDIR" >&6
     21389  fi
    2144521390fi
    2144621391
     
    2153821483   { (exit 1); exit 1; }; }
    2153921484                   fi
    21540                    if test -r $withval/include/coin/OsiSolverInterface.hpp; then
    21541                         coin_has_osi=installed
    21542                         OSIINSTDIR=`cd $withval; pwd`
    21543                       fi
    21544 
     21485                   if test -r $withval/share/doc/coin/Osi/README; then
     21486                     coin_has_osi=installed
     21487                     OSIINSTDIR=`cd $withval; pwd`
     21488                   fi
    2154521489fi;
    2154621490    fi
     
    2160421548  echo "$as_me:$LINENO: result: installed in $OSIINSTDIR" >&5
    2160521549echo "${ECHO_T}installed in $OSIINSTDIR" >&6
    21606   # Check for header
    21607   tmp=$OSIINSTDIR/include/coin
    21608                   echo "$as_me:$LINENO: checking whether header OsiSolverInterface.hpp is available in $tmp" >&5
    21609 echo $ECHO_N "checking whether header OsiSolverInterface.hpp is available in $tmp... $ECHO_C" >&6
    21610                   if test -r $tmp/OsiSolverInterface.hpp; then
    21611                     echo "$as_me:$LINENO: result: yes" >&5
    21612 echo "${ECHO_T}yes" >&6
    21613                   else
    21614                     echo "$as_me:$LINENO: result: no" >&5
    21615 echo "${ECHO_T}no" >&6
    21616                     { { echo "$as_me:$LINENO: error: Header OsiSolverInterface.hpp not available in Osi installation directory" >&5
    21617 echo "$as_me: error: Header OsiSolverInterface.hpp not available in Osi installation directory" >&2;}
     21550  if test -r $OSIINSTDIR/share/doc/coin/Osi/README; then
     21551
     21552  :
     21553else
     21554  { { echo "$as_me:$LINENO: error: $OSIINSTDIR/share/doc/coin/Osi/README should be available if Osi is installed" >&5
     21555echo "$as_me: error: $OSIINSTDIR/share/doc/coin/Osi/README should be available if Osi is installed" >&2;}
    2161821556   { (exit 1); exit 1; }; }
    21619                   fi
    21620 
    21621   # Check for library (this is not qo reliable)
    21622   tmp=$OSIINSTDIR/lib
    21623                   echo "$as_me:$LINENO: checking whether library libOsi.* is available in $tmp" >&5
    21624 echo $ECHO_N "checking whether library libOsi.* is available in $tmp... $ECHO_C" >&6
    21625                   bla=`ls $tmp/libOsi.* 2>/dev/null | head -n 1`
    21626                   if test x"$bla" = x; then
    21627                     echo "$as_me:$LINENO: result: no" >&5
    21628 echo "${ECHO_T}no" >&6
    21629                     { { echo "$as_me:$LINENO: error: Library libOsi.* not available in Osi installation directory" >&5
    21630 echo "$as_me: error: Library libOsi.* not available in Osi installation directory" >&2;}
    21631    { (exit 1); exit 1; }; }
    21632                   else
    21633                     echo "$as_me:$LINENO: result: found $bla" >&5
    21634 echo "${ECHO_T}found $bla" >&6
    21635                   fi
     21557  :
     21558fi
    2163621559
    2163721560else
    2163821561  echo "$as_me:$LINENO: result: $coin_has_osi" >&5
    2163921562echo "${ECHO_T}$coin_has_osi" >&6
     21563  if test $coin_has_osi != notGiven &&
     21564     test $coin_has_osi != skipping; then
     21565    echo "$as_me:$LINENO: checking for source code location of Osi" >&5
     21566echo $ECHO_N "checking for source code location of Osi... $ECHO_C" >&6
     21567    echo "$as_me:$LINENO: result: $OSISRCDIR" >&5
     21568echo "${ECHO_T}$OSISRCDIR" >&6
     21569    echo "$as_me:$LINENO: checking for object code location of Osi" >&5
     21570echo $ECHO_N "checking for object code location of Osi... $ECHO_C" >&6
     21571    echo "$as_me:$LINENO: result: $OSIOBJDIR" >&5
     21572echo "${ECHO_T}$OSIOBJDIR" >&6
     21573  fi
    2164021574fi
    2164121575
     
    2173321667   { (exit 1); exit 1; }; }
    2173421668                   fi
    21735                    if test -r $withval/include/coin/VolVolume.hpp; then
    21736                         coin_has_vol=installed
    21737                         VOLINSTDIR=`cd $withval; pwd`
    21738                       fi
    21739 
     21669                   if test -r $withval/share/doc/coin/Vol/README; then
     21670                     coin_has_vol=installed
     21671                     VOLINSTDIR=`cd $withval; pwd`
     21672                   fi
    2174021673fi;
    2174121674    fi
     
    2179921732  echo "$as_me:$LINENO: result: installed in $VOLINSTDIR" >&5
    2180021733echo "${ECHO_T}installed in $VOLINSTDIR" >&6
    21801   # Check for header
    21802   tmp=$VOLINSTDIR/include/coin
    21803                   echo "$as_me:$LINENO: checking whether header VolVolume.hpp is available in $tmp" >&5
    21804 echo $ECHO_N "checking whether header VolVolume.hpp is available in $tmp... $ECHO_C" >&6
    21805                   if test -r $tmp/VolVolume.hpp; then
    21806                     echo "$as_me:$LINENO: result: yes" >&5
    21807 echo "${ECHO_T}yes" >&6
    21808                   else
    21809                     echo "$as_me:$LINENO: result: no" >&5
    21810 echo "${ECHO_T}no" >&6
    21811                     { { echo "$as_me:$LINENO: error: Header VolVolume.hpp not available in Vol installation directory" >&5
    21812 echo "$as_me: error: Header VolVolume.hpp not available in Vol installation directory" >&2;}
     21734  if test -r $VOLINSTDIR/share/doc/coin/Vol/README; then
     21735
     21736  :
     21737else
     21738  { { echo "$as_me:$LINENO: error: $VOLINSTDIR/share/doc/coin/Vol/README should be available if Vol is installed" >&5
     21739echo "$as_me: error: $VOLINSTDIR/share/doc/coin/Vol/README should be available if Vol is installed" >&2;}
    2181321740   { (exit 1); exit 1; }; }
    21814                   fi
    21815 
    21816   # Check for library (this is not qo reliable)
    21817   tmp=$VOLINSTDIR/lib
    21818                   echo "$as_me:$LINENO: checking whether library libVol.* is available in $tmp" >&5
    21819 echo $ECHO_N "checking whether library libVol.* is available in $tmp... $ECHO_C" >&6
    21820                   bla=`ls $tmp/libVol.* 2>/dev/null | head -n 1`
    21821                   if test x"$bla" = x; then
    21822                     echo "$as_me:$LINENO: result: no" >&5
    21823 echo "${ECHO_T}no" >&6
    21824                     { { echo "$as_me:$LINENO: error: Library libVol.* not available in Vol installation directory" >&5
    21825 echo "$as_me: error: Library libVol.* not available in Vol installation directory" >&2;}
    21826    { (exit 1); exit 1; }; }
    21827                   else
    21828                     echo "$as_me:$LINENO: result: found $bla" >&5
    21829 echo "${ECHO_T}found $bla" >&6
    21830                   fi
     21741  :
     21742fi
    2183121743
    2183221744else
    2183321745  echo "$as_me:$LINENO: result: $coin_has_vol" >&5
    2183421746echo "${ECHO_T}$coin_has_vol" >&6
     21747  if test $coin_has_vol != notGiven &&
     21748     test $coin_has_vol != skipping; then
     21749    echo "$as_me:$LINENO: checking for source code location of Vol" >&5
     21750echo $ECHO_N "checking for source code location of Vol... $ECHO_C" >&6
     21751    echo "$as_me:$LINENO: result: $VOLSRCDIR" >&5
     21752echo "${ECHO_T}$VOLSRCDIR" >&6
     21753    echo "$as_me:$LINENO: checking for object code location of Vol" >&5
     21754echo $ECHO_N "checking for object code location of Vol... $ECHO_C" >&6
     21755    echo "$as_me:$LINENO: result: $VOLOBJDIR" >&5
     21756echo "${ECHO_T}$VOLOBJDIR" >&6
     21757  fi
    2183521758fi
    2183621759
     
    2192821851   { (exit 1); exit 1; }; }
    2192921852                   fi
    21930                    if test -r $withval/include/coin/symphony.h; then
    21931                         coin_has_symphony=installed
    21932                         SYMPHONYINSTDIR=`cd $withval; pwd`
    21933                       fi
    21934 
     21853                   if test -r $withval/share/doc/coin/SYMPHONY/README; then
     21854                     coin_has_symphony=installed
     21855                     SYMPHONYINSTDIR=`cd $withval; pwd`
     21856                   fi
    2193521857fi;
    2193621858    fi
     
    2199421916  echo "$as_me:$LINENO: result: installed in $SYMPHONYINSTDIR" >&5
    2199521917echo "${ECHO_T}installed in $SYMPHONYINSTDIR" >&6
    21996   # Check for header
    21997   tmp=$SYMPHONYINSTDIR/include/coin
    21998                   echo "$as_me:$LINENO: checking whether header symphony.h is available in $tmp" >&5
    21999 echo $ECHO_N "checking whether header symphony.h is available in $tmp... $ECHO_C" >&6
    22000                   if test -r $tmp/symphony.h; then
    22001                     echo "$as_me:$LINENO: result: yes" >&5
    22002 echo "${ECHO_T}yes" >&6
    22003                   else
    22004                     echo "$as_me:$LINENO: result: no" >&5
    22005 echo "${ECHO_T}no" >&6
    22006                     { { echo "$as_me:$LINENO: error: Header symphony.h not available in SYMPHONY installation directory" >&5
    22007 echo "$as_me: error: Header symphony.h not available in SYMPHONY installation directory" >&2;}
     21918  if test -r $SYMPHONYINSTDIR/share/doc/coin/SYMPHONY/README; then
     21919
     21920  :
     21921else
     21922  { { echo "$as_me:$LINENO: error: $SYMPHONYINSTDIR/share/doc/coin/SYMPHONY/README should be available if SYMPHONY is installed" >&5
     21923echo "$as_me: error: $SYMPHONYINSTDIR/share/doc/coin/SYMPHONY/README should be available if SYMPHONY is installed" >&2;}
    2200821924   { (exit 1); exit 1; }; }
    22009                   fi
    22010 
    22011   # Check for library (this is not qo reliable)
    22012   tmp=$SYMPHONYINSTDIR/lib
    22013                   echo "$as_me:$LINENO: checking whether library libSym.* is available in $tmp" >&5
    22014 echo $ECHO_N "checking whether library libSym.* is available in $tmp... $ECHO_C" >&6
    22015                   bla=`ls $tmp/libSym.* 2>/dev/null | head -n 1`
    22016                   if test x"$bla" = x; then
    22017                     echo "$as_me:$LINENO: result: no" >&5
    22018 echo "${ECHO_T}no" >&6
    22019                     { { echo "$as_me:$LINENO: error: Library libSym.* not available in SYMPHONY installation directory" >&5
    22020 echo "$as_me: error: Library libSym.* not available in SYMPHONY installation directory" >&2;}
    22021    { (exit 1); exit 1; }; }
    22022                   else
    22023                     echo "$as_me:$LINENO: result: found $bla" >&5
    22024 echo "${ECHO_T}found $bla" >&6
    22025                   fi
     21925  :
     21926fi
    2202621927
    2202721928else
    2202821929  echo "$as_me:$LINENO: result: $coin_has_symphony" >&5
    2202921930echo "${ECHO_T}$coin_has_symphony" >&6
     21931  if test $coin_has_symphony != notGiven &&
     21932     test $coin_has_symphony != skipping; then
     21933    echo "$as_me:$LINENO: checking for source code location of SYMPHONY" >&5
     21934echo $ECHO_N "checking for source code location of SYMPHONY... $ECHO_C" >&6
     21935    echo "$as_me:$LINENO: result: $SYMPHONYSRCDIR" >&5
     21936echo "${ECHO_T}$SYMPHONYSRCDIR" >&6
     21937    echo "$as_me:$LINENO: checking for object code location of SYMPHONY" >&5
     21938echo $ECHO_N "checking for object code location of SYMPHONY... $ECHO_C" >&6
     21939    echo "$as_me:$LINENO: result: $SYMPHONYOBJDIR" >&5
     21940echo "${ECHO_T}$SYMPHONYOBJDIR" >&6
     21941  fi
    2203021942fi
    2203121943
  • stable/BSPsplit/Cbc/configure.ac

    r1187 r1191  
    5757#############################################################################
    5858
    59 AC_COIN_HAS_PROJECT(Cbc, CbcModel.hpp, libCbc)
    60 AC_COIN_HAS_PROJECT(Cgl, CglCutGenerator.hpp, libCgl)
    61 AC_COIN_HAS_PROJECT(Clp, ClpNode.hpp, libClp)
    62 AC_COIN_HAS_PROJECT(CoinUtils, CoinTime.hpp, libCoinUtils)
    63 AC_COIN_HAS_PROJECT(DyLP, dylp.h, libDylp)
    64 AC_COIN_HAS_PROJECT(Osi, OsiSolverInterface.hpp, libOsi)
    65 AC_COIN_HAS_PROJECT(Vol, VolVolume.hpp, libVol)
    66 AC_COIN_HAS_PROJECT(SYMPHONY, symphony.h, libSym)
     59AC_COIN_HAS_PROJECT(Cbc)
     60AC_COIN_HAS_PROJECT(Cgl)
     61AC_COIN_HAS_PROJECT(Clp)
     62AC_COIN_HAS_PROJECT(CoinUtils)
     63AC_COIN_HAS_PROJECT(DyLP)
     64AC_COIN_HAS_PROJECT(Osi)
     65AC_COIN_HAS_PROJECT(Vol)
     66AC_COIN_HAS_PROJECT(SYMPHONY)
    6767
    6868# AC_COIN_HAS_PROJECT(Cpx)
Note: See TracChangeset for help on using the changeset viewer.