diff options
author | Marius Bakke <mbakke@fastmail.com> | 2018-07-20 00:50:20 +0200 |
---|---|---|
committer | Marius Bakke <mbakke@fastmail.com> | 2018-07-26 14:38:02 +0200 |
commit | 5b4d2e40f1b2097c1f1ea6d1a0e701a1908011d4 (patch) | |
tree | 25b9526535e717140e043fa6618c8d7175410b88 | |
parent | 4c27ea06d4f294613b267bdbec7c2896608c4189 (diff) | |
download | patches-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.scm | 13 |
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 _ |