Revision 391e4ed68addc4b1fb0de6d9cd41f4ae46e7195a authored by Tobias Ellinghaus on 18 November 2012, 15:11:48 UTC, committed by Tobias Ellinghaus on 18 November 2012, 15:11:48 UTC
Fixes #9055.
1 parent e8e599d
create_metadata.sh
#!/bin/sh
inputfile=$1
outputdir=$2
outputheader=metadata_gen.h
outputbody=metadata_gen.c
headerdefine=__$(printf $outputheader | tr '[:lower:].' '[:upper:]_')__
# header of the .h file
cat > $outputdir/$outputheader << EOF
/** generated file, do not edit! */
#ifndef $headerdefine
#define $headerdefine
typedef enum dt_metadata_t
{
EOF
# header of the .c file
cat > $outputdir/$outputbody << EOF
/** generated file, do not edit! */
#include <string.h>
#include "$outputheader"
dt_metadata_t dt_metadata_get_keyid(const char* key)
{
EOF
# iterate over the input
first=0
for line in $(cat $inputfile | grep -v "^#"); do
enum=DT_METADATA_$(printf $line | tr '[:lower:].' '[:upper:]_')
length=$(printf $line | wc -c)
if [ "$first" -ne 0 ]; then
printf ",\n" >> $outputdir/$outputheader
fi
printf " $enum" >> $outputdir/$outputheader
first=1
cat >> $outputdir/$outputbody << EOF
if(strncmp(key, "$line", $length) == 0)
return $enum;
EOF
done
# end of the .h file
cat >> $outputdir/$outputheader << EOF
}
dt_metadata_t;
dt_metadata_t dt_metadata_get_keyid(const char* key);
#endif
EOF
# end of the .c file
cat >> $outputdir/$outputbody << EOF
return -1;
}
EOF
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...