mirror of
https://gitlab.nic.cz/knot/knot-dns.git
synced 2026-02-03 18:49:28 -05:00
57 lines
1.2 KiB
Bash
Executable file
57 lines
1.2 KiB
Bash
Executable file
#!/bin/bash
|
|
# Copyright (C) CZ.NIC, z.s.p.o. and contributors
|
|
# SPDX-License-Identifier: GPL-2.0-or-later
|
|
# For more information, see <https://www.knot-dns.cz/>
|
|
|
|
### ZSCANNER ###
|
|
|
|
IN="./scanner.rl"
|
|
OUT_T0="./scanner.c.t0"
|
|
OUT_G2="./scanner.c.g2"
|
|
|
|
pushd $(dirname "$0")
|
|
|
|
pushd ../src/libzscanner/
|
|
|
|
# Generate slower/small zone parser.
|
|
ragel -T0 -s -o $OUT_T0 $IN
|
|
|
|
# Remove redundant comments and unused constants (clang warnings).
|
|
sed -i '/#line/d' $OUT_T0
|
|
sed -i '/static\ const\ int\ zone_scanner_/d' $OUT_T0
|
|
|
|
# Remove trailing white spaces.
|
|
sed -i 's/\s*$//g' $OUT_T0
|
|
|
|
# Generate fast/huge zone parser.
|
|
ragel -G2 -s -o $OUT_G2 $IN
|
|
|
|
# Remove redundant comments and unused constants (clang warnings).
|
|
sed -i '/#line/d' $OUT_G2
|
|
sed -i '/static\ const\ int\ zone_scanner_/d' $OUT_G2
|
|
|
|
# Remove trailing white spaces.
|
|
sed -i 's/\s*$//g' $OUT_G2
|
|
|
|
popd
|
|
|
|
### YPARSER ###
|
|
|
|
IN_Y="./ypbody.rl"
|
|
OUT_Y="./ypbody.c"
|
|
|
|
pushd ../src/libknot/yparser/
|
|
|
|
# Generate yparser.
|
|
ragel -T0 -s -o $OUT_Y $IN_Y
|
|
|
|
# Remove redundant comments and unused constants (clang warnings).
|
|
sed -i '/#line/d' $OUT_Y
|
|
sed -i '/static\ const\ int\ yparser_/d' $OUT_Y
|
|
|
|
# Remove trailing white spaces.
|
|
sed -i 's/\s*$//g' $OUT_Y
|
|
|
|
popd
|
|
|
|
popd
|