diff options
author | Clément Lassieur <clement@lassieur.org> | 2017-04-14 13:52:43 +0200 |
---|---|---|
committer | Clément Lassieur <clement@lassieur.org> | 2017-05-08 17:25:44 +0200 |
commit | 29f381bac72d207e8bf0a2c73c82d7a77b45b597 (patch) | |
tree | 28f6c89be4ac08d2346d9403f69ee5e2fe1867da /etc | |
parent | a7e5944e9c50ab7efa6efc6e1a3accdc814d268b (diff) |
gnu: Add mozjs-38 (Mozilla SpiderMonkey 38).
* gnu/packages/gnuzilla.scm (mozjs-38): New variable.
* gnu/packages/patches/mozjs38-pkg-config-version.patch,
gnu/packages/patches/mozjs38-shell-version.patch,
gnu/packages/patches/mozjs38-tracelogger.patch,
gnu/packages/patches/mozjs38-version-detection.patch: New files.
* gnu/local.mk (dist_patch_DATA): Add them.
Co-authored-by: ng0 <ng0@no-reply.pragmatique.xyz>
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions