diff options
author | Marvin Borner | 2024-08-01 17:39:26 +0200 |
---|---|---|
committer | Marvin Borner | 2024-08-01 17:40:25 +0200 |
commit | 464cc9ab5a31b2d2a53ce4280c3a0e3ad9ce6855 (patch) | |
tree | 3029cabc2b2de3d2c19cd223e336fd9e2f19f9d3 /std/generate_map.sh | |
parent | 2e63dee421a90e9b2fca4cce9c21817c3417ab44 (diff) |
Fixed definitions from imports and input
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 |