Custom verovio build

.github/workflows/update.yaml

@@ -0,0 +1,35 @@
+name: Update verovio
+
+on:
+    schedule:
+        - cron:  '0 0 * * *'
+    workflow_dispatch: ~
+
+jobs:
+    deploy:
+        runs-on: ubuntu-latest
+
+        steps:
+            -
+                name: Checkout
+                uses: actions/checkout@v3
+                with:
+                    fetch-depth: 0
+            -
+                name: Build docker image
+                run: docker build -t verovio-script -f Dockerfile .
+            -
+                name: Copy wasm
+                run: |
+                    git checkout gh-pages
+                    docker create --name dummy verovio-script
+                    docker cp dummy:/app/verovio-toolkit-wasm.js scripts/verovio-toolkit-wasm.js
+                    docker rm -f dummy
+            -
+                name: Commit changes
+                run: |
+                    git config --global user.name "Wolfgang Drescher"
+                    git config --global user.email "drescher.wolfgang+git@gmail.com"
+                    git diff --quiet && git diff --staged --quiet || git commit -am "Update"
+                    git push
+

Dockerfile

@@ -0,0 +1,25 @@
+FROM emscripten/emsdk:latest AS builder
+
+LABEL maintainer="drescher.wolfgang@gmail.com"
+
+WORKDIR /usr/local
+
+# craigsapp/humlib
+RUN git clone https://github.com/craigsapp/humlib.git
+
+# rism-digital/verovio
+RUN git clone -b develop-humdrum https://github.com/rism-digital/verovio.git
+RUN cp /usr/local/humlib/include/humlib.h /usr/local/verovio/include/hum/humlib.h && \
+    cp /usr/local/humlib/src/humlib.cpp /usr/local/verovio/src/hum/humlib.cpp
+RUN (cd verovio/emscripten && ./buildToolkit -w)
+
+
+
+FROM ubuntu:jammy
+
+LABEL maintainer="drescher.wolfgang@gmail.com"
+
+WORKDIR /app
+
+COPY --from=builder /usr/local/verovio/emscripten/build/verovio-toolkit-hum.js ./verovio-toolkit-wasm.js
+