|
ec422d6dcd
|
meta: build a couple local things
|
2022-10-15 01:40:56 -07:00 |
|
|
a32a28d7c2
|
add 'simple' containers and distribute way more programs
|
2022-10-15 01:39:55 -07:00 |
|
|
e4af8b909f
|
add rescue container to simplify runners
|
2022-10-15 01:24:20 -07:00 |
|
|
a9a883a5b4
|
split building into phases (superficial)
|
2022-10-15 01:22:35 -07:00 |
|
|
019a09689f
|
meta: superficial changes
|
2022-10-15 01:15:13 -07:00 |
|
|
d44528a346
|
defer building assimilate, awk, sed, and unbourne to cosmo-all
|
2022-10-15 01:12:58 -07:00 |
|
|
5cb78a7eb8
|
add cosmo-all to make all
|
2022-10-15 01:02:02 -07:00 |
|
|
3256db8386
|
base: split into base and dist
this will make more sense later!
|
2022-10-15 00:44:43 -07:00 |
|
|
3dfea15904
|
meta: add noisy messages to build script
|
2022-10-15 00:24:06 -07:00 |
|
|
67ec821336
|
meta: reduce repetition in build script
|
2022-10-15 00:21:48 -07:00 |
|
|
78c1cda400
|
cosmo: split into cosmo-bootstrap and cosmo-base
|
2022-10-15 00:21:43 -07:00 |
|
|
fb551d7220
|
cosmo: merge upstream dash into unbourne shell and distribute it
|
2022-10-09 14:24:29 -07:00 |
|
|
56923eb17e
|
meta: minimize podman invocations
|
2022-10-05 03:03:48 -07:00 |
|
|
3b4bd6d593
|
meta: fit build-all into a 80x48 screen and fix a couple edge cases
|
2022-10-05 02:07:39 -07:00 |
|
|
0cf6e31d07
|
meta: simplify build-all a little
|
2022-10-04 21:41:16 -07:00 |
|
|
8653d6dd54
|
add cosmo-muon to build script
|
2022-10-04 05:07:43 -07:00 |
|
|
29c29fd5d2
|
cosmo: add awk and sed
|
2022-09-26 19:43:44 -07:00 |
|
|
652e29ad50
|
update perl
|
2022-09-23 17:08:10 -07:00 |
|
|
d05e5ec49d
|
add cosmo-perl
|
2022-09-23 16:15:26 -07:00 |
|
|
8922630a31
|
abide to code style
|
2022-09-23 15:55:45 -07:00 |
|
|
3c6945de9c
|
add cosmo-yices to build script
|
2022-09-23 14:16:45 -07:00 |
|
|
6d38d60857
|
make copying files from containers much more robust
|
2022-09-23 13:44:09 -07:00 |
|
|
150b4ae76b
|
don't hardcode absolute paths
|
2022-09-23 13:30:08 -07:00 |
|
|
bc734f6bd1
|
add build-all script
|
2022-09-23 13:21:45 -07:00 |
|