Question about CoCOALib build in SMT-RAT

[rpgoldman]

When I build SMT-RAT it seems that the CoCOA library dependency build cannot find the boost library that SMT-RAT uses. I see this in the transcript:

>>>>     CONFIGURATION  COMMENT     <<<<
ERROR: No BOOST installation found; looked inside /usr/local/include  /usr/include  /opt/local/include  /sw/include  /usr/sfw/include   [[boost-find-hdrs.sh]]
----------------------------------------
>>>>    Proceeding without BOOST    <<<<
----------------------------------------
>>>> Try installing liboost-all-dev <<<<
>>>> Or download from www.boost.org <<<<
----------------------------------------

----------------------------------------------------------------
>>>>  Not using BOOST  ==>  compilation of CoCoA5 disabled  <<<<
----------------------------------------------------------------

The C++ compiler is g++
The C++ compilation flags are "  -std=c++14  -Wall  -pedantic  -fPIC  -O2  "

Installation options are:
  command   INSTALL_CMD=install
  directory COCOALIB_INSTALL_DIR=/home/rpg/src/smtrat/build/resources/src/CArL-EP-build/resources

OPTIONAL external libraries:
HAVE_FROBBY   = no
HAVE_CDD      = no
HAVE_GFAN     = no
HAVE_GSL      = no
HAVE_MATHSAT  = no
HAVE_NORMALIZ = no
HAVE_READLINE = yes   -lreadline

-------------------------------------------------------
WARNINGS:  no BOOST (so no CoCoA-5);
-------------------------------------------------------

Is this a problem? Or can it safely be ignored?

[derjasper]

This is not a problem, as we only need CoCoALib (and not CoCoA).