Merge pull request #15364 from bendlas/update-pixie

pixie: 1333 -> 1352
This commit is contained in:
Joachim Fasting 2016-05-11 06:42:33 +02:00
commit 23f1659ab2

View File

@ -3,7 +3,7 @@
variant ? "jit", buildWithPypy ? false }: variant ? "jit", buildWithPypy ? false }:
let let
commit-count = "1333"; commit-count = "1352";
common-flags = "--thread --gcrootfinder=shadowstack --continuation"; common-flags = "--thread --gcrootfinder=shadowstack --continuation";
variants = { variants = {
jit = { flags = "--opt=jit"; target = "target.py"; }; jit = { flags = "--opt=jit"; target = "target.py"; };
@ -13,8 +13,8 @@ let
}; };
pixie-src = fetchgit { pixie-src = fetchgit {
url = "https://github.com/pixie-lang/pixie.git"; url = "https://github.com/pixie-lang/pixie.git";
rev = "36ce07e1cd85ca82eedadf366bef3bb57a627a2a"; rev = "dd754fe9f329e9e176eeaedae1095c85cde65028";
sha256 = "1b3v99c0is33w029r15qvd0mkrc5n1mrvjjmfpcd9yvhvqb2vcjs"; sha256 = "1jf3nkd1jzvxrw9ql2r74drsirrxfihc125x0wmk45jyl5q24vdd";
}; };
pypy-tag = "81254"; pypy-tag = "81254";
pypy-src = fetchurl { pypy-src = fetchurl {