From eaeb7658b3ef77b753a35d7c0c60fb13e32a0fa4 Mon Sep 17 00:00:00 2001 From: James Brechtel Date: Mon, 11 Jul 2022 13:20:57 -0400 Subject: [PATCH] Adds README --- README.md | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100644 README.md diff --git a/README.md b/README.md new file mode 100644 index 0000000..ed7ddf7 --- /dev/null +++ b/README.md @@ -0,0 +1,27 @@ +This repo is used to create a docker image containing arm64 binaries of `purs` +(the purescript compiler) and `spago` (a build tool for purescript). + +The tag or branch you want to build must be set in their build scripts. + +Note that spago's has its own version number separate from purs so if you're +upgrading then you must manually verfiy the version of purs and spago you want +and make sure they work together. Generally you probably want the latest +released version of each. + +This repository is typically used for simply providing these binaries inside of +a docker image that can be used inside a project-specific docker image which +needs an arm64 version. + +Once the build scripts have the appropriate versions in them then you should be +able to produce the needed docker image with `docker build .` + +After that you can tag it or push it to whereever you need. + +Typically that will be `flipstone/purescript-arm64:` + +e.g. + +``` +docker build . -t flipstone/purescript-arm64:0.15.4 +docker push +```