Skip to content

Commit

Permalink
Updates to use purescript 0.15.4 / spago 0.20.9
Browse files Browse the repository at this point in the history
  • Loading branch information
James Brechtel committed Jul 11, 2022
1 parent fc4ba09 commit 0d2ce62
Show file tree
Hide file tree
Showing 3 changed files with 19 additions and 4 deletions.
9 changes: 6 additions & 3 deletions Dockerfile
Original file line number Diff line number Diff line change
@@ -1,13 +1,16 @@
FROM flipstone/stack:v5-2.7.3-arm64 AS builder

RUN apt-get update && apt-get install git
RUN apt-get update && apt-get install -y git curl

ADD build-purs.sh /build-purs.sh

RUN /build-purs.sh

ADD build-spago.sh /build-spago.sh
RUN /build-spago.sh

FROM arm64v8/debian:bullseye-20211220-slim

COPY --from=builder /usr/local/bin/purs /usr/local/bin/purs
COPY --from=builder /root/.local/bin/spago /usr/local/bin/spago

ENTRYPOINT /usr/local/bin/purs
ENTRYPOINT /usr/local/bin/spago
2 changes: 1 addition & 1 deletion build-purs.sh
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ git clone https://github.com/purescript/purescript.git ~/purescript

cd ~/purescript

git checkout v0.14.5
git checkout v0.15.4

stack install --local-bin-path /usr/local/bin

Expand Down
12 changes: 12 additions & 0 deletions build-spago.sh
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
#!/bin/sh

set -e

git clone https://github.com/purescript/spago.git ~/spago

cd ~/spago

git checkout 0.20.9

make
make install

0 comments on commit 0d2ce62

Please sign in to comment.