Changeset 1187 for stable


Ignore:
Timestamp:
Jul 7, 2009 11:03:13 PM (10 years ago)
Author:
andreasw
Message:

final instdir commits for tonight

Location:
stable/BSPsplit/Cbc
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • stable/BSPsplit/Cbc/configure

    r1186 r1187  
    2055820558if test "${with_coin_instdir+set}" = set; then
    2055920559  withval="$with_coin_instdir"
    20560   coin_has_cbc=installed
    20561                    if test -d "$withval"; then : ; else
     20560  if test -d "$withval"; then : ; else
    2056220561                     { { echo "$as_me:$LINENO: error: argument for --with-coin-instdir not a directory" >&5
    2056320562echo "$as_me: error: argument for --with-coin-instdir not a directory" >&2;}
    2056420563   { (exit 1); exit 1; }; }
    2056520564                   fi
    20566                    CBCINSTDIR=`cd $withval; pwd`
     20565                   if test -r $withval/include/coin/CbcModel.hpp; then
     20566                        coin_has_cbc=installed
     20567                        CBCINSTDIR=`cd $withval; pwd`
     20568                      fi
     20569
    2056720570fi;
    2056820571    fi
     
    2062720630echo "${ECHO_T}installed in $CBCINSTDIR" >&6
    2062820631  # Check for header
     20632  tmp=$CBCINSTDIR/include/coin
     20633                  echo "$as_me:$LINENO: checking whether header CbcModel.hpp is available in $tmp" >&5
     20634echo $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
     20637echo "${ECHO_T}yes" >&6
     20638                  else
     20639                    echo "$as_me:$LINENO: result: no" >&5
     20640echo "${ECHO_T}no" >&6
     20641                    { { echo "$as_me:$LINENO: error: Header CbcModel.hpp not available in Cbc installation directory" >&5
     20642echo "$as_me: error: Header CbcModel.hpp not available in Cbc installation directory" >&2;}
     20643   { (exit 1); exit 1; }; }
     20644                  fi
    2062920645
    2063020646  # 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
     20649echo $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
     20653echo "${ECHO_T}no" >&6
     20654                    { { echo "$as_me:$LINENO: error: Library libCbc.* not available in Cbc installation directory" >&5
     20655echo "$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
     20659echo "${ECHO_T}found $bla" >&6
     20660                  fi
    2063120661
    2063220662else
     
    2072320753if test "${with_coin_instdir+set}" = set; then
    2072420754  withval="$with_coin_instdir"
    20725   coin_has_cgl=installed
    20726                    if test -d "$withval"; then : ; else
     20755  if test -d "$withval"; then : ; else
    2072720756                     { { echo "$as_me:$LINENO: error: argument for --with-coin-instdir not a directory" >&5
    2072820757echo "$as_me: error: argument for --with-coin-instdir not a directory" >&2;}
    2072920758   { (exit 1); exit 1; }; }
    2073020759                   fi
    20731                    CGLINSTDIR=`cd $withval; pwd`
     20760                   if test -r $withval/include/coin/CglCutGenerator.hpp; then
     20761                        coin_has_cgl=installed
     20762                        CGLINSTDIR=`cd $withval; pwd`
     20763                      fi
     20764
    2073220765fi;
    2073320766    fi
     
    2079220825echo "${ECHO_T}installed in $CGLINSTDIR" >&6
    2079320826  # Check for header
     20827  tmp=$CGLINSTDIR/include/coin
     20828                  echo "$as_me:$LINENO: checking whether header CglCutGenerator.hpp is available in $tmp" >&5
     20829echo $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
     20832echo "${ECHO_T}yes" >&6
     20833                  else
     20834                    echo "$as_me:$LINENO: result: no" >&5
     20835echo "${ECHO_T}no" >&6
     20836                    { { echo "$as_me:$LINENO: error: Header CglCutGenerator.hpp not available in Cgl installation directory" >&5
     20837echo "$as_me: error: Header CglCutGenerator.hpp not available in Cgl installation directory" >&2;}
     20838   { (exit 1); exit 1; }; }
     20839                  fi
    2079420840
    2079520841  # 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
     20844echo $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
     20848echo "${ECHO_T}no" >&6
     20849                    { { echo "$as_me:$LINENO: error: Library libCgl.* not available in Cgl installation directory" >&5
     20850echo "$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
     20854echo "${ECHO_T}found $bla" >&6
     20855                  fi
    2079620856
    2079720857else
     
    2088820948if test "${with_coin_instdir+set}" = set; then
    2088920949  withval="$with_coin_instdir"
    20890   coin_has_clp=installed
    20891                    if test -d "$withval"; then : ; else
     20950  if test -d "$withval"; then : ; else
    2089220951                     { { echo "$as_me:$LINENO: error: argument for --with-coin-instdir not a directory" >&5
    2089320952echo "$as_me: error: argument for --with-coin-instdir not a directory" >&2;}
    2089420953   { (exit 1); exit 1; }; }
    2089520954                   fi
    20896                    CLPINSTDIR=`cd $withval; pwd`
     20955                   if test -r $withval/include/coin/ClpNode.hpp; then
     20956                        coin_has_clp=installed
     20957                        CLPINSTDIR=`cd $withval; pwd`
     20958                      fi
     20959
    2089720960fi;
    2089820961    fi
     
    2095721020echo "${ECHO_T}installed in $CLPINSTDIR" >&6
    2095821021  # Check for header
     21022  tmp=$CLPINSTDIR/include/coin
     21023                  echo "$as_me:$LINENO: checking whether header ClpNode.hpp is available in $tmp" >&5
     21024echo $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
     21027echo "${ECHO_T}yes" >&6
     21028                  else
     21029                    echo "$as_me:$LINENO: result: no" >&5
     21030echo "${ECHO_T}no" >&6
     21031                    { { echo "$as_me:$LINENO: error: Header ClpNode.hpp not available in Clp installation directory" >&5
     21032echo "$as_me: error: Header ClpNode.hpp not available in Clp installation directory" >&2;}
     21033   { (exit 1); exit 1; }; }
     21034                  fi
    2095921035
    2096021036  # 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
     21039echo $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
     21043echo "${ECHO_T}no" >&6
     21044                    { { echo "$as_me:$LINENO: error: Library libClp.* not available in Clp installation directory" >&5
     21045echo "$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
     21049echo "${ECHO_T}found $bla" >&6
     21050                  fi
    2096121051
    2096221052else
     
    2105321143if test "${with_coin_instdir+set}" = set; then
    2105421144  withval="$with_coin_instdir"
    21055   coin_has_coinutils=installed
    21056                    if test -d "$withval"; then : ; else
     21145  if test -d "$withval"; then : ; else
    2105721146                     { { echo "$as_me:$LINENO: error: argument for --with-coin-instdir not a directory" >&5
    2105821147echo "$as_me: error: argument for --with-coin-instdir not a directory" >&2;}
    2105921148   { (exit 1); exit 1; }; }
    2106021149                   fi
    21061                    COINUTILSINSTDIR=`cd $withval; pwd`
     21150                   if test -r $withval/include/coin/CoinTime.hpp; then
     21151                        coin_has_coinutils=installed
     21152                        COINUTILSINSTDIR=`cd $withval; pwd`
     21153                      fi
     21154
    2106221155fi;
    2106321156    fi
     
    2112221215echo "${ECHO_T}installed in $COINUTILSINSTDIR" >&6
    2112321216  # Check for header
     21217  tmp=$COINUTILSINSTDIR/include/coin
     21218                  echo "$as_me:$LINENO: checking whether header CoinTime.hpp is available in $tmp" >&5
     21219echo $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
     21222echo "${ECHO_T}yes" >&6
     21223                  else
     21224                    echo "$as_me:$LINENO: result: no" >&5
     21225echo "${ECHO_T}no" >&6
     21226                    { { echo "$as_me:$LINENO: error: Header CoinTime.hpp not available in CoinUtils installation directory" >&5
     21227echo "$as_me: error: Header CoinTime.hpp not available in CoinUtils installation directory" >&2;}
     21228   { (exit 1); exit 1; }; }
     21229                  fi
    2112421230
    2112521231  # 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
     21234echo $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
     21238echo "${ECHO_T}no" >&6
     21239                    { { echo "$as_me:$LINENO: error: Library libCoinUtils.* not available in CoinUtils installation directory" >&5
     21240echo "$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
     21244echo "${ECHO_T}found $bla" >&6
     21245                  fi
    2112621246
    2112721247else
     
    2121821338if test "${with_coin_instdir+set}" = set; then
    2121921339  withval="$with_coin_instdir"
    21220   coin_has_dylp=installed
    21221                    if test -d "$withval"; then : ; else
     21340  if test -d "$withval"; then : ; else
    2122221341                     { { echo "$as_me:$LINENO: error: argument for --with-coin-instdir not a directory" >&5
    2122321342echo "$as_me: error: argument for --with-coin-instdir not a directory" >&2;}
    2122421343   { (exit 1); exit 1; }; }
    2122521344                   fi
    21226                    DYLPINSTDIR=`cd $withval; pwd`
     21345                   if test -r $withval/include/coin/dylp.h; then
     21346                        coin_has_dylp=installed
     21347                        DYLPINSTDIR=`cd $withval; pwd`
     21348                      fi
     21349
    2122721350fi;
    2122821351    fi
     
    2128721410echo "${ECHO_T}installed in $DYLPINSTDIR" >&6
    2128821411  # Check for header
     21412  tmp=$DYLPINSTDIR/include/coin
     21413                  echo "$as_me:$LINENO: checking whether header dylp.h is available in $tmp" >&5
     21414echo $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
     21417echo "${ECHO_T}yes" >&6
     21418                  else
     21419                    echo "$as_me:$LINENO: result: no" >&5
     21420echo "${ECHO_T}no" >&6
     21421                    { { echo "$as_me:$LINENO: error: Header dylp.h not available in DyLP installation directory" >&5
     21422echo "$as_me: error: Header dylp.h not available in DyLP installation directory" >&2;}
     21423   { (exit 1); exit 1; }; }
     21424                  fi
    2128921425
    2129021426  # 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
     21429echo $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
     21433echo "${ECHO_T}no" >&6
     21434                    { { echo "$as_me:$LINENO: error: Library libDylp.* not available in DyLP installation directory" >&5
     21435echo "$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
     21439echo "${ECHO_T}found $bla" >&6
     21440                  fi
    2129121441
    2129221442else
     
    2138321533if test "${with_coin_instdir+set}" = set; then
    2138421534  withval="$with_coin_instdir"
    21385   coin_has_osi=installed
    21386                    if test -d "$withval"; then : ; else
     21535  if test -d "$withval"; then : ; else
    2138721536                     { { echo "$as_me:$LINENO: error: argument for --with-coin-instdir not a directory" >&5
    2138821537echo "$as_me: error: argument for --with-coin-instdir not a directory" >&2;}
    2138921538   { (exit 1); exit 1; }; }
    2139021539                   fi
    21391                    OSIINSTDIR=`cd $withval; pwd`
     21540                   if test -r $withval/include/coin/OsiSolverInterface.hpp; then
     21541                        coin_has_osi=installed
     21542                        OSIINSTDIR=`cd $withval; pwd`
     21543                      fi
     21544
    2139221545fi;
    2139321546    fi
     
    2145221605echo "${ECHO_T}installed in $OSIINSTDIR" >&6
    2145321606  # Check for header
     21607  tmp=$OSIINSTDIR/include/coin
     21608                  echo "$as_me:$LINENO: checking whether header OsiSolverInterface.hpp is available in $tmp" >&5
     21609echo $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
     21612echo "${ECHO_T}yes" >&6
     21613                  else
     21614                    echo "$as_me:$LINENO: result: no" >&5
     21615echo "${ECHO_T}no" >&6
     21616                    { { echo "$as_me:$LINENO: error: Header OsiSolverInterface.hpp not available in Osi installation directory" >&5
     21617echo "$as_me: error: Header OsiSolverInterface.hpp not available in Osi installation directory" >&2;}
     21618   { (exit 1); exit 1; }; }
     21619                  fi
    2145421620
    2145521621  # 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
     21624echo $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
     21628echo "${ECHO_T}no" >&6
     21629                    { { echo "$as_me:$LINENO: error: Library libOsi.* not available in Osi installation directory" >&5
     21630echo "$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
     21634echo "${ECHO_T}found $bla" >&6
     21635                  fi
    2145621636
    2145721637else
     
    2154821728if test "${with_coin_instdir+set}" = set; then
    2154921729  withval="$with_coin_instdir"
    21550   coin_has_vol=installed
    21551                    if test -d "$withval"; then : ; else
     21730  if test -d "$withval"; then : ; else
    2155221731                     { { echo "$as_me:$LINENO: error: argument for --with-coin-instdir not a directory" >&5
    2155321732echo "$as_me: error: argument for --with-coin-instdir not a directory" >&2;}
    2155421733   { (exit 1); exit 1; }; }
    2155521734                   fi
    21556                    VOLINSTDIR=`cd $withval; pwd`
     21735                   if test -r $withval/include/coin/VolVolume.hpp; then
     21736                        coin_has_vol=installed
     21737                        VOLINSTDIR=`cd $withval; pwd`
     21738                      fi
     21739
    2155721740fi;
    2155821741    fi
     
    2161721800echo "${ECHO_T}installed in $VOLINSTDIR" >&6
    2161821801  # Check for header
     21802  tmp=$VOLINSTDIR/include/coin
     21803                  echo "$as_me:$LINENO: checking whether header VolVolume.hpp is available in $tmp" >&5
     21804echo $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
     21807echo "${ECHO_T}yes" >&6
     21808                  else
     21809                    echo "$as_me:$LINENO: result: no" >&5
     21810echo "${ECHO_T}no" >&6
     21811                    { { echo "$as_me:$LINENO: error: Header VolVolume.hpp not available in Vol installation directory" >&5
     21812echo "$as_me: error: Header VolVolume.hpp not available in Vol installation directory" >&2;}
     21813   { (exit 1); exit 1; }; }
     21814                  fi
    2161921815
    2162021816  # 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
     21819echo $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
     21823echo "${ECHO_T}no" >&6
     21824                    { { echo "$as_me:$LINENO: error: Library libVol.* not available in Vol installation directory" >&5
     21825echo "$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
     21829echo "${ECHO_T}found $bla" >&6
     21830                  fi
    2162121831
    2162221832else
     
    2171321923if test "${with_coin_instdir+set}" = set; then
    2171421924  withval="$with_coin_instdir"
    21715   coin_has_symphony=installed
    21716                    if test -d "$withval"; then : ; else
     21925  if test -d "$withval"; then : ; else
    2171721926                     { { echo "$as_me:$LINENO: error: argument for --with-coin-instdir not a directory" >&5
    2171821927echo "$as_me: error: argument for --with-coin-instdir not a directory" >&2;}
    2171921928   { (exit 1); exit 1; }; }
    2172021929                   fi
    21721                    SYMPHONYINSTDIR=`cd $withval; pwd`
     21930                   if test -r $withval/include/coin/symphony.h; then
     21931                        coin_has_symphony=installed
     21932                        SYMPHONYINSTDIR=`cd $withval; pwd`
     21933                      fi
     21934
    2172221935fi;
    2172321936    fi
     
    2178221995echo "${ECHO_T}installed in $SYMPHONYINSTDIR" >&6
    2178321996  # Check for header
     21997  tmp=$SYMPHONYINSTDIR/include/coin
     21998                  echo "$as_me:$LINENO: checking whether header symphony.h is available in $tmp" >&5
     21999echo $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
     22002echo "${ECHO_T}yes" >&6
     22003                  else
     22004                    echo "$as_me:$LINENO: result: no" >&5
     22005echo "${ECHO_T}no" >&6
     22006                    { { echo "$as_me:$LINENO: error: Header symphony.h not available in SYMPHONY installation directory" >&5
     22007echo "$as_me: error: Header symphony.h not available in SYMPHONY installation directory" >&2;}
     22008   { (exit 1); exit 1; }; }
     22009                  fi
    2178422010
    2178522011  # 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
     22014echo $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
     22018echo "${ECHO_T}no" >&6
     22019                    { { echo "$as_me:$LINENO: error: Library libSym.* not available in SYMPHONY installation directory" >&5
     22020echo "$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
     22024echo "${ECHO_T}found $bla" >&6
     22025                  fi
    2178622026
    2178722027else
  • stable/BSPsplit/Cbc/configure.ac

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