diff --git a/system/base/spidermonkey/actions.py b/system/base/spidermonkey/actions.py index ba194398..22ce1ec2 100644 --- a/system/base/spidermonkey/actions.py +++ b/system/base/spidermonkey/actions.py @@ -27,5 +27,12 @@ def build(): def install(): shelltools.cd("js/src") autotools.rawInstall("DESTDIR=%s" % get.installDIR()) - + + pisitools.dodir("/usr/include/js-17.0") + pisitools.domove("/usr/include/js-./*", "/usr/include/js-17.0") + pisitools.rename("/usr/lib/pkgconfig/mozjs-..pc", "mozjs-17.0.pc") + pisitools.removeDir("/usr/include/js-.") + pisitools.rename("/usr/lib/libmozjs-..so", "libmozjs-17.0.so") + pisitools.rename("/usr/bin/js", "js17") + pisitools.rename("/usr/bin/js-config", "js17-config") pisitools.dodoc("README*")