GNU bug report logs - #32221
[PATCH 0/5] MariaDB updates

Previous Next

Full log

Message #8 received at 32221 <at> debbugs.gnu.org (full text, mbox):

From: Marius Bakke <mbakke <at> fastmail.com>
To: 32221 <at> debbugs.gnu.org
Subject: [PATCH 1/5] gnu: mariadb: Disable plugin that fails on armhf.
Date: Fri, 20 Jul 2018 13:38:33 +0200

* gnu/packages/databases.scm (mariadb)[arguments]: Add 'disable-plugins' phase.
---
 gnu/packages/databases.scm | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/gnu/packages/databases.scm b/gnu/packages/databases.scm
index b9ae9ee15..c27381ac2 100644
--- a/gnu/packages/databases.scm
+++ b/gnu/packages/databases.scm
@@ -665,6 +665,19 @@ Language.")
          "-DINSTALL_SHAREDIR=share/mysql")
        #:phases
        (modify-phases %standard-phases
+         (add-before 'configure 'disable-plugins
+           (lambda _
+             (let ((disable-plugin (lambda (name)
+                                     (call-with-output-file
+                                         (string-append "plugin/" name
+                                                        "/CMakeLists.txt")
+                                       (lambda (port)
+                                         (format port "\n")))))
+                   (disabled-plugins '(;; FIXME: On armhf-linux, this plugin
+                                       ;; triggers a GCC ICE.  Disable for now.
+                                       "semisync")))
+               (for-each disable-plugin disabled-plugins)
+               #t)))
          (add-before
           'configure 'pre-configure
           (lambda _
-- 
2.18.0

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.