Merge pull request #292 from ayhanyalcinsoy/master

spidermonkey:fixed file and folder name
2016-03-07 17:25:55 +02:00
parent 24276f1290 711f474f84
commit 316e0e2cfc
1 changed files with 8 additions and 1 deletions
@@ -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*")