Brew install on macOS 11.6 fails

[andreTheuma]

Terminal Log:

Last 15 lines from /Users/user/Library/Logs/Homebrew/souffle/03.cmake: using ::islessgreater; ~~^ /Library/Developer/CommandLineTools/SDKs/MacOSX11.sdk/usr/include/c++/v1/cmath:332:9: error: no member named 'isunordered' in the global namespace using ::isunordered; ~~^ /Library/Developer/CommandLineTools/SDKs/MacOSX11.sdk/usr/include/c++/v1/cmath:333:9: error: no member named 'isunordered' in the global namespace using ::isunordered; ~~^ 13 errors generated. make[2]: *** [src/CMakeFiles/libsouffle.dir/ast/analysis/Functor.cpp.o] Error 1 make[2]: *** Waiting for unfinished jobs.... 13 errors generated. make[2]: *** [src/CMakeFiles/libsouffle.dir/ast/analysis/PolymorphicObjects.cpp.o] Error 1 make[1]: *** [src/CMakeFiles/libsouffle.dir/all] Error 2 make: *** [all] Error 2

[b-scholz]

We would help with the installation script. Could you help fixing the problem?

[rahlk]

Try this: #7 (comment)

@b-scholz I am wondering if we can add the export CC/CXX to the formula.rb? And include gcc in depends on?

[b-scholz]

I think that would be great. Could you create a PR?

[ammkrn]

fwiw this is still an issue preventing installation on macOS using the instructions on the souffle page. The installation instructions fail with:

Already on 'master'
Your branch is up to date with 'origin/master'.
HEAD is now at 66b96fd07 Merge pull request #2287 from julienhenry/fix-btree-destructor
==> Installing souffle from souffle-lang/souffle
==> git fetch --tags
==> cmake -B build -S . -DSOUFFLE_GIT=OFF -DSOUFFLE_BASH_COMPLETION=OFF -DCMAKE_C_COMPILER=gcc-11 -DCMAKE_CXX_COMPILER=g++-11
==> cmake --build build --target install -j17
Last 15 lines from /Users/user/Library/Logs/Homebrew/souffle/03.cmake:
      ~~^
/Library/Developer/CommandLineTools/SDKs/MacOSX11.sdk/usr/include/c++/v1/cmath:333:9: error: no member named 'isunordered' in the global namespace
using ::isunordered;
      ~~^
15 errors generated.
gmake[2]: *** [src/CMakeFiles/libsouffle.dir/build.make:801: src/CMakeFiles/libsouffle.dir/ast/analysis/ProfileUse.cpp.o] Error 1
13 errors generated.
gmake[2]: *** [src/CMakeFiles/libsouffle.dir/build.make:857: src/CMakeFiles/libsouffle.dir/ast/analysis/JoinSize.cpp.o] Error 1
gmake[1]: *** [CMakeFiles/Makefile2:1234: src/CMakeFiles/libsouffle.dir/all] Error 2
gmake[1]: *** Waiting for unfinished jobs....
[ 47%] Linking CXX executable souffleprof
[ 47%] Built target souffleprof
[ 47%] Linking CXX executable test_brie
[ 47%] Built target test_brie
gmake: *** [Makefile:146: all] Error 2

I don't really know anything about these build systems, so unfortunately I won't be of much help in fixing the problem.

[b-scholz]

Have you tried the manual instructions? Does it build for you? Which computer do you have ARM or Intel?

[ammkrn]

Intel, Big sur 11.6.8. Building with the instructions in the OSX section fails:

[ 64%] Building CXX object src/CMakeFiles/libsouffle.dir/parser/scanner.cc.o
/Users/user/souffle/build/src/parser/scanner.cc:2414:41: error: comparison of integers of different signs: 'unsigned long' and 'int' [-Werror,-Wsign-compare]
        if ((yyg->yy_n_chars + number_to_move) > YY_CURRENT_BUFFER_LVALUE->yy_buf_size) {
             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~  ^ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1 error generated.
gmake[2]: *** [src/CMakeFiles/libsouffle.dir/build.make:2202: src/CMakeFiles/libsouffle.dir/parser/scanner.cc.o] Error 1
gmake[1]: *** [CMakeFiles/Makefile2:1234: src/CMakeFiles/libsouffle.dir/all] Error 2
gmake: *** [Makefile:146: all] Error 2

The earlier steps linking bison and libffi return a warning along the lines of:

$ brew link bison --force
Warning: Refusing to link macOS provided/shadowed software: bison
If you need to have bison first in your PATH, run:
  echo 'export PATH="/usr/local/opt/bison/bin:$PATH"' >> ~/.profile

For compilers to find bison you may need to set:

Which just cuts off after you may need to set:.

[b-scholz]

Oh dear- we treat all warnings as errors, and that fails the build.

The generated flex source code contains warnings and we cannot fix this directly.

We need to disable the flag -Werror in src/CMakeList.txt when compiling parser/scanner.cc.

Would you like to help?

[ammkrn]

I disabled these two invocations of -Werror one two

And the build worked. I can PR it, but other than that I'm not sure how much help I can provide since this is not in my wheelhouse.

[b-scholz]

Yes please! Get Outlook for iOS<https://aka.ms/o0ukef>

…

________________________________ From: Chris Bailey ***@***.***> Sent: Tuesday, August 23, 2022 12:10:45 PM To: souffle-lang/homebrew-souffle ***@***.***> Cc: Bernhard Scholz ***@***.***>; Mention ***@***.***> Subject: Re: [souffle-lang/homebrew-souffle] Brew install on macOS 11.6 fails (#8) I disabled these two invocations of -Werror one<https://github.com/souffle-lang/souffle/blob/66b96fd07e7124d0e46bcf7cdc1cc5bf61f54cc3/src/CMakeLists.txt#L172> two<https://github.com/souffle-lang/souffle/blob/66b96fd07e7124d0e46bcf7cdc1cc5bf61f54cc3/src/CMakeLists.txt#L223> And the build worked. I can PR it, but other than that I'm not sure how much help I can provide since this is not in my wheelhouse. — Reply to this email directly, view it on GitHub<#8 (comment)>, or unsubscribe<https://github.com/notifications/unsubscribe-auth/ADMNAWPHMUYE73M6JMK2ZFTV2QXKLANCNFSM5FSEKD4A>. You are receiving this because you were mentioned.Message ID: ***@***.***>