make fail - libc++

[Extarys]

What I did:

cd /opt
sudo git clone
cd ./storm-extract
sudo git submodule init
sudo git submodule update
cd ../
sudo mkdir storm
cd storm
sudo cmake ../storm-extract (also tried absolute path)
make

I tried in home folder too (~)
Output

 xxx@xxx  ~/storm  cmake ../storm-extract
-- The C compiler identification is GNU 6.3.0
-- The CXX compiler identification is GNU 5.4.1
-- 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
-- Detecting C compile features
-- Detecting C compile features - 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
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Using Linux port
-- Configuring done
-- Generating done
-- Build files have been written to: /home/jer/storm

[  3%] Building CXX object CascLib/CMakeFiles/casc.dir/src/common/Common.cpp.o
c++: error: unrecognized command line option ‘-stdlib=libc++’
CascLib/CMakeFiles/casc.dir/build.make:62: recipe for target 'CascLib/CMakeFiles/casc.dir/src/common/Common.cpp.o' failed
make[2]: *** [CascLib/CMakeFiles/casc.dir/src/common/Common.cpp.o] Error 1
CMakeFiles/Makefile2:122: recipe for target 'CascLib/CMakeFiles/casc.dir/all' failed
make[1]: *** [CascLib/CMakeFiles/casc.dir/all] Error 2
Makefile:127: recipe for target 'all' failed
make: *** [all] Error 2
 ✘ xxx@xxx  /opt/storm  

I also tried installing libc++-dev, flushed everything and started over, same issue.

Can anyone help me with why this isn't working?

Thanks!

Linux Mint 18.1

[herrvigg]

This is because the author most likely used a CLang compiler on OSX and you are using gcc on Linux. The -stdlib=libc++option should only be used on OSX. The default lib with gcc on Linux is libstdc++ so edit your CMakeLists.txt and remove the flag. Just keep this :

set(CMAKE_CXX_FLAGS "-std=c++11")

Execute make again and it should work. The file should be changed, i can send a fix later if you confirm it works.

[jnovack]

Did #6 solve this?