Add a script to build the dictionary data

bpeel · Apr 8, 2024 · ad3a073 · ad3a073
1 parent 35c213a
commit ad3a073
Show file tree

Hide file tree

Showing 2 changed files with 17 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -5,6 +5,7 @@ local.properties
 .idea
 .DS_Store
 .externalNativeBuild
+/prevodb-build
 
 /app/src/main/assets/articles/article-*.bin
 /app/src/main/assets/indices/index-*.bin

diff --git a/scripts/generate-dictionary.sh b/scripts/generate-dictionary.sh
@@ -0,0 +1,16 @@
+#!/bin/bash
+
+set -eu
+
+cd "$(dirname "$0")"/..
+
+mkdir -p prevodb-build
+cd prevodb-build
+
+../extern/prevodb/autogen.sh
+make -j$(nproc)
+
+./src/prevodb \
+    -i ../extern/revo-fonto \
+    -i ../extern/voko-grundo \
+    -o ../app/src/main