|
|
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 |
|
