Re: [Potassco-users] cannot install clingcon on Mac OS X

[Roland K. <kam...@cs...>]

Hi, 

Max forgot to set the build target properly. To workaround, just type:
  make target=clingcon-app

If everything is in place, clingcon should build. Also remember to apply the 
patches below.

Regards, Roland

https://svn.code.sf.net/p/potassco/code/tags/clingcon-2.0.2/patches

On Saturday, January 26, 2013 11:18:23 AM Xudong Liu wrote:
> Hi,
> 
> I am trying to install clingcon by compiling from source code for my Mac. 
> But no luck.  The computer has a system OS X 10.8.2 Mountain Lion with a
> kernel version Darwin 12.2.1 on x86_64 machine.
> 
> I was able to download the binary of clingo for Mac OS and run clingo with
> no problem.  But since there is no Darwin oriented binary I had to build
> clingcon from source.  So I got clingcon-2.0.3-source.tar.gz and installed
> the prerequisites: boost libraries, cmake and re2c.  Then I followed the
> instructions in INSTALL file and it seemed everything worked fine.  But I
> cannot find the location of the executable "clingcon" generated  Below is
> the info I got when I typed "make" again in the console after installation.
> 
> mkdir -p build/release
> cd build/release && \
> 	cmake ../.. \
> 		-DCMAKE_CXX_FLAGS=-Wall \
> 		-DCMAKE_BUILD_TYPE=release \
> 		-DWITH_LUA=shipped && \
> 	make gringo-app
> -- Boost version: 1.52.0
> -- Found the following Boost libraries:
> --   filesystem
> --   system
> -- Boost version: 1.52.0
> -- Found the following Boost libraries:
> --   unit_test_framework
> -- Configuring done
> -- Generating done
> -- Build files have been written to:
> /Users/xudongliu/extrabin/clingcon/build/release [  2%] Built target
> appgringo-lib
> [ 32%] Built target lua-lib
> [ 33%] Built target lemon
> [ 94%] Built target gringo-lib
> [ 98%] Built target program_opts-lib
> [100%] Built target gringo-app
> 
> Just could not find where the executable is.  Could you please point out if
> there is anything I can do in order to get clingcon?  Or would you, if
> possible, send me a Mac binary of clingcon so I do not need to go through
> compiling process?  Thank you very much.
> 
> PS: I am doing many constraint programming using gringo/clasp, clingcon on a
> Linux system.  This is my first trying to carry the workload in a Mac.
> 
> 
> Best Regards,
> Xudong Liu