r7rs-tests/update-srfis

12 lines
457 B
Plaintext
Raw Permalink Normal View History

2024-10-05 04:55:06 -04:00
#!/bin/sh
set -euxo
rm -rf snow/srfi
mkdir -p snow/srfi
cd snow/srfi || exit 1
wget https://raw.githubusercontent.com/srfi-explorations/r7rs-srfi/refs/heads/main/srfi/1.scm
wget https://raw.githubusercontent.com/srfi-explorations/r7rs-srfi/refs/heads/main/srfi/1.sld
wget https://raw.githubusercontent.com/srfi-explorations/r7rs-srfi/refs/heads/main/srfi/8.scm
wget https://raw.githubusercontent.com/srfi-explorations/r7rs-srfi/refs/heads/main/srfi/8.sld