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 /gnu/local.mk | |
parent | a7e5944e9c50ab7efa6efc6e1a3accdc814d268b (diff) | |
download | patches-29f381bac72d207e8bf0a2c73c82d7a77b45b597.tar patches-29f381bac72d207e8bf0a2c73c82d7a77b45b597.tar.gz |
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 'gnu/local.mk')
-rw-r--r-- | gnu/local.mk | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gnu/local.mk b/gnu/local.mk index 55abf5c888..cc2d35e436 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -811,6 +811,10 @@ dist_patch_DATA = \ %D%/packages/patches/module-init-tools-moduledir.patch \ %D%/packages/patches/mozjs17-aarch64-support.patch \ %D%/packages/patches/mozjs24-aarch64-support.patch \ + %D%/packages/patches/mozjs38-pkg-config-version.patch \ + %D%/packages/patches/mozjs38-shell-version.patch \ + %D%/packages/patches/mozjs38-tracelogger.patch \ + %D%/packages/patches/mozjs38-version-detection.patch \ %D%/packages/patches/multiqc-fix-git-subprocess-error.patch \ %D%/packages/patches/mumps-build-parallelism.patch \ %D%/packages/patches/mupdf-build-with-openjpeg-2.1.patch \ |