guile: make guile-extension-dir configurable

We use
   guile_dep.get_variable(pkgconfig: 'extensiondir')
but that's not good for everyone.
This commit is contained in:
Dirk-Jan C. Binnema
2023-08-09 20:17:25 +03:00
parent 31bb84182b
commit 52e3a4766e
3 changed files with 18 additions and 3 deletions

View File

@ -1,4 +1,4 @@
## Copyright (C) 2022 Dirk-Jan C. Binnema <djcb@djcbsoftware.nl>
## Copyright (C) 2022-2023 Dirk-Jan C. Binnema <djcb@djcbsoftware.nl>
##
## This program is free software; you can redistribute it and/or modify
## it under the terms of the GNU General Public License as published by
@ -20,6 +20,11 @@ option('guile',
value: 'auto',
description: 'build the guile scripting support (requires guile-3.x)')
# by default, this uses guile_dep.get_variable(pkgconfig: 'extensiondir')
option('guile-extension-dir',
type: 'string',
description: 'custom install path for the guile extension module')
option('readline',
type: 'feature',
value: 'auto',