From 0b12949fbadae1df31989affdae54af33f6a58ce Mon Sep 17 00:00:00 2001 From: Thomas Voss Date: Sat, 23 Mar 2024 19:05:20 +0100 Subject: Add unicode/gbrk --- gen/data-files | 18 +++++++++++ gen/gbrk | 97 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 115 insertions(+) create mode 100755 gen/data-files create mode 100755 gen/gbrk (limited to 'gen') diff --git a/gen/data-files b/gen/data-files new file mode 100755 index 0000000..69ad9ba --- /dev/null +++ b/gen/data-files @@ -0,0 +1,18 @@ +#!/bin/sh + +cd "${0%/*}/.." + +mkdir -p data + +readonly URLS=' +https://www.unicode.org/Public/UCD/latest/ucd/auxiliary/GraphemeBreakProperty.txt +https://www.unicode.org/Public/UCD/latest/ucd/DerivedCoreProperties.txt +https://www.unicode.org/Public/UCD/latest/ucd/emoji/emoji-data.txt +' + +for url in $URLS +do + name="data/${url##*/}" + test -f "$name" || wget -q "$url" -O "$name" & +done +wait diff --git a/gen/gbrk b/gen/gbrk new file mode 100755 index 0000000..8216beb --- /dev/null +++ b/gen/gbrk @@ -0,0 +1,97 @@ +#!/bin/sh + +set -e +cd "${0%/*}/.." +exec >include/unicode/__gbrk_lookup.h + +cat <