Opened 7 years ago

Closed 6 years ago

#54263 closed request (fixed)

mariadb-10.2

Reported by: mmcclenn (Michael McClennen) Owned by: pixilla (Bradley Giesbrecht)
Priority: Normal Milestone:
Component: ports Version:
Keywords: Cc:
Port: mariadb-10.2

Description

Now that MariaDB 10.2 is stable, do we have an estimate of when the mariadb-10.2-server port will be available?

Change History (4)

comment:1 Changed 7 years ago by ryandesign (Ryan Carsten Schmidt)

Owner: set to pixilla
Port: mariadb-10.2 added
Status: newassigned
Summary: mariadb-10.2-servermariadb-10.2

comment:2 Changed 7 years ago by Garfield-fr (Bertrand Zuchuat)

Any news about this ticket ?

comment:3 Changed 7 years ago by pixilla (Bradley Giesbrecht)

I copied the mariadb-10.1 port to mariadb-10.2.

mariadb-10.2 fails to build storage/rocksdb. Applied upstream patch, will see if it builds now.

comment:4 Changed 6 years ago by Bradley Giesbrecht <brad@…>

Resolution: fixed
Status: assignedclosed
Note: See TracTickets for help on using tickets.