diff options
Diffstat (limited to 'std/generate_map.sh')
-rwxr-xr-x | std/generate_map.sh | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/std/generate_map.sh b/std/generate_map.sh new file mode 100755 index 0000000..d8ac791 --- /dev/null +++ b/std/generate_map.sh @@ -0,0 +1,19 @@ +#!/bin/sh + +FILES="$(find * -type f -name "*.bruijn" ! -name "All.bruijn" ! -path "*Generic*")" + +list_defs() { + grep -Po "^[^:# \t][^ \t]*" "$1" + inputs="$(awk '/^:input/ {print $2}' "$1")" + for i in $inputs; do + list_defs "${i#std/}.bruijn" + done +} + +{ + for f in $FILES; do + echo "{\"$f\":" + list_defs "$f" | jq -R . | jq -s . + echo "}" + done +} | jq -s add |