spidermonkey: cleanup and rename versions

This commit is contained in:
Nikolay Amiantov
2016-11-21 02:46:35 +03:00
parent 0c6b3a3647
commit c2274cdfb5
14 changed files with 30 additions and 116 deletions
+2 -2
View File
@@ -79,10 +79,10 @@ let
sha256 = "1ywrsp90w6rlgq3v2vmvp2zvvykkgqqasab7h9bf3vgvgv3qasbg";
configureFlags = [
"--with-spidermonkey=${pkgs.spidermonkey_185}"
"--with-spidermonkey=${pkgs.spidermonkey_1_8_5}"
];
buildInputs = [ pkgs.spidermonkey_185 ];
buildInputs = [ pkgs.spidermonkey_1_8_5 ];
};
xdebug = if isPhp7 then xdebug24 else xdebug23;