Version 4 (modified by tirons, 22 months ago) (diff)


If you are compiling on a Mac you have a couple of options.

Using XCode

If you want to use the standard XCode build tools, Lemma will compile as long as you do not attempt to use OpenMP. This is due to OpenMP not being supported by Apple's Clang compiler. If you elect to go this route, simply install XCode, and then within XCode make sure you have the command line tools installed.

Using HomeBrew

# Install HomeBrew (if necessary) 
/usr/bin/ruby -e "$(curl -fsSL"  
# make sure HomeBrew is up to date 
brew update 
brew upgrade
# install omp and the latest llvm 
brew install libomp 
brew install llvm  
brew install cmake 

At this point you can invoke cmake, but you need to specify the CMAKE_CXX_COMPILER and CMAKE_C_COMPILER to be the variants installed above.

  git clone 
  ccmake ../Lemma

At this point, you can specify the compilers within the Advanced settings by hitting t CmakeMacOSX Once the compilers are specified, you can type c to configure and g to generate the Makefile.

# start with the initial dependencies 
ccmake ../Lemma # configure the main build 
make install 

Attachments (1)

Download all attachments as: .zip