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

RocksDB plugin fails to build on macOS because of unknown type `timer_t` etc.

    XMLWordPrintable

Details

    Description

      Hello!

      When trying to build the following errors are thrown:

      In file included from /tmp/mariadb-20170818-29127-1j90748/mariadb-10.2.8/storage/rocksdb/event_listener.cc:31:
      In file included from /tmp/mariadb-20170818-29127-1j90748/mariadb-10.2.8/storage/rocksdb/./ha_rocksdb.h:53:
      /tmp/mariadb-20170818-29127-1j90748/mariadb-10.2.8/storage/rocksdb/./rdb_io_watchdog.h:45:3: error: unknown type name 'timer_t'; did you mean 'time_t'?
      [..]
      In file included from /tmp/mariadb-20170818-29127-1j90748/mariadb-10.2.8/storage/rocksdb/event_listener.cc:31:
      In file included from /tmp/mariadb-20170818-29127-1j90748/mariadb-10.2.8/storage/rocksdb/./ha_rocksdb.h:53:
      /tmp/mariadb-20170818-29127-1j90748/mariadb-10.2.8/storage/rocksdb/./rdb_io_watchdog.h:60:13: error: use of undeclared identifier 'timer_delete'
      

      This is probably because Apple's `time.h` doesn't declare `timer_t`, `timer_delete()` and such.

      Thank you.

      Attachments

        Activity

          People

            varun Varun Gupta (Inactive)
            Dan Dan
            Votes:
            0 Vote for this issue
            Watchers:
            5 Start watching this issue

            Dates

              Created:
              Updated:
              Resolved:

              Time Tracking

                Estimated:
                Original Estimate - Not Specified
                Not Specified
                Remaining:
                Remaining Estimate - 0d
                0d
                Logged:
                Time Spent - 0.5h
                0.5h

                Git Integration

                  Error rendering 'com.xiplink.jira.git.jira_git_plugin:git-issue-webpanel'. Please contact your Jira administrators.