aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarius Bakke <mbakke@fastmail.com>2018-07-20 00:50:20 +0200
committerMarius Bakke <mbakke@fastmail.com>2018-07-26 14:38:02 +0200
commit5b4d2e40f1b2097c1f1ea6d1a0e701a1908011d4 (patch)
tree25b9526535e717140e043fa6618c8d7175410b88
parent4c27ea06d4f294613b267bdbec7c2896608c4189 (diff)
downloadpatches-5b4d2e40f1b2097c1f1ea6d1a0e701a1908011d4.tar
patches-5b4d2e40f1b2097c1f1ea6d1a0e701a1908011d4.tar.gz
gnu: mariadb: Disable plugin that fails on armhf.
* gnu/packages/databases.scm (mariadb)[arguments]: Add 'disable-plugins' phase.
-rw-r--r--gnu/packages/databases.scm13
1 files changed, 13 insertions, 0 deletions
diff --git a/gnu/packages/databases.scm b/gnu/packages/databases.scm
index 0e30815d40..61b4268e9d 100644
--- a/gnu/packages/databases.scm
+++ b/gnu/packages/databases.scm
@@ -665,6 +665,19 @@ Language.")
"-DINSTALL_SHAREDIR=share")
#: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 _