2017-09-10 22:53:35 +02:00
|
|
|
#!/bin/sh
|
2023-03-18 20:15:41 +02:00
|
|
|
# Convert a source file into a C source file containing the
|
|
|
|
# source code as a C string.
|
2017-09-10 22:53:35 +02:00
|
|
|
|
2017-11-23 01:55:03 +02:00
|
|
|
# This file is part of FFmpeg.
|
|
|
|
#
|
|
|
|
# FFmpeg is free software; you can redistribute it and/or
|
|
|
|
# modify it under the terms of the GNU Lesser General Public
|
|
|
|
# License as published by the Free Software Foundation; either
|
|
|
|
# version 2.1 of the License, or (at your option) any later version.
|
|
|
|
#
|
|
|
|
# FFmpeg is distributed in the hope that it will be useful,
|
|
|
|
# but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
|
|
|
|
# See the GNU Lesser General Public License for more details.
|
|
|
|
#
|
|
|
|
# You should have received a copy of the GNU Lesser General Public License
|
|
|
|
# along with FFmpeg; if not, write to the Free Software Foundation, Inc.,
|
|
|
|
# 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
|
|
|
|
|
2017-09-10 22:53:35 +02:00
|
|
|
input="$1"
|
|
|
|
output="$2"
|
|
|
|
|
2023-03-18 20:15:41 +02:00
|
|
|
name=$(basename "$input" | sed 's/\./_/')
|
2017-09-10 22:53:35 +02:00
|
|
|
|
|
|
|
cat >$output <<EOF
|
|
|
|
// Generated from $input
|
2023-03-18 20:15:41 +02:00
|
|
|
const char *ff_source_$name =
|
2017-09-10 22:53:35 +02:00
|
|
|
EOF
|
|
|
|
|
|
|
|
# Convert \ to \\ and " to \", then add " to the start and end of the line.
|
|
|
|
cat "$input" | sed 's/\\/\\\\/g;s/\"/\\\"/g;s/^/\"/;s/$/\\n\"/' >>$output
|
|
|
|
|
|
|
|
echo ";" >>$output
|