mirror of
https://github.com/php/php-src.git
synced 2024-10-19 07:22:40 +00:00
43 lines
706 B
Awk
43 lines
706 B
Awk
|
#!/usr/bin/awk -f
|
||
|
#
|
||
|
# $Id$
|
||
|
#
|
||
|
# Description: a script that generates a single byte code set to Unicode
|
||
|
# mapping table.
|
||
|
#
|
||
|
BEGIN {
|
||
|
FS="[ \t#]"
|
||
|
}
|
||
|
|
||
|
/^#/ {
|
||
|
# Do nothing
|
||
|
}
|
||
|
|
||
|
{
|
||
|
tbl[$1 + 0] = $2
|
||
|
}
|
||
|
|
||
|
END {
|
||
|
print "/* This file is automatically generated. Do not edit! */"
|
||
|
if (IFNDEF_NAME) {
|
||
|
print "#ifndef " IFNDEF_NAME
|
||
|
}
|
||
|
|
||
|
print "static const unsigned int " TABLE_NAME "[] = {"
|
||
|
i = 160;
|
||
|
for (;;) {
|
||
|
printf("\t0x%04x, 0x%04x, 0x%04x, 0x%04x, 0x%04x, 0x%04x, 0x%04x, 0x%04x", tbl[i++], tbl[i++], tbl[i++], tbl[i++], tbl[i++], tbl[i++], tbl[i++], tbl[i++]);
|
||
|
if (i != 256) {
|
||
|
printf(",\n");
|
||
|
} else {
|
||
|
print
|
||
|
break;
|
||
|
}
|
||
|
}
|
||
|
print "};"
|
||
|
|
||
|
if (IFNDEF_NAME) {
|
||
|
print "#endif /* " IFNDEF_NAME " */"
|
||
|
}
|
||
|
}
|