use wllvm for testing

timfel · timfel · commit eb9cc4dcbdeb · 2018-07-09T22:05:56.000+02:00
diff --git a/ci.jsonnet b/ci.jsonnet
@@ -71,6 +71,7 @@
       "python": "==3.4.1",
       "libffi": ">=3.2.1",
       "bzip2": ">=1.0.6",
+      "pip:wllvm": "==1.2.2",
     },
     downloads +: {
       LIBGMP: utils.download("libgmp", "6.1.0"),
