Re: [Potassco-users] Mac OS X 10.6.8 installation

[Martin <mj...@cs...>]

On Thu, 2011-08-25 at 09:44 +0100, Dimitrios Traskas wrote:
> Hi there,
> 
> 
> thanks for all the replies, unfortunately it still doesn't work. I
> tried all approaches and I get errors in each one of them. First of
> all I have installed boost and gcc4.6 with macports. First I tried
> this:
> 
> 
> make target="gringo-app clingo-app" CC=gcc-mp-4.6 CXX=g++-mp-4.6
> 
> 
> and I got this:
> 
> 
> mkdir -p build/release
> cd build/release && \
> cmake ../.. \
> -DCMAKE_CXX_FLAGS=-Wall \
> -DCMAKE_BUILD_TYPE=release \
> -DWITH_LUA=shipped -DWITH_LUASQL=1 && \
> make gringo-app clingo-app
> -- Looking for mysql... - NOT found
> -- Configuring done
> -- Generating done
> -- Build files have been written
> to: /Users/dimitriostraskas/phd/clingo-3.0.3-source/build/release
> Scanning dependencies of target appgringo-lib
> [  0%] Building CXX object
> app/gringo/CMakeFiles/appgringo-lib.dir/gringo_app.cpp.o
> cc1plus: error: unrecognized command line option
> "-Wno-ignored-qualifiers"
> make[4]: ***
> [app/gringo/CMakeFiles/appgringo-lib.dir/gringo_app.cpp.o] Error 1
> make[3]: *** [app/gringo/CMakeFiles/appgringo-lib.dir/all] Error 2
> make[2]: *** [app/CMakeFiles/gringo-app.dir/rule] Error 2
> make[1]: *** [gringo-app] Error 2
> make: *** [release] Error 2

My guess would be that cmake is not picking up the right GCC version.
What do the logs say?

> Then I tried to get the source code from svn and subsequently
> executing this: 
> 
> 
> make target="clingo-app gringo-app"
> 
> 
> but I get this:
> 
> 
> mkdir -p build/release
> cd build/release && \
> cmake ../.. \
> -DCMAKE_CXX_FLAGS=-Wall \
> -DCMAKE_BUILD_TYPE=release \
> -DWITH_LUA=shipped && \
> make clingo-app gringo-app
> -- The C compiler identification is GNU
> -- The CXX compiler identification is GNU
> -- Checking whether C compiler has -isysroot
> -- Checking whether C compiler has -isysroot - yes
> -- Checking whether C compiler supports OSX deployment target flag
> -- Checking whether C compiler supports OSX deployment target flag -
> yes
> -- Check for working C compiler: /usr/bin/gcc
> -- Check for working C compiler: /usr/bin/gcc -- works
> -- Detecting C compiler ABI info
> -- Detecting C compiler ABI info - done
> -- Checking whether CXX compiler has -isysroot
> -- Checking whether CXX compiler has -isysroot - yes
> -- Checking whether CXX compiler supports OSX deployment target flag
> -- Checking whether CXX compiler supports OSX deployment target flag -
> yes
> -- 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 - Failed
> -- Boost version: 1.47.0
> -- Found the following Boost libraries:
> --   filesystem
> --   system
> CMake Error at cmake/FindRE2C.cmake:14 (MESSAGE):
>   Looking for re2c...  - NOT found
> Call Stack (most recent call first):
>   cmake/re2c.cmake:7 (FIND_PACKAGE)
>   libgringo/CMakeLists.txt:7 (RE2C)
> 
> 
> 
> 
> -- Configuring incomplete, errors occurred!
> make: *** [release] Error 1
> 

Do you have re2c installed?  If so, what version?


> So whatever I try I seem to get errors and by now I have pretty much
> installed everything required. Silly question but isn't there anyone
> who has already built clingo for the mac? If there is someone then you
> could save me an awful lot of time.
> 

Probably a silly question and I've missed the place where you said this
doesn't work but have you tried the Mac version on the official
downloads?

http://sourceforge.net/projects/potassco/files/clingo/3.0.3/

Cheers,
 - Martin