Uploaded image for project: 'MariaDB Server'
  1. MariaDB Server
  2. MDEV-19830

MyRocks build fails on ppc64le: cinttypes: No such file or directory

    Details

      Description

      After the latest upstream merge, MyRocks build fails on ppc64:

      https://buildbot.askmonty.org/buildbot/builders/p8-suse12-rpm/builds/6933/steps/compile/logs/stdio

      https://buildbot.askmonty.org/buildbot/builders/kvm-deb-bionic-ppc64le/builds/2007/steps/compile/logs/stdio

      The error is:

      rocksdb/rocksdb/util/crc32c_ppc.c:9:21: fatal error: cinttypes: No such file or directory
      

      The file is crc32c_ppc .c, this explains why only PPC is affected.
      <cinttypes> is a C++ header, so C file should not be including it (thanks to Sergey Vojtovich for pointing this out)

        Attachments

          Issue Links

            Activity

              People

              • Assignee:
                psergey Sergei Petrunia
                Reporter:
                psergey Sergei Petrunia
              • Votes:
                0 Vote for this issue
                Watchers:
                3 Start watching this issue

                Dates

                • Created:
                  Updated:
                  Resolved: