;;; semantic-make.el --- Makefile parsing rules.

;; Copyright (C) 2000, 2001 Eric M. Ludlam

;; Author: Eric M. Ludlam <zappo@gnu.org>
;; X-RCS: $Id: semantic-make.el,v 1.13 2001/12/18 02:21:14 zappo Exp $

;; This file is not part of GNU Emacs.

;; Semantic-ex is free software; you can redistribute it and/or modify
;; it under the terms of the GNU General Public License as published by
;; the Free Software Foundation; either version 2, or (at your option)
;; any later version.

;; This software is distributed in the hope that it will be useful,
;; but WITHOUT ANY WARRANTY; without even the implied warranty of
;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
;; GNU General Public License for more details.

;; You should have received a copy of the GNU General Public License
;; along with GNU Emacs; see the file COPYING.  If not, write to the
;; Free Software Foundation, Inc., 59 Temple Place - Suite 330,
;; Boston, MA 02111-1307, USA.

;;; Commentary:
;;
;; Use the Semantic Bovinator to parse Makefiles.
;; Concocted as an experiment for nonstandard languages.

(require 'semantic)
(require 'backquote)

;;; Code:
(defvar semantic-toplevel-make-bovine-table
`((bovine-toplevel
 ( variable)
 ( rule)
 ( conditional)
 ( include)
 ( newline
  ,(semantic-lambda
  (list nil)))
 ) ; end Makefile
 (variable
 ( symbol equals elements
  ,(semantic-lambda
  (list (nth 0 vals) 'variable nil (nth 2 vals) nil nil)))
 ) ; end variable
 (rule
 ( symbol colons elements commands
  ,(semantic-lambda
  (list (nth 0 vals) 'function nil (nth 2 vals) nil nil)))
 ) ; end rule
 (conditional
 ( IF symbol newline
  ,(semantic-lambda
 ))
 ( IFDEF symbol newline
  ,(semantic-lambda
 ))
 ( IFNDEF symbol newline
  ,(semantic-lambda
 ))
 ( IFEQ expression newline
  ,(semantic-lambda
 ))
 ( IFNEQ expression newline
  ,(semantic-lambda
 ))
 ( ELSE newline
  ,(semantic-lambda
 ))
 ( ENDIF newline
  ,(semantic-lambda
 ))
 ) ; end conditional
 (expression
 ( semantic-list)
 ) ; end expression
 (include
 ( INCLUDE symbol elements
  ,(semantic-lambda
  (list (nth 1 vals) 'include nil)))
 ) ; end include
 (equals
 ( punctuation "\\b:\\b" punctuation "\\b=\\b"
  ,(semantic-lambda
 ))
 ( punctuation "\\b\\+\\b" punctuation "\\b=\\b"
  ,(semantic-lambda
 ))
 ( punctuation "\\b=\\b"
  ,(semantic-lambda
 ))
 ) ; end equals
 (colons
 ( punctuation "\\b:\\b" punctuation "\\b:\\b"
  ,(semantic-lambda
 ))
 ( punctuation "\\b:\\b"
  ,(semantic-lambda
 ))
 ) ; end colons
 (elements
 ( element elements
  ,(semantic-lambda
  (list (nth 0 vals)) (nth 1 vals)))
 ( element punctuation "\\b\\\\\\b" newline elements
  ,(semantic-lambda
  (list (nth 0 vals)) (nth 1 vals)))
 ( element newline
  ,(semantic-lambda
  (list (nth 0 vals))))
 ( newline
  ,(semantic-lambda
 ))
 ) ; end elements
 (element
 ( symbol)
 ( varref)
 ) ; end element
 (varref
 ( punctuation "\\b\\$\\b" semantic-list
  ,(semantic-lambda
  (list ( buffer-substring-no-properties ( identity start) ( identity end)))))
 ) ; end varref
 (commands
 ( shell-command newline commands
  ,(semantic-lambda
  (list (nth 0 vals)) (nth 1 vals)))
 (
  ,(semantic-lambda
 ))
 ) ; end commands
 )
 "Table for parsing Makefiles.")

(defvar semantic-make-keyword-table
  (semantic-flex-make-keyword-table 
   `( ("if" . IF)
      ("ifdef" . IFDEF)
      ("ifndef" . IFNDEF)
      ("ifeq" . IFEQ)
      ("ifneq" . IFNEQ)
      ("else" . ELSE)
      ("endif" . ENDIF)
      ("include" . INCLUDE)
      )
   '(
     ("if" summary "Conditional: if (expression) ... else ... endif")
     ("else" summary "Conditional: if (expression) ... else ... endif")
     ("endif" summary "Conditional: if (expression) ... else ... endif")
     ("ifdef" summary "Conditional: ifdef (expression) ... else ... endif")
     ("ifndef" summary "Conditional: ifndef (expression) ... else ... endif")
     ("ifeq" summary "Conditional: ifeq (expression) ... else ... endif")
     ("ifneq" summary "Conditional: ifneq (expression) ... else ... endif")
     ("include" summary "Macro: include filename1 filename2 ...")
     ))
  "Keyword table for Makefiles.")

(defvar semantic-flex-make-extensions
  '(("^\\(\t\\)" . semantic-flex-make-command)
    ("\\(\\\\\n\\)" . semantic-flex-nonewline))
  "Extensions to the flexer for make.")

(defun semantic-flex-make-command ()
  "Move the cursor and return nil when a tab starting line is found.
These command lines continue to additional lines when the end with \\"
  (let ((start (match-end 0)))
    (while (progn (end-of-line)
		  (save-excursion (forward-char -1) (looking-at "\\\\")))
      (forward-char 1))
    (cons 'shell-command (cons start (point)))))

(defun semantic-flex-nonewline ()
  "If there is a \ ending a line, then it isn't really a newline."
  (goto-char (match-end 0))
  nil)

;;;###autoload
(defun semantic-default-make-setup ()
  "Set up a Makefile buffer for parsing with semantic."
  (setq semantic-flex-extensions semantic-flex-make-extensions)
  ;; Code generated from make.bnf
  (setq semantic-toplevel-bovine-table semantic-toplevel-make-bovine-table
	semantic-toplevel-bovine-table-source "make.bnf")
  (setq semantic-flex-keywords-obarray semantic-make-keyword-table)
  (setq semantic-flex-enable-newlines t
	semantic-symbol->name-assoc-list '((variable . "Variables")
					   (function . "Rules")
					   (include . "Dependencies"))
	semantic-number-expression nil
	semantic-case-fold t
	semantic-flex-syntax-modifications '((?. "_")
					     (?= ".")
					     (?/ "_")
					     (?\t ".")
					     (?$ ".")
					     )
	semantic-flex-enable-newlines t
	imenu-create-index-function 'semantic-create-imenu-index
	)
 
  ;; End code generated from make.bnf
  )

(add-hook 'makefile-mode-hook 'semantic-default-make-setup)



(provide 'semantic-make)

;;; semantic-make.el ends here