Salmonella machines upgraded

[Mario Domenech Goulart]

Hi,

Our salmonella machines have been upgraded, both software and
hardwarewise.

The operating system of the Linux machines has been upgraded from Debian
11 to Debian 12.  The OpenBSD one has been upgraded from 6.8 to 7.6.

All machines now use two CPUs instead of one.  The amount of RAM has
also doubled (2GB -> 4GB).

The hardware upgrade has allowed us to build CHICKEN with -j2 and also
run salmonella-epidemy instead of plain salmonella (salmonella-epidemy
[0] is the parallel version of salmonella).  We now run
salmonella-epidemy with two instances of salmonella in parallel.  That
speeds up salmonella jobs significantly.  For example, the non-cached
job on x86 used to take more than 23 hours.  Now it takes less than 14
hours [1].

One caveat regarding the OpenBSD upgrade: gcc on OpenBSD has been
renamed to egcc.  Salmonella feeds for jobs on OpenBSD using gcc now
have "egcc", not "gcc", in URLs (e.g., [2]).  If you are subscribed to
salmonella feeds for OpenBSD running gcc, you'll have to update the feed
URLs.

[0] https://wiki.call-cc.org/eggref/5/salmonella#salmonella-epidemy
[1] 
http://salmonella-linux-x86.call-cc.org/chicken-5/clang/linux/x86/2025/03/30/yesterday-diff/
[2] 
http://salmonella-openbsd-x86-64.call-cc.org/feeds/chicken-5/egcc/openbsd/x86-64/

All the best.
Mario
-- 
https://parenteses.org/mario