diff options
Diffstat (limited to 'std/generate_map.sh')
-rwxr-xr-x | std/generate_map.sh | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/std/generate_map.sh b/std/generate_map.sh deleted file mode 100755 index 193a62b..0000000 --- a/std/generate_map.sh +++ /dev/null @@ -1,20 +0,0 @@ -#!/bin/sh - -FILES="$(find * -type f -name "*.bruijn" ! -name "All.bruijn" ! -path "*Generic*")" - -# TODO: also handle imports for :input intelligence -list_defs() { - grep -Po "^[^:# \t][^ \t]*" "$1" | sed -e "s#\\(.*\\)#{\"name\": \"\\1\", \"source\": \"$1\"}#g" - 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" | sed 's/\\/\\\\/g' | jq -s . - echo "}" - done -} | jq -s add |