diff options
| author | Jakub Kądziołka <kuba@kadziolka.net> | 2020-02-23 16:11:30 +0100 |
|---|---|---|
| committer | Jakub Kądziołka <kuba@kadziolka.net> | 2020-02-23 17:58:38 +0100 |
| commit | f6b4d395fd321d43fd548ba832c78320ac3f8d51 (patch) | |
| tree | b0f8dea6f8d3c96b44e9cfeb76a6563a23412e82 /m4 | |
| parent | 4fed945280ce32f87d804d171f827c81ffd64a2a (diff) | |
| download | patches-f6b4d395fd321d43fd548ba832c78320ac3f8d51.tar patches-f6b4d395fd321d43fd548ba832c78320ac3f8d51.tar.gz | |
gnu: z3: Build the Python bindings
* gnu/packages/maths.scm (z3)[arguments]: Add the --python and
--pypkgdir flags to configure. To facilitate the latter, add
(guix build python-build-system) to #:modules and #:imported-modules.
Diffstat (limited to 'm4')
0 files changed, 0 insertions, 0 deletions