Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Prepare build on macOS #378

Merged
merged 11 commits into from
Jan 28, 2021
Merged

Conversation

ttuegel
Copy link
Contributor

@ttuegel ttuegel commented Nov 25, 2020

This pull request clears up the remaining issues with building the backend on macOS except that we still need to update macOS SDK version upstream in Nixpkgs (NixOS/nixpkgs#101229). Still, I don't want to lose the progress we have made so far.

@ttuegel ttuegel force-pushed the nix-macos branch 7 times, most recently from 5fc0180 to 7aa4718 Compare November 26, 2020 02:05
@ttuegel
Copy link
Contributor Author

ttuegel commented Nov 27, 2020

The build is failing with this error:

cd /tmp/nix-build-llvm-backend-0.drv-0/llvm-backend/build/runtime/configurationparser && /nix/store/ff3sk8lzq1xga26zyd5ghwz5qra3ian1-clang-wrapper-10.0.0/bin/c++   -I/tmp/nix-build-llvm-backend-0.drv-0/llvm-backend/include -I/tmp/nix-build-llvm-backend-0.drv-0/llvm-backend/build/include  -fno-stack-protector -g -O3 -DNDEBUG -arch x86_64   -Wall -Werror -Wno-return-type-c-linkage -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -std=c++17 -o CMakeFiles/configurationparser.dir/ConfigurationParser.cpp.o -c /tmp/nix-build-llvm-backend-0.drv-0/llvm-backend/runtime/configurationparser/ConfigurationParser.cpp
/tmp/nix-build-llvm-backend-0.drv-0/llvm-backend/runtime/configurationparser/ConfigurationParser.cpp:32:80: error: 'get<const kllvm::KOREPattern *, const kllvm::KOREPattern *, construction>' is unavailable: introduced in macOS 10.14
      const auto constructor = dynamic_cast<const KORECompositePattern *>(std::get<const KOREPattern *>(current));
                                                                               ^
/nix/store/w7x7s9g7lrzzds5b7i0q5sjbskvqpimy-libc++-10.0.0/include/c++/v1/variant:1429:16: note: 'get<const kllvm::KOREPattern *, const kllvm::KOREPattern *, construction>' has been explicitly marked unavailable here
constexpr _Tp& get(variant<_Types...>& __v) {
               ^
/tmp/nix-build-llvm-backend-0.drv-0/llvm-backend/runtime/configurationparser/ConfigurationParser.cpp:62:27: error: 'get<construction, const kllvm::KOREPattern *, construction>' is unavailable: introduced in macOS 10.14
      uint32_t tag = std::get<construction>(current).tag;
                          ^
/nix/store/w7x7s9g7lrzzds5b7i0q5sjbskvqpimy-libc++-10.0.0/include/c++/v1/variant:1429:16: note: 'get<construction, const kllvm::KOREPattern *, construction>' has been explicitly marked unavailable here
constexpr _Tp& get(variant<_Types...>& __v) {
               ^
/tmp/nix-build-llvm-backend-0.drv-0/llvm-backend/runtime/configurationparser/ConfigurationParser.cpp:63:31: error: 'get<construction, const kllvm::KOREPattern *, construction>' is unavailable: introduced in macOS 10.14
      size_t nchildren = std::get<construction>(current).nchildren;
                              ^
/nix/store/w7x7s9g7lrzzds5b7i0q5sjbskvqpimy-libc++-10.0.0/include/c++/v1/variant:1429:16: note: 'get<construction, const kllvm::KOREPattern *, construction>' has been explicitly marked unavailable here
constexpr _Tp& get(variant<_Types...>& __v) {
               ^
3 errors generated.

According to NixOS/nixpkgs#101229, we are using the macOS 10.12 SDK, which probably explains this error.

@ttuegel ttuegel force-pushed the nix-macos branch 2 times, most recently from 0606b35 to 4987693 Compare January 26, 2021 22:02
@ttuegel ttuegel marked this pull request as ready for review January 26, 2021 22:02
@ttuegel ttuegel changed the title Run Nix jobs on macOS Prepare build on macOS Jan 26, 2021
@dwightguth dwightguth merged commit 9bc64b1 into runtimeverification:master Jan 28, 2021
@ttuegel ttuegel deleted the nix-macos branch January 28, 2021 21:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants