#!/bin/sh

awk '
  NR == 1 { n=split(FILENAME, a, "/"); name = a[n]; }
  /^\\/ && $2 !~ /^-/
  $1 == "DEF" && $3 != "END" { $1 = ""; printf("%s:%d %s\n", name, NR, $0) }
' $1