Soonho Kong
|
51152b011d
|
feat(bin/linja): return exitcode from ninja and lean
fix #120
|
2014-09-02 09:55:34 -07:00 |
|
Soonho Kong
|
095d946937
|
feat(bin/linja): add clear-cache target
Close #99
|
2014-09-01 22:59:10 -07:00 |
|
Soonho Kong
|
ab08893140
|
fix(bin/linja): use ninja binaries at leanprover.github.io
fix #118
|
2014-08-31 08:51:23 -07:00 |
|
Soonho Kong
|
d36a609388
|
feat(bin/linja): add tags target
fix #117
|
2014-08-30 14:57:34 -07:00 |
|
Soonho Kong
|
f845fabaf4
|
feat(bin/linja): --directory(-C) option
|
2014-08-30 06:07:02 -07:00 |
|
Soonho Kong
|
c320c6e05a
|
chore(bin/linja): use python 2.7
|
2014-08-29 17:01:53 -07:00 |
|
Soonho Kong
|
cb16ed09c5
|
feat(bin/linja): linja calls lean if project does not exist
close #110
|
2014-08-29 15:26:38 -07:00 |
|
Soonho Kong
|
37538acafa
|
feat(bin/linja): call lean after ninja if ninja failed
|
2014-08-29 14:53:04 -07:00 |
|
Soonho Kong
|
32be0a67e2
|
feat(bin/linja): make deps when there are missing ones
|
2014-08-29 14:53:04 -07:00 |
|
Soonho Kong
|
888b651d0a
|
chore(bin/linja): add copyright
|
2014-08-29 14:53:04 -07:00 |
|
Soonho Kong
|
8d39ee7177
|
feat(bin/linja): add linja
close #103, #108
|
2014-08-29 10:30:56 -07:00 |
|