diff options
author | Jakob Kaivo <jkk@ung.org> | 2019-03-01 17:11:16 -0500 |
---|---|---|
committer | Jakob Kaivo <jkk@ung.org> | 2019-03-01 17:11:16 -0500 |
commit | 52a6be4089e0b995694fb8a49d7de7e5e2b2dd7f (patch) | |
tree | 9efefd7a2e4d927f1644171839e739da4f44f1da /defs2d.awk | |
parent | 7551fd06be130a02411b775e9bf8a9f995a12968 (diff) |
script to generate distinct value checker and typedef checker from small input
Diffstat (limited to 'defs2d.awk')
-rwxr-xr-x | defs2d.awk | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/defs2d.awk b/defs2d.awk new file mode 100755 index 0000000..1151185 --- /dev/null +++ b/defs2d.awk @@ -0,0 +1,16 @@ +#!/usr/bin/awk -f + +/type/ { + printf("static %s a_%s;\n\n", $2, $2); +} + +/distinct/ { + printf("static int %s[] = {\n", $2); + for (i = 3; i < NF; i++) { + #printf("#ifndef %s\n", $i); + #printf("#error %s not defined\n", $i); + #printf("#endif\n"); + printf("\t%s,\n", $i); + } + printf("};\n"); +} |