Re: [Potassco-users] Problems Compiling gringo 3.0.4

[Torsten S. <to...@cs...>]

Hi Gregory,

I'm afraid I do not know enough about it to help.
But I CC the potassco-users who may know the answer
and then benefit from it.

 Cheers, -torsten

Gregory Gelfond <gel...@gm...> writes:

> [1:text/plain Hide]
> Hi Torsten,
>
> I'm attempting to compile the latest version of gringo (version 3.0.4) on
> my Mac and have run into an issue that I'm not sure how to resolve (my
> Google skills are apparently lacking).
>
> The issue appears to be that CMake cannot find the following boost
> libraries: *boost_filesystem*, *boost_system*. I find this strange, as I
> just installed boost 1.52.0 via macports and */opt/local/include* appears
> to contain all of the required files.
>
> Here is the output I get on the Terminal when I try to compile the program:
>
> gregory ~/Downloads/gringo-3.0.4-source
> $ make
> mkdir -p build/release
> cd build/release && \
>  cmake ../.. \
> -DCMAKE_CXX_FLAGS=-Wall \
>  -DCMAKE_BUILD_TYPE=release \
> -DWITH_LUA=shipped -DWITH_LUASQL=0 && \
>  make gringo-app
> -- The C compiler identification is Clang 4.1.0
> -- The CXX compiler identification is Clang 4.1.0
> -- Check for working C compiler: /usr/bin/cc
> -- Check for working C compiler: /usr/bin/cc -- works
> -- Detecting C compiler ABI info
> -- Detecting C compiler ABI info - done
> -- Check for working CXX compiler: /usr/bin/c++
> -- Check for working CXX compiler: /usr/bin/c++ -- works
> -- Detecting CXX compiler ABI info
> -- Detecting CXX compiler ABI info - done
> -- Performing Test HAS_WARN_NO_IGNORED_QUALIFIERS
> -- Performing Test HAS_WARN_NO_IGNORED_QUALIFIERS - Success
> -- Performing Test HAS_WARN_NO_UNUSED_PARAMETER
> -- Performing Test HAS_WARN_NO_UNUSED_PARAMETER - Success
> -- Performing Test HAS_WARN_NO_UNUSED_VARIABLE
> -- Performing Test HAS_WARN_NO_UNUSED_VARIABLE - Success
> CMake Error at /opt/local/share/cmake-2.8/Modules/FindBoost.cmake:1192
> (message):
>   Unable to find the requested Boost libraries.
>
>   Boost version: 1.52.0
>
>   Boost include path: /opt/local/include
>
>   The following Boost libraries could not be found:
>
>           boost_filesystem
>           boost_system
>
>   No Boost libraries were found.  You may need to set BOOST_LIBRARYDIR to
> the
>   directory containing Boost libraries or BOOST_ROOT to the location of
>   Boost.
> Call Stack (most recent call first):
>   CMakeLists.txt:62 (find_package)
>
>
> -- Configuring incomplete, errors occurred!
> make: *** [release] Error 1
>
> For what it's worth, the latest version of clasp compiles with no problems.
>
> Any suggestions on what I should try?
>
> Best Regards,
> Gregory Gelfond
> [2:text/html Show]