diff options
| author | gemmaro <gemmaro.dev@gmail.com> | 2023-08-07 23:05:41 +0900 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2023-08-15 00:33:51 +0200 |
| commit | 820bf78cbc487d28457acc6cb790f4cbd7cc49b9 (patch) | |
| tree | fe3c7a811d0b1952484d30fead81ec9540c9e744 /gnu/packages/patches/php-fix-streams-copy-length.patch | |
| parent | 5d14e1c0b05b0b559171f513701108e17e72f523 (diff) | |
| download | guix-820bf78cbc487d28457acc6cb790f4cbd7cc49b9.tar.gz guix-820bf78cbc487d28457acc6cb790f4cbd7cc49b9.zip | |
gnu: highlight: Add "gui" output.
* gnu/packages/pretty-print.scm (highlight): Add gui output.
[source]: Add patch for GUI data directory.
[outputs]: Add gui.
[arguments]<phases>{fix-search-for-lua}: Fix Lua package name for GUI.
{build-gui}: Add phase to build GUI.
{install}: Set PREFIX variable.
{install-gui}: Add phase to install GUI.
[inputs]: Add qtbase-5.
* gnu/packages/patches/highlight-gui-data-dir.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/packages/patches/php-fix-streams-copy-length.patch')
0 files changed, 0 insertions, 0 deletions