Sebastian Ullrich
|
58a7230dd9
|
chore: update stage0
|
2020-06-16 10:57:57 +02:00 |
|
Leonardo de Moura
|
b0dbaada54
|
chore: update stage0
|
2020-05-26 13:56:49 -07:00 |
|
Leonardo de Moura
|
238f44bcc1
|
chore: update stage0
|
2020-05-22 14:20:21 -07:00 |
|
Leonardo de Moura
|
5eae116e66
|
chore: update stage0
|
2020-05-22 11:23:38 -07:00 |
|
Leonardo de Moura
|
83d1b62a99
|
chore: update stage0
|
2020-05-22 09:37:35 -07:00 |
|
Leonardo de Moura
|
5c03838fad
|
chore: update stage0
|
2020-05-18 12:14:42 -07:00 |
|
Sebastian Ullrich
|
a6fbf3c20e
|
refactor: make stages internally consistent by compiling the stageN lib with the stageN compiler, rename static libraries
The old stage1 is now stage0.5, which at least suggests that it's not an entirely consistent stage in general
|
2020-05-14 23:13:51 +02:00 |
|
Sebastian Ullrich
|
279746fa6a
|
chore: change stage1-3 into homogeneous ExternalProjects from new top-level /CMakeLists.txt
This ensures stage2+3 are full, standalone Lean installations
|
2020-05-14 14:47:54 +02:00 |
|
Sebastian Ullrich
|
10253e89ea
|
chore: move bin/ and .oleans into build directory
|
2020-05-14 14:47:54 +02:00 |
|
Sebastian Ullrich
|
5f1a052998
|
feat: replace --make with -o flag that takes an explicit .olean target file name
|
2020-05-14 14:47:54 +02:00 |
|
Sebastian Ullrich
|
81784b145e
|
chore: update stage0
|
2020-05-14 14:46:18 +02:00 |
|
Leonardo de Moura
|
861d476a9a
|
chore: update stage0
|
2020-05-12 15:02:03 -07:00 |
|
Leonardo de Moura
|
ff6e9f852a
|
chore: update stage0
|
2020-03-11 08:41:18 -07:00 |
|
Leonardo de Moura
|
c972742494
|
chore: update stage0
|
2020-03-08 10:36:03 -07:00 |
|
Leonardo de Moura
|
f607e9c478
|
chore: update stage0
|
2020-03-02 08:42:07 -08:00 |
|
Leonardo de Moura
|
a763225c52
|
chore: update stage0
|
2020-02-05 10:22:58 -08:00 |
|
Leonardo de Moura
|
07edbd395e
|
chore: update stage0
|
2020-01-12 08:14:37 -08:00 |
|
Leonardo de Moura
|
9b29a7bf7e
|
chore: update stage0
|
2020-01-06 15:13:46 -08:00 |
|
Leonardo de Moura
|
66a59d6379
|
chore: update stage0
|
2019-12-19 09:29:05 -08:00 |
|
Leonardo de Moura
|
38d2cffa7e
|
chore: update stage0
|
2019-12-14 08:09:55 -08:00 |
|
Leonardo de Moura
|
6f52385c3a
|
chore: update stage0
|
2019-12-13 18:27:12 -08:00 |
|
Leonardo de Moura
|
2f1d4d50e9
|
chore: update stage0
|
2019-12-11 09:54:04 -08:00 |
|
Sebastian Ullrich
|
0f038bfb08
|
chore: update stage0
|
2019-12-10 22:15:53 +01:00 |
|
Leonardo de Moura
|
81eccab60d
|
chore: update stage0
|
2019-12-10 10:21:14 -08:00 |
|
Leonardo de Moura
|
c72649d528
|
chore: update stage0
|
2019-12-08 18:04:57 -08:00 |
|
Leonardo de Moura
|
32c066946b
|
chore: udpate stage0
|
2019-11-27 05:54:40 -08:00 |
|
Sebastian Ullrich
|
2ad21d0f4c
|
feat: have --make take an optional .olean filename argument
Not documented since it is mostly useful for internal builds of further bootstrap stages
|
2019-11-27 05:53:22 -08:00 |
|
Leonardo de Moura
|
a858eeea36
|
chore: update stage0
|
2019-11-22 07:49:02 -08:00 |
|
Leonardo de Moura
|
59d1026e41
|
chore: update stage0
|
2019-11-21 07:26:28 -08:00 |
|
Leonardo de Moura
|
8fc02ed741
|
chore: update stage0
|
2019-11-20 16:10:40 -08:00 |
|
Leonardo de Moura
|
dbb7a0bfff
|
chore: update stage0
|
2019-11-20 07:59:54 -08:00 |
|
Leonardo de Moura
|
6978a88219
|
chore: update stage0
|
2019-11-14 22:26:24 -08:00 |
|
Leonardo de Moura
|
aa079f06c6
|
chore: update stage0
|
2019-11-13 13:47:53 -08:00 |
|
Leonardo de Moura
|
6f2a43bd3f
|
chore: update stage0
|
2019-11-11 15:09:13 -08:00 |
|