diff options
| author | Leo Famulari <leo@famulari.name> | 2022-01-29 15:32:34 -0500 |
|---|---|---|
| committer | Leo Famulari <leo@famulari.name> | 2022-01-29 15:37:17 -0500 |
| commit | 08875dd55651d82a5ad4bab94f8f98800986558c (patch) | |
| tree | 691be0704a3786526167e4c936359f27e57ebd63 /gnu/packages | |
| parent | 0442d683c3898a7e133fba6ddc9aafdc42d905d3 (diff) | |
gnu: WPE WebKit: Set the Common Platform Enumeration (CPE) name.
* gnu/packages/webkit.scm (wpewebkit)[properties]: New field.
Diffstat (limited to 'gnu/packages')
| -rw-r--r-- | gnu/packages/webkit.scm | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gnu/packages/webkit.scm b/gnu/packages/webkit.scm index 6a101331bd..6ab02c0176 100644 --- a/gnu/packages/webkit.scm +++ b/gnu/packages/webkit.scm @@ -222,7 +222,8 @@ acceleration in mind, leveraging common 3D graphics APIs for best performance.") ;; Rendering and JavaScript Engines. license:lgpl2.1+ ;; Others - license:bsd-2)))) + license:bsd-2)) + (properties '((cpe-name . "wpe_webkit"))))) (define-public webkitgtk (package |