Update PReVo to 0.23 (23)

metadata/uk.co.busydoingnothing.prevo.yml

@@ -112,7 +112,29 @@ Builds:
       - cd ..
       - PrevoDB/src/prevodb -i $$Revo$$ -o src/main
 
+  - versionName: '0.23'
+    versionCode: 23
+    commit: '0.23'
+    subdir: app
+    sudo:
+      - apt-get update || apt-get update
+      - apt-get install -y openjdk-11-jdk
+      - update-alternatives --auto java
+    gradle:
+      - yes
+    srclibs:
+      - RevoFonto@796495c46b4ac76b2b53cd6667b54d1ef07120ac
+      - VokoGrundo@b836c5cb0206a3fd547e0400048f736437691a76
+      - PrevoDB@3c9be40f01cf936665774d5562b52236314da22a
+    build:
+      - cp -r $$PrevoDB$$ .
+      - cd PrevoDB
+      - ./autogen.sh CFLAGS="-Dg_memdup2=g_memdup"
+      - make -j`nproc`
+      - cd ..
+      - PrevoDB/src/prevodb -i $$RevoFonto$$ -i $$VokoGrundo$$ -o src/main
+
 AutoUpdateMode: None
 UpdateCheckMode: Static
-CurrentVersion: '0.21'
-CurrentVersionCode: 21
+CurrentVersion: '0.23'
+CurrentVersionCode: 23