diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2023-08-14 22:05:35 +0300 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2023-08-15 05:45:44 +0300 |
| commit | 3cda5dffbbbc522d8f2a7fcd4e242c64b5e8d308 (patch) | |
| tree | b29bececbdbcfc5be946388203367f32b4d94c75 /gnu/packages/xdisorg.scm | |
| parent | 6b514315f078bfc46a24322c7c9327be4e2ca36e (diff) | |
gnu: rofi: Remove pre-generated files.
* gnu/packages/xdisorg.scm (rofi)[source]: Add snippet to remove
pre-generated files.
Diffstat (limited to 'gnu/packages/xdisorg.scm')
| -rw-r--r-- | gnu/packages/xdisorg.scm | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/gnu/packages/xdisorg.scm b/gnu/packages/xdisorg.scm index 53e0980ebe..72e80b0d08 100644 --- a/gnu/packages/xdisorg.scm +++ b/gnu/packages/xdisorg.scm @@ -1892,7 +1892,16 @@ Extensions, Shortcuts, File browser mode and Custom Color Themes.") version "/rofi-" version ".tar.xz")) (sha256 (base32 - "138c4bl60p7namsb2pk8q5cdlxbdkli7zny192vk5jv5s5kczzya")))) + "138c4bl60p7namsb2pk8q5cdlxbdkli7zny192vk5jv5s5kczzya")) + (snippet + #~(begin + ;; Delete pre-generated files. + (for-each delete-file + (list "lexer/theme-lexer.c" + "lexer/theme-parser.c" + "lexer/theme-parser.h" + "resources/resources.c" + "resources/resources.h")))))) (build-system gnu-build-system) (native-inputs (list bison |