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

            Assignee:
            varun Varun Gupta
            Reporter:
            Dan Dan
            Votes:
            0 Vote for this issue
            Watchers:
            5 Start watching this issue

              Dates

              Created:
              Updated:
              Resolved: