|
|
87290eed9a
|
cosmo: add temporary workaround for build issue
|
2022-10-11 09:07:30 -07:00 |
|
|
|
667ab1d097
|
cosmo: update version and remove patch (merged upstream)
|
2022-10-11 05:30:26 -07:00 |
|
|
|
b785e4cd62
|
meta: add a TODO for cosmo-perl
|
2022-10-10 13:08:15 -07:00 |
|
|
|
2f50833941
|
cosmo: update unbourne patch
|
2022-10-10 13:07:41 -07:00 |
|
|
|
ccc5b88168
|
cosmo: update version
|
2022-10-10 11:52:13 -07:00 |
|
|
|
8ac6be1fb6
|
cosmo, yices: update versions
|
2022-10-09 14:24:38 -07:00 |
|
|
|
ca186e01f9
|
cosmo: avoid ugly variable expansions with an ugly script
|
2022-10-09 14:24:38 -07:00 |
|
|
|
fb551d7220
|
cosmo: merge upstream dash into unbourne shell and distribute it
|
2022-10-09 14:24:29 -07:00 |
|
|
|
2fda6048c1
|
perl: remove excessive quoting
|
2022-10-09 12:15:12 -07:00 |
|
|
|
c8b4c2e6b3
|
cosmo: update version
|
2022-10-09 01:22:35 -07:00 |
|
|
|
140f52143f
|
muon: update version
|
2022-10-07 08:47:34 -07:00 |
|
|
|
13bc67ba03
|
cosmo: update version
|
2022-10-07 08:47:34 -07:00 |
|
|
|
f5a0bee80e
|
cosmo: squeeze lines
|
2022-10-07 08:47:34 -07:00 |
|
|
|
b127ef18b3
|
cosmo: expose COSMO_DIST so cosmocc can work well
|
2022-10-06 05:05:34 -07:00 |
|
|
|
daba31d5dc
|
cosmo: update version
|
2022-10-06 05:05:07 -07:00 |
|
|
|
1751749274
|
util: add ofc (one file compile) script
|
2022-10-05 10:12:37 -07:00 |
|
|
|
e726ca606b
|
cosmo: join ARGs to save LOC
|
2022-10-05 09:13:38 -07:00 |
|
|
|
b4c10b6a69
|
meta: superficial tweak to auto-update
|
2022-10-05 08:19:05 -07:00 |
|
|
|
c90835a51b
|
cosmo: update version
|
2022-10-05 08:18:24 -07:00 |
|
|
|
039652c2b9
|
meta: rewrite auto-update in cursed code style
|
2022-10-05 04:01:41 -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 |
|
|
|
c5808b668c
|
util: fit dedupe into a 80x48 screen
|
2022-10-05 01:35:48 -07:00 |
|
|
|
79fdae6e2d
|
meta: improve error-handling in update-all
|
2022-10-05 01:20:20 -07:00 |
|
|
|
0cf6e31d07
|
meta: simplify build-all a little
|
2022-10-04 21:41:16 -07:00 |
|
|
|
df4f8b9dac
|
util, yices: use ARG instead of ENV for versioning
|
2022-10-04 19:43:28 -07:00 |
|
|
|
c6866b36f3
|
cosmo, muon, yices: update versions
|
2022-10-04 19:43:28 -07:00 |
|
|
|
98cb2e2a63
|
meta: add a script to auto-update *_COMMIT and *_SHA256 envs
|
2022-10-04 19:43:28 -07:00 |
|
|
|
9a79aeba8f
|
util: largely superficial tweaking
|
2022-10-04 05:59:38 -07:00 |
|
|
|
8653d6dd54
|
add cosmo-muon to build script
|
2022-10-04 05:07:43 -07:00 |
|
|
|
9cf3d3eed9
|
add cosmo-muon
|
2022-10-04 04:55:30 -07:00 |
|
|
|
ceec58b0f9
|
cosmo: fix missing include for elf.h
|
2022-10-04 04:10:29 -07:00 |
|
|
|
342dd18d82
|
cosmo: include cosmopolitan linenoise
|
2022-10-04 04:10:19 -07:00 |
|
|
|
8d7c96b99b
|
util: ignore -fpic as well
|
2022-10-04 02:58:25 -07:00 |
|
|
|
029796299c
|
util: fix accidental continue in cosmocc
|
2022-10-04 02:52:40 -07:00 |
|
|
|
6bb35ed5b5
|
util: add sourcehut support to acquire
|
2022-10-04 02:25:37 -07:00 |
|
|
|
6abe53acf8
|
cosmo, kuroko, perl: update versions
|
2022-10-04 01:43:04 -07:00 |
|
|
|
690e8d58a3
|
util: overhaul dedupe's interface
|
2022-10-04 01:36:35 -07:00 |
|
|
|
c82ce9640f
|
util: clean up dedupe and pass program inline
|
2022-10-03 23:55:22 -07:00 |
|
|
|
8f00794df2
|
cosmo: fix missing include for utime.h
|
2022-10-03 04:51:28 -07:00 |
|
|
|
aa9d514b08
|
cosmo: update version
|
2022-10-03 03:46:53 -07:00 |
|
|
|
114543d50a
|
all: use new acquire functionality
|
2022-10-02 03:30:04 -07:00 |
|
|
|
9157188edf
|
util: add specialized github-handler to acquire
|
2022-10-02 03:30:04 -07:00 |
|
|
|
2486c51930
|
perl: fix checksum
|
2022-10-02 03:30:04 -07:00 |
|
|
|
4b14ced63e
|
util: fix executable permissions
|
2022-10-01 19:09:17 -07:00 |
|
|
|
878d8115a0
|
util: fix shed logic
|
2022-10-01 18:27:19 -07:00 |
|
|
|
e3ca67c7b3
|
util: create a shortcut path to /usr/local/bin
|
2022-10-01 11:19:43 -07:00 |
|
|
|
c5d5b03b25
|
all: use shed utility
|
2022-10-01 11:19:43 -07:00 |
|
|
|
39dc4acfca
|
add shed utility to apply sed more intelligently
|
2022-10-01 11:19:43 -07:00 |
|
|
|
c3eb9c90ca
|
kuroko: update version
|
2022-10-01 04:42:53 -07:00 |
|
