From 9d61a62f96dc4897dadbf88f5f4ee199d20e0f8f Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Tue, 13 Aug 2019 07:19:39 +0200
Subject: synth: build_header was replaced by a Makefile target.

---
 src/synth/build_header.sh | 8 --------
 1 file changed, 8 deletions(-)
 delete mode 100644 src/synth/build_header.sh

(limited to 'src')

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
-- 
cgit v1.2.3