add Dockerfile

resulting image deployed as ghcr.io/ulysses4ever/lh-array-sort

Author: ulysses4ever

Dockerfile

@@ -0,0 +1,18 @@
+FROM benz0li/ghc-musl:9.10.1
+
+RUN apk upgrade --no-cache \
+ && apk add --no-cache \
+      z3 git
+
+RUN  mkdir cabal-dir \
+  && export CABAL_DIR=/cabal-dir \
+  && cabal update \
+  && git clone https://github.com/michaelborkowski/lh-array-sort-new.git app \
+  && cd app      \
+  && cabal configure --constraint="lh-array-sort -liquid-checks +prim-mutable-arrays" --enable-tests \
+  && cabal build  --builddir dist-docker \
+  && cabal test   --builddir dist-docker \
+  && cd ..       \
+  && rm -rf /app
+
+CMD ["bash"]