guix: Use mumimu instead of mu.
authorRicardo Wurmus <rekado@elephly.net>
Tue, 23 Jul 2019 11:17:40 +0000 (13:17 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Tue, 23 Jul 2019 11:17:40 +0000 (13:17 +0200)
commitfd45c968a66b9808ed6b65455cafa596203a2237
tree6a651f79661d15bf5cc370921a1a7fc5e73a77f2
parente6f1ecfd88cb4e9a9e6a31b9161ffb48e36e9a44
guix: Use mumimu instead of mu.

* guix.scm (mumimu): New variable.
* configure.ac: Check for mumimu.
* mumi/config.scm.in (%config): Update placeholder for mu-executable.
configure.ac
guix.scm
mumi/config.scm.in