Skip to content

Commit 5428a8e

Browse files
committed
impl UCD download
1 parent 7134e69 commit 5428a8e

File tree

2 files changed

+32
-0
lines changed

2 files changed

+32
-0
lines changed
Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,19 @@
1+
#!/bin/sh
2+
set -ex
3+
cd "$(dirname "$0")/../../.."
4+
5+
tmp_dir=/tmp/php-src-download-bundled/unicode-character-database
6+
rm -rf "$tmp_dir"
7+
8+
version=17.0.0
9+
10+
mkdir -p "$tmp_dir"
11+
curl --fail "https://www.unicode.org/Public/$version/ucd/UCD.zip" -o "$tmp_dir/data.zip"
12+
unzip "$tmp_dir/data.zip" -d "$tmp_dir"
13+
14+
cd ext/mbstring
15+
16+
rm libmbfl/mbfl/eaw_table.h
17+
rm unicode_data.h
18+
19+
./ucgendat/ucgendat.php "$tmp_dir"

.github/workflows/verify-bundled-files.yml

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,7 @@ on:
55
paths: &paths
66
- '.github/scripts/download-bundled/**'
77
- 'Zend/asm/**'
8+
- 'ext/mbstring/**'
89
- 'ext/pcre/pcre2lib/**'
910
- 'ext/uri/uriparser/**'
1011
pull_request:
@@ -34,6 +35,9 @@ jobs:
3435
'boost-context':
3536
- '.github/scripts/download-bundled/boost-context.*'
3637
- 'Zend/asm/**'
38+
'unicode-character-database':
39+
- '.github/scripts/download-bundled/unicode-character-database.*'
40+
- 'ext/mbstring/**'
3741
pcre2:
3842
- '.github/scripts/download-bundled/pcre2.*'
3943
- 'ext/pcre/pcre2lib/**'
@@ -50,6 +54,15 @@ jobs:
5054
echo "::group::Verify files"
5155
.github/scripts/test-directory-unchanged.sh Zend/asm
5256
echo "::endgroup::"
57+
- name: 'Unicode Character Database'
58+
if: ${{ !cancelled() && (steps.changes.outputs.unicode-character-database == 'true' || github.event_name == 'schedule' || github.event_name == 'workflow_dispatch') }}
59+
run: |
60+
echo "::group::Download"
61+
.github/scripts/download-bundled/unicode-character-database.sh
62+
echo "::endgroup::"
63+
echo "::group::Verify files"
64+
.github/scripts/test-directory-unchanged.sh 'ext/mbstring'
65+
echo "::endgroup::"
5366
- name: PCRE2
5467
if: ${{ !cancelled() && (steps.changes.outputs.pcre2 == 'true' || github.event_name == 'schedule' || github.event_name == 'workflow_dispatch') }}
5568
run: |

0 commit comments

Comments
 (0)