[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#32221] [PATCH 1/5] gnu: mariadb: Disable plugin that fails on armhf
From: |
Marius Bakke |
Subject: |
[bug#32221] [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