~cypheon/Idris2

7b725eb68179f12de9439fb6cf0918fd9363dca7 — Johann Rudloff 2 months ago 1c5c1f7
[ sr.ht ci ] Install `sha256sum` wrapper to fix FreeBSD build
1 files changed, 4 insertions(+), 0 deletions(-)

M .builds/freebsd.yml
M .builds/freebsd.yml => .builds/freebsd.yml +4 -0
@@ 26,6 26,10 @@ tasks:
      curl -LsSf -o /tmp/chez.txz https://sinyax.net/chez-scheme-9.5.2.txz
      sudo /usr/sbin/pkg install -yf /tmp/chez.txz

      # Install `sha256sum` script:
      printf -- '#\!/bin/sh\nexec shasum -a 256 "$@"\n' | sudo tee /usr/local/bin/sha256sum
      sudo chmod 755 /usr/local/bin/sha256sum

  - bootstrap: |
      cd Idris2
      # patch the bootstrap code to make it run on FreeBSD