spidermonkey:fixed folder and file name

2016-03-07 17:16:16 +02:00
parent 57ab1c1d31
commit 10d0939b37
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*")