diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/synth/build_header.sh | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/synth/build_header.sh b/src/synth/build_header.sh deleted file mode 100644 index 5733bd2d3..000000000 --- a/src/synth/build_header.sh +++ /dev/null @@ -1,8 +0,0 @@ -#!/bin/sh - -{ -echo "/* This file is automatically generated by build_header.sh - DO NOT MODIFY */" -echo "enum Module_Id {" -grep -h "constant Module_Id :=" netlists.ads netlists-gates.ads | sed -e '/constant Module_Id :=/s/:.*://' -e 's/;/,/' -e 's/ *--.*$//' -echo "};" -} > ghdlsynth_gates.h |