diff options
| author | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2024-09-29 11:00:56 +0200 |
|---|---|---|
| committer | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2024-10-06 12:17:16 +0200 |
| commit | dcf77f8fca7754fbf873b8849044f44826d9fca1 (patch) | |
| tree | 26947d75e44b3d646c9f3caf04bfc61caf05fffa /gnu/local.mk | |
| parent | e2ff842ece722f42d7b718e513e64f7a46f90b41 (diff) | |
| download | guix-dcf77f8fca7754fbf873b8849044f44826d9fca1.tar guix-dcf77f8fca7754fbf873b8849044f44826d9fca1.tar.gz | |
gnu: Add cadical.
* gnu/packages/patches/cadical-add-shared-library.patch: New file.
* gnu/local.mk (dist_patch_DATA): Register it here.
* gnu/packages/maths.scm (cadical): New variable.
Diffstat (limited to 'gnu/local.mk')
| -rw-r--r-- | gnu/local.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/local.mk b/gnu/local.mk index 2adf196a87..b7a432cc1c 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -1027,6 +1027,7 @@ dist_patch_DATA = \ %D%/packages/patches/breezy-fix-gio.patch \ %D%/packages/patches/byobu-writable-status.patch \ %D%/packages/patches/bubblewrap-fix-locale-in-tests.patch \ + %D%/packages/patches/cadical-add-shared-library.patch \ %D%/packages/patches/calibre-no-updates-dialog.patch \ %D%/packages/patches/calibre-remove-test-sqlite.patch \ %D%/packages/patches/calibre-remove-test-unrar.patch \ |