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:

              Git Integration

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