Vladimír Čunát
|
c4661e9643
|
Merge: make dev output references explicit
This is a rebase of most commits from #14766,
resolving conflicts and a few other evaluation problems.
|
2016-05-22 12:09:23 +02:00 |
|
Tuomas Tynkkynen
|
7fb29bfa73
|
treewide: Make explicit that 'dev' output of zlib is used
|
2016-05-19 10:04:38 +02:00 |
|
Tuomas Tynkkynen
|
5ecce6b94a
|
treewide: Make explicit that 'dev' output of libffi is used
|
2016-05-19 10:00:41 +02:00 |
|
Alexander Ried
|
3e39cfe860
|
dust: add meta field
|
2016-05-18 17:31:12 +02:00 |
|
Alexander Ried
|
b5ae9ad3fb
|
dust: use fetchFromGitHub (sha was broken)
|
2016-05-18 17:31:07 +02:00 |
|
Vladimír Čunát
|
6c2fbfbd77
|
Merge branch 'master' into staging
|
2016-05-12 04:53:38 +02:00 |
|
Herwig Hochleitner
|
2a4af7ef72
|
pixie: 1333 -> 1352
|
2016-05-10 19:56:55 +02:00 |
|
Tuomas Tynkkynen
|
b465dc202f
|
boost: Kill unnecessary 'lib' output
This was split in somewhere pre-2014 without the current infra which
automates parts of this, in particular the output propagation.
|
2016-04-28 00:41:28 +03:00 |
|
Joachim Fasting
|
fe37f28939
|
pixie: fix description
|
2016-03-06 14:04:37 +01:00 |
|
Herwig Hochleitner
|
de5fa8339f
|
dust: init at 0-91
|
2016-02-29 21:14:52 +01:00 |
|
Herwig Hochleitner
|
1c380842d1
|
pixie: init at 0-1333
This is the pixie language, a clojure-like lisp, utilizing the pypy vm
toolkit for JIT, GC and C bindings.
|
2016-02-28 03:15:07 +01:00 |
|