Start emitting a warning message when old binary names are used.

Issue #169

PiperOrigin-RevId: 331635087

verilog/tools/diff/verilog_diff

diff --git a/verilog/tools/diff/verilog_diff b/verilog/tools/diff/verilog_diff
index 5c4f62f..7508c57 100755
--- a/verilog/tools/diff/verilog_diff
+++ b/verilog/tools/diff/verilog_diff
@@ -17,4 +17,10 @@
 #
 # Beware, this will go away, please change your scripts to call the new stable
 # name verible-verilog-diff instead.
+>&2 cat <<EOF
+*******************************************************************************
+verilog_diff is the deprecated name for verible-verilog-diff.
+executing $(dirname $(realpath $0))/verible-verilog-diff instead
+*******************************************************************************
+EOF
 exec "$(dirname $(realpath $0))/verible-verilog-diff" "$@"

verilog/tools/formatter/verilog_format

diff --git a/verilog/tools/formatter/verilog_format b/verilog/tools/formatter/verilog_format
index a6cf637..bb09e91 100755
--- a/verilog/tools/formatter/verilog_format
+++ b/verilog/tools/formatter/verilog_format
@@ -17,4 +17,10 @@
 #
 # Beware, this will go away, please change your scripts to call the new stable
 # name verible-verilog-format instead.
+>&2 cat <<EOF
+*******************************************************************************
+verilog_format is the deprecated name for verible-verilog-format.
+executing $(dirname $(realpath $0))/verible-verilog-format instead
+*******************************************************************************
+EOF
 exec "$(dirname $(realpath $0))/verible-verilog-format" "$@"

verilog/tools/lint/verilog_lint

diff --git a/verilog/tools/lint/verilog_lint b/verilog/tools/lint/verilog_lint
index 51c1959..1f722e9 100755
--- a/verilog/tools/lint/verilog_lint
+++ b/verilog/tools/lint/verilog_lint
@@ -17,4 +17,10 @@
 #
 # Beware, this will go away, please change your scripts to call the new stable
 # name verible-verilog-lint instead.
+>&2 cat <<EOF
+*******************************************************************************
+verilog_lint is the deprecated name for verible-verilog-lint.
+executing $(dirname $(realpath $0))/verible-verilog-lint instead
+*******************************************************************************
+EOF
 exec "$(dirname $(realpath $0))/verible-verilog-lint" "$@"

verilog/tools/obfuscator/verilog_obfuscate

diff --git a/verilog/tools/obfuscator/verilog_obfuscate b/verilog/tools/obfuscator/verilog_obfuscate
index 5bb3250..db0fad9 100755
--- a/verilog/tools/obfuscator/verilog_obfuscate
+++ b/verilog/tools/obfuscator/verilog_obfuscate
@@ -17,4 +17,10 @@
 #
 # Beware, this will go away, please change your scripts to call the new stable
 # name verible-verilog-obfuscate instead.
+>&2 cat <<EOF
+*******************************************************************************
+verilog_obfuscate is the deprecated name for verible-verilog-obfuscate.
+executing $(dirname $(realpath $0))/verible-verilog-obfuscate instead
+*******************************************************************************
+EOF
 exec "$(dirname $(realpath $0))/verible-verilog-obfuscate" "$@"

verilog/tools/syntax/verilog_syntax

diff --git a/verilog/tools/syntax/verilog_syntax b/verilog/tools/syntax/verilog_syntax
index be751b9..5072419 100755
--- a/verilog/tools/syntax/verilog_syntax
+++ b/verilog/tools/syntax/verilog_syntax
@@ -17,4 +17,10 @@
 #
 # Beware, this will go away, please change your scripts to call the new stable
 # name verible-verilog-syntax instead.
+>&2 cat <<EOF
+*******************************************************************************
+verilog_syntax is the deprecated name for verible-verilog-syntax.
+executing $(dirname $(realpath $0))/verible-verilog-syntax instead
+*******************************************************************************
+EOF
 exec "$(dirname $(realpath $0))/verible-verilog-syntax" "$@"