annotate lisp/progmodes/ada-prj.el @ 45603:97212b1039e9

(x_encode_text): Return stringp non-NULL if coding_system is Qcompound_text_with_extensions.
author Eli Zaretskii <eliz@gnu.org>
date Fri, 31 May 2002 17:43:08 +0000
parents 539150b68126
children 8542d59b76af
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
38422
7a94f1c588c4 Some fixes to follow coding conventions.
Pavel Janík <Pavel@Janik.cz>
parents: 38401
diff changeset
1 ;;; ada-prj.el --- easy editing of project files for the ada-mode
25901
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
2
44468
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
3 ;; Copyright (C) 1998, 99, 2000, 2001 Free Software Foundation, Inc.
25901
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
4
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
5 ;; Author: Emmanuel Briot <briot@gnat.com>
44468
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
6 ;; Ada Core Technologies's version: $Revision: 1.53 $
25901
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
7 ;; Keywords: languages, ada, project file
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
8
38361
d42c9135a92d Say that the file _is_ part of Emacs.
Eli Zaretskii <eliz@gnu.org>
parents: 34304
diff changeset
9 ;; This file is part of GNU Emacs.
25901
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
10
38401
64d8d90d180d Fix license commentary.
Gerd Moellmann <gerd@gnu.org>
parents: 38361
diff changeset
11 ;; GNU Emacs is free software; you can redistribute it and/or modify
25901
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
12 ;; it under the terms of the GNU General Public License as published by
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
13 ;; the Free Software Foundation; either version 2, or (at your option)
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
14 ;; any later version.
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
15
38401
64d8d90d180d Fix license commentary.
Gerd Moellmann <gerd@gnu.org>
parents: 38361
diff changeset
16 ;; GNU Emacs is distributed in the hope that it will be useful,
25901
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
17 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
18 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
19 ;; GNU General Public License for more details.
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
20
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
21 ;; You should have received a copy of the GNU General Public License
38401
64d8d90d180d Fix license commentary.
Gerd Moellmann <gerd@gnu.org>
parents: 38361
diff changeset
22 ;; along with GNU Emacs; see the file COPYING. If not, write to the
64d8d90d180d Fix license commentary.
Gerd Moellmann <gerd@gnu.org>
parents: 38361
diff changeset
23 ;; Free Software Foundation, Inc., 59 Temple Place - Suite 330,
64d8d90d180d Fix license commentary.
Gerd Moellmann <gerd@gnu.org>
parents: 38361
diff changeset
24 ;; Boston, MA 02111-1307, USA.
25901
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
25
38422
7a94f1c588c4 Some fixes to follow coding conventions.
Pavel Janík <Pavel@Janik.cz>
parents: 38401
diff changeset
26 ;;; Commentary:
7a94f1c588c4 Some fixes to follow coding conventions.
Pavel Janík <Pavel@Janik.cz>
parents: 38401
diff changeset
27
25901
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
28 ;;; This package provides a set of functions to easily edit the project
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
29 ;;; files used by the ada-mode.
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
30 ;;; The only function publicly available here is `ada-customize'.
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
31 ;;; See the documentation of the Ada mode for more information on the project
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
32 ;;; files.
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
33 ;;; Internally, a project file is represented as a property list, with each
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
34 ;;; field of the project file matching one property of the list.
25901
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
35
38422
7a94f1c588c4 Some fixes to follow coding conventions.
Pavel Janík <Pavel@Janik.cz>
parents: 38401
diff changeset
36 ;;; Code:
25901
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
37
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
38
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
39 ;; ----- Requirements -----------------------------------------------------
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
40
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
41 (require 'cus-edit)
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
42
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
43 ;; ----- Buffer local variables -------------------------------------------
25901
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
44
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
45 (defvar ada-prj-current-values nil
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
46 "Hold the current value of the fields, This is a property list.")
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
47 (make-variable-buffer-local 'ada-prj-current-values)
25901
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
48
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
49 (defvar ada-prj-default-values nil
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
50 "Hold the default value for the fields, This is a property list.")
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
51 (make-variable-buffer-local 'ada-prj-default-values)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
52
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
53 (defvar ada-prj-ada-buffer nil
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
54 "Indicates what Ada source file was being edited.")
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
55
44468
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
56 (defvar ada-old-cross-prefix nil
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
57 "The cross-prefix associated with the currently loaded runtime library.")
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
58
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
59
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
60 ;; ----- Functions --------------------------------------------------------
25901
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
61
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
62 (defun ada-prj-new ()
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
63 "Open a new project file"
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
64 (interactive)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
65 (let* ((prj
44468
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
66 (if (and ada-prj-default-project-file
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
67 (not (string= ada-prj-default-project-file "")))
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
68 ada-prj-default-project-file
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
69 "default.adp"))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
70 (filename (read-file-name "Project file: "
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
71 (if prj "" nil)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
72 nil
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
73 nil
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
74 prj)))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
75 (if (not (string= (file-name-extension filename t) ".adp"))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
76 (error "File name extension for project files must be .adp"))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
77
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
78 (ada-customize nil filename)))
25901
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
79
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
80 (defun ada-prj-edit ()
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
81 "Editing the project file associated with the current Ada buffer.
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
82 If there is none, opens a new project file"
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
83 (interactive)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
84 (let ((file (ada-prj-find-prj-file)))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
85 (if file
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
86 (progn
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
87 (ada-reread-prj-file file)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
88 (ada-customize))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
89 (ada-prj-new))))
25901
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
90
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
91 (defun ada-prj-add-keymap ()
26227
1be4a89d81d3 Doc-string fixes.
Gerd Moellmann <gerd@gnu.org>
parents: 25901
diff changeset
92 "Add new keybindings for ada-prj."
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
93 (define-key ada-mode-map "\C-cu" 'ada-prj-edit))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
94
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
95 (defun ada-prj-initialize-values (symbol ada-buffer &optional filename)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
96 "Set SYMBOL to the property list of the project file FILENAME.
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
97 If FILENAME is null, read the file associated with ADA-BUFFER. If no
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
98 project file is found, returns the default values."
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
99
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
100 (let ((prj filename))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
101
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
102 (if filename
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
103 ;; If filename is given, reread if first if needed
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
104 (if (file-exists-p filename)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
105 (ada-reread-prj-file))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
106
44468
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
107 ;; Else use the active one
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
108 (set 'prj ada-prj-default-project-file))
25901
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
109
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
110
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
111 (if (and prj
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
112 (not (string= prj ""))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
113 (assoc prj ada-xref-project-files))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
114 (set symbol (copy-sequence (cdr (assoc prj ada-xref-project-files))))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
115
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
116 ;; Set default values (except for the file name if this was given
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
117 ;; in the buffer
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
118 (ada-xref-set-default-prj-values symbol ada-buffer)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
119 (if (and prj (not (string= prj "")))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
120 (set symbol (plist-put (eval symbol) 'filename prj)))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
121 )))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
122
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
123
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
124 (defun ada-prj-save-specific-option (field)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
125 "Returns the string to print in the project file to save FIELD.
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
126 If the current value of FIELD is the default value, returns an empty string."
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
127 (if (string= (plist-get ada-prj-current-values field)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
128 (plist-get ada-prj-default-values field))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
129 ""
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
130 (concat (symbol-name field)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
131 "=" (plist-get ada-prj-current-values field) "\n")))
25901
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
132
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
133 (defun ada-prj-save ()
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
134 "Save the edited project file."
25901
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
135 (interactive)
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
136 (let ((file-name (plist-get ada-prj-current-values 'filename))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
137 output)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
138 (set 'output
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
139 (concat
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
140
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
141 ;; Save the fields that do not depend on the current buffer
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
142 ;; only if they are different from the default value
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
143
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
144 (ada-prj-save-specific-option 'comp_opt)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
145 (ada-prj-save-specific-option 'bind_opt)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
146 (ada-prj-save-specific-option 'link_opt)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
147 (ada-prj-save-specific-option 'gnatmake_opt)
44468
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
148 (ada-prj-save-specific-option 'gnatfind_opt)
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
149 (ada-prj-save-specific-option 'cross_prefix)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
150 (ada-prj-save-specific-option 'remote_machine)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
151 (ada-prj-save-specific-option 'debug_cmd)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
152
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
153 ;; Always save the fields that depend on the current buffer
44468
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
154 "main=" (plist-get ada-prj-current-values 'main) "\n"
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
155 "main_unit=" (plist-get ada-prj-current-values 'main_unit) "\n"
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
156 "build_dir=" (plist-get ada-prj-current-values 'build_dir) "\n"
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
157 (ada-prj-set-list "check_cmd"
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
158 (plist-get ada-prj-current-values 'check_cmd)) "\n"
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
159 (ada-prj-set-list "make_cmd"
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
160 (plist-get ada-prj-current-values 'make_cmd)) "\n"
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
161 (ada-prj-set-list "comp_cmd"
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
162 (plist-get ada-prj-current-values 'comp_cmd)) "\n"
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
163 (ada-prj-set-list "run_cmd"
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
164 (plist-get ada-prj-current-values 'run_cmd)) "\n"
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
165 (ada-prj-set-list "src_dir"
44468
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
166 (plist-get ada-prj-current-values 'src_dir)
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
167 t) "\n"
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
168 (ada-prj-set-list "obj_dir"
44468
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
169 (plist-get ada-prj-current-values 'obj_dir)
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
170 t) "\n"
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
171 (ada-prj-set-list "debug_pre_cmd"
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
172 (plist-get ada-prj-current-values 'debug_pre_cmd))
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
173 "\n"
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
174 (ada-prj-set-list "debug_post_cmd"
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
175 (plist-get ada-prj-current-values 'debug_post_cmd))
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
176 "\n"
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
177 ))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
178
25901
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
179 (find-file file-name)
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
180 (erase-buffer)
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
181 (insert output)
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
182 (save-buffer)
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
183 ;; kill the project buffer
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
184 (kill-buffer nil)
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
185
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
186 ;; kill the editor buffer
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
187 (kill-buffer "*Customize Ada Mode*")
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
188
44468
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
189 ;; automatically set the new project file as the active one
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
190 (set 'ada-prj-default-project-file file-name)
25901
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
191
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
192 ;; force Emacs to reread the project files
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
193 (ada-reread-prj-file file-name)
25901
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
194 )
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
195 )
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
196
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
197 (defun ada-prj-load-from-file (symbol)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
198 "Load SYMBOL value from file. One item per line should be found in the file."
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
199 (save-excursion
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
200 (let ((file (read-file-name "File name: " nil nil t))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
201 (buffer (current-buffer))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
202 line
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
203 list)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
204 (find-file file)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
205 (widen)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
206 (goto-char (point-min))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
207 (while (not (eobp))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
208 (set 'line (buffer-substring-no-properties
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
209 (point) (save-excursion (end-of-line) (point))))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
210 (add-to-list 'list line)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
211 (forward-line 1)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
212 )
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
213 (kill-buffer nil)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
214 (set-buffer buffer)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
215 (set 'ada-prj-current-values
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
216 (plist-put ada-prj-current-values
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
217 symbol
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
218 (append (plist-get ada-prj-current-values symbol)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
219 (reverse list))))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
220 )
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
221 (ada-prj-display-page 2)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
222 ))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
223
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
224 (defun ada-prj-subdirs-of (dir)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
225 "Returns a list of all the subdirectories of dir, recursively."
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
226 (let ((subdirs (directory-files dir t "^[^.].*"))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
227 (dirlist (list dir)))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
228 (while subdirs
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
229 (if (file-directory-p (car subdirs))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
230 (let ((sub (ada-prj-subdirs-of (car subdirs))))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
231 (if sub
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
232 (set 'dirlist (append sub dirlist)))))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
233 (set 'subdirs (cdr subdirs)))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
234 dirlist))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
235
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
236 (defun ada-prj-load-directory (field &optional file-name)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
237 "Append the content of FILE-NAME to FIELD in the current project file.
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
238 If FILE-NAME is nil, ask the user for the name."
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
239 (unless file-name
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
240 (set 'file-name (read-file-name "Root directory: " nil nil t)))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
241
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
242 (set 'ada-prj-current-values
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
243 (plist-put ada-prj-current-values
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
244 field
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
245 (append (plist-get ada-prj-current-values field)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
246 (reverse (ada-prj-subdirs-of
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
247 (expand-file-name file-name))))))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
248 (ada-prj-display-page 2))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
249
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
250 (defun ada-prj-display-page (tab-num)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
251 "Display one of the pages available in the notebook. TAB-NUM should have
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
252 a value between 1 and the maximum number of pages.
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
253 The current buffer must be the project editing buffer."
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
254
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
255 (let ((inhibit-read-only t))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
256 (erase-buffer))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
257
44468
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
258 ;; Widget support in Emacs 21 requires that we clear the buffer first
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
259 (if (and (not (boundp 'running-xemacs)) (>= emacs-major-version 21))
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
260 (progn
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
261 (setq widget-field-new nil
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
262 widget-field-list nil)
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
263 (mapcar (lambda (x) (delete-overlay x)) (car (overlay-lists)))
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
264 (mapcar (lambda (x) (delete-overlay x)) (cdr (overlay-lists)))))
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
265
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
266 ;; Display the tabs
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
267
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
268 (widget-insert "\n Project and Editor configuration.\n
44468
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
269 ___________ ____________ ____________ ____________ ____________\n / ")
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
270 (widget-create 'push-button :notify
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
271 (lambda (&rest dummy) (ada-prj-display-page 1)) "General")
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
272 (widget-insert " \\ / ")
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
273 (widget-create 'push-button :notify
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
274 (lambda (&rest dummy) (ada-prj-display-page 2)) "Paths")
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
275 (widget-insert " \\ / ")
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
276 (widget-create 'push-button :notify
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
277 (lambda (&rest dummy) (ada-prj-display-page 3)) "Switches")
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
278 (widget-insert " \\ / ")
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
279 (widget-create 'push-button :notify
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
280 (lambda (&rest dummy) (ada-prj-display-page 4)) "Ada Menu")
44468
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
281 (widget-insert " \\ / ")
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
282 (widget-create 'push-button :notify
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
283 (lambda (&rest dummy) (ada-prj-display-page 5)) "Debugger")
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
284 (widget-insert " \\\n")
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
285
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
286 ;; Display the currently selected page
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
287
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
288 (cond
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
289
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
290 ;;
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
291 ;; First page (General)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
292 ;;
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
293 ((= tab-num 1)
44468
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
294 (widget-insert "/ \\/______________\\/______________\\/______________\\/______________\\\n")
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
295
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
296 (widget-insert "Project file name:\n")
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
297 (widget-insert (plist-get ada-prj-current-values 'filename))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
298 (widget-insert "\n\n")
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
299 ; (ada-prj-field 'filename "Project file name"
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
300 ; "Enter the name and directory of the project
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
301 ; file. The name of the file should be the
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
302 ; name of the project itself. The extension
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
303 ; must be .adp")
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
304 ; (ada-prj-field 'casing "Casing Exceptions Dictionnaries"
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
305 ; "List of files that contain casing exception
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
306 ; dictionnaries. All these files contain one
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
307 ; identifier per line, with a special casing.
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
308 ; The first file has the highest priority."
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
309 ; t)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
310 (ada-prj-field 'main "Executable file name"
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
311 "Name of the executable generated when you
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
312 compile your application. This should include
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
313 the full directory name, using ${build_dir} if
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
314 you wish.")
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
315 (ada-prj-field 'main_unit "File name of the main unit"
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
316 "Name of the file to pass to the gnatmake command,
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
317 and that will create the executable.
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
318 This should not include any directory specification.")
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
319 (ada-prj-field 'build_dir "Build directory"
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
320 "Reference directory for relative paths in
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
321 src_dir and obj_dir below. This is also the directory
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
322 where the compilation is done.")
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
323 (ada-prj-field 'remote_machine "Name of the remote machine (if any)"
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
324 "If you want to remotely compile, debug and
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
325 run your application, specify the name of a
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
326 remote machine here. This capability requires
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
327 the 'rsh' protocol on the remote machine.")
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
328 (ada-prj-field 'cross_prefix "Prefix used in for the cross tool chain"
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
329 "When working on multiple cross targets, it is
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
330 most convenient to specify the prefix of the
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
331 tool chain here. For instance, on PowerPc
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
332 vxworks, you would enter 'powerpc-wrs-vxworks-'.
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
333 To use JGNAT, enter 'j'.")
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
334 )
25901
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
335
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
336
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
337 ;;
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
338 ;; Second page (Paths)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
339 ;;
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
340 ((= tab-num 2)
44468
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
341 (if (not (equal (plist-get ada-prj-current-values 'cross_prefix)
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
342 ada-old-cross-prefix))
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
343 (progn
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
344 (setq ada-old-cross-prefix
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
345 (plist-get ada-prj-current-values 'cross_prefix))
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
346 (ada-initialize-runtime-library ada-old-cross-prefix)))
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
347
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
348
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
349 (widget-insert "/_____________\\/ \\/______________\\/______________\\/______________\\\n")
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
350 (ada-prj-field 'src_dir "Source directories"
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
351 "Enter the list of directories where your Ada
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
352 sources can be found. These directories will be
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
353 used for the cross-references and for the default
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
354 compilation commands.
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
355 Note that src_dir includes both the build directory
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
356 and the standard runtime."
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
357 t t
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
358 (mapconcat (lambda(x)
44468
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
359 (concat " " x))
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
360 ada-xref-runtime-library-specs-path
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
361 "\n")
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
362 )
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
363 (widget-insert "\n\n")
25901
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
364
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
365 (ada-prj-field 'obj_dir "Object directories"
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
366 "Enter the list of directories where the GNAT
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
367 library files (ALI files) can be found. These
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
368 files are used for cross-references and by the
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
369 gnatmake command.
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
370 Note that obj_dir includes both the build directory
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
371 and the standard runtime."
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
372 t t
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
373 (mapconcat (lambda(x)
44468
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
374 (concat " " x))
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
375 ada-xref-runtime-library-ali-path
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
376 "\n")
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
377 )
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
378 (widget-insert "\n\n")
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
379 )
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
380
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
381 ;;
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
382 ;; Third page (Switches)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
383 ;;
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
384 ((= tab-num 3)
44468
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
385 (widget-insert "/_____________\\/______________\\/ \\/______________\\/______________\\\n")
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
386 (ada-prj-field 'comp_opt "Switches for the compiler"
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
387 "These switches are used in the default
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
388 compilation commands, both for compiling a
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
389 single file and rebuilding the whole project")
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
390 (ada-prj-field 'bind_opt "Switches for the binder"
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
391 "These switches are used in the default build
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
392 command and are passed to the binder")
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
393 (ada-prj-field 'link_opt "Switches for the linker"
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
394 "These switches are used in the default build
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
395 command and are passed to the linker")
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
396 (ada-prj-field 'gnatmake_opt "Switches for gnatmake"
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
397 "These switches are used in the default gnatmake
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
398 command.")
44468
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
399 (ada-prj-field 'gnatfind_opt "Switches for gnatfind"
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
400 "The command gnatfind is run every time the Ada/Goto/List_References menu.
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
401 You should for instance add -a if you are working in an environment
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
402 where most ALI files are write-protected, since otherwise they get
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
403 ignored by gnatfind and you don't see the references within.")
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
404 )
25901
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
405
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
406 ;;
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
407 ;; Fourth page
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
408 ;;
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
409 ((= tab-num 4)
44468
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
410 (widget-insert "/_____________\\/______________\\/______________\\/ \\/______________\\\n")
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
411 (widget-insert
44468
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
412 "All the fields below can use variable substitution The syntax is ${name},
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
413 where name is the name that appears after the Help buttons in this buffer. As
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
414 a special case, ${current} is replaced with the name of the file currently
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
415 edited, with directory name but no extension, whereas ${full_current} is
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
416 replaced with the name of the current file with directory name and
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
417 extension.\n")
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
418 (widget-insert
44468
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
419 "The environment variables ADA_INCLUDE_PATH and ADA_OBJECTS_PATH are set to
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
420 ${src_dir} and ${obj_dir} before running the compilation commands, so that you
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
421 don't need to specify the -aI and -aO switches on the command line\n")
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
422 (widget-insert
44468
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
423 "You can reference any environment variable using the same ${...} syntax as
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
424 above, and put the name of the variable between the quotes.\n\n")
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
425 (ada-prj-field 'check_cmd
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
426 "Check syntax of a single file (menu Ada->Check File)"
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
427 "This command is run to check the syntax and semantics of a file.
44468
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
428 The file name is added at the end of this command." t)
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
429 (ada-prj-field 'comp_cmd
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
430 "Compiling a single file (menu Ada->Compile File)"
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
431 "This command is run when the recompilation
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
432 of a single file is needed. The file name is
44468
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
433 added at the end of this command." t)
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
434 (ada-prj-field 'make_cmd "Rebuilding the whole project (menu Ada->Build)"
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
435 "This command is run when you want to rebuild
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
436 your whole application. It is never issues
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
437 automatically and you will need to ask for it.
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
438 If remote_machine has been set, this command
44468
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
439 will be executed on the remote machine." t)
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
440 (ada-prj-field 'run_cmd "Running the application (menu Ada->Run)"
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
441 "This command specifies how to run the
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
442 application, including any switch you need to
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
443 specify. If remote_machine has been set, this
44468
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
444 command will be executed on the remote host." t)
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
445 )
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
446
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
447 ;;
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
448 ;; Fifth page
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
449 ;;
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
450 ((= tab-num 5)
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
451 (widget-insert "/_____________\\/______________\\/______________\\/______________\\/ \\\n")
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
452 (ada-prj-field 'debug_pre_cmd "Commands to execute before launching the
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
453 debugger"
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
454 "The following commands are executed one after the other before starting
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
455 the debugger. These can be used to set up your environment." t)
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
456
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
457 (ada-prj-field 'debug_cmd "Debugging the application"
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
458 "Specifies how to debug the application, possibly
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
459 remotely if remote_machine has been set. We
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
460 recommend the following debuggers:
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
461 > gdb
44468
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
462 > gvd --tty
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
463 > ddd --tty -fullname -toolbar")
44468
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
464
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
465 (ada-prj-field 'debug_post_cmd "Commands to execute in the debugger"
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
466 "The following commands are executed one in the debugger once it has been
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
467 started. These can be used to initialize the debugger, for instance to
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
468 connect to the target when working with cross-environments" t)
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
469 )
44468
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
470
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
471 )
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
472
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
473
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
474 (widget-insert "______________________________________________________________________\n\n ")
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
475 (widget-create 'push-button
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
476 :notify (lambda (&rest ignore)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
477 (ada-xref-set-default-prj-values
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
478 'ada-prj-current-values ada-prj-ada-buffer)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
479 (ada-prj-display-page 1))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
480 "Reset to Default Values")
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
481 (widget-insert " ")
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
482 (widget-create 'push-button :notify (lambda (&rest ignore) (kill-buffer nil))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
483 "Cancel")
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
484 (widget-insert " ")
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
485 (widget-create 'push-button :notify (lambda (&rest ignore) (ada-prj-save))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
486 "Save")
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
487 (widget-insert "\n\n")
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
488
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
489 (widget-setup)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
490 (beginning-of-buffer)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
491 )
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
492
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
493
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
494 (defun ada-customize (&optional new-file filename)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
495 "Edit the project file associated with the current buffer.
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
496 If there is none or NEW-FILE is non-nil, make a new one.
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
497 If FILENAME is given, edit that file."
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
498 (interactive)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
499
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
500 (let ((ada-buffer (current-buffer))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
501 (inhibit-read-only t))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
502
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
503 (ada-require-project-file)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
504
25901
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
505 (switch-to-buffer "*Customize Ada Mode*")
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
506 (kill-all-local-variables)
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
507
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
508 (ada-xref-set-default-prj-values 'ada-prj-default-values ada-buffer)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
509 (ada-prj-initialize-values 'ada-prj-current-values ada-buffer filename)
25901
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
510
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
511 (set (make-local-variable 'ada-prj-ada-buffer) ada-buffer)
25901
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
512
26227
1be4a89d81d3 Doc-string fixes.
Gerd Moellmann <gerd@gnu.org>
parents: 25901
diff changeset
513 (use-local-map (copy-keymap custom-mode-map))
25901
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
514 (local-set-key "\C-x\C-s" 'ada-prj-save)
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
515
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
516 (make-local-variable 'widget-keymap)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
517 (define-key widget-keymap "\C-x\C-s" 'ada-prj-save)
25901
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
518
44468
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
519 (set (make-local-variable 'ada-old-cross-prefix)
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
520 (ada-xref-get-project-field 'cross-prefix))
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
521
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
522 (ada-prj-display-page 1)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
523 ))
25901
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
524
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
525 ;; ---------------- Utilities --------------------------------
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
526
44468
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
527 (defun ada-prj-set-list (string ada-list &optional is-directory)
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
528 "Join the strings in ADA-LIST into a single string.
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
529 Each name is put on a separate line that begins with STRING.
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
530 If IS-DIRECTORY is non-nil, each name is explicitly converted to a
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
531 directory name."
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
532
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
533 (mapconcat (lambda (x) (concat string "="
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
534 (if is-directory
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
535 (file-name-as-directory x)
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
536 x)))
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
537 ada-list "\n"))
25901
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
538
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
539
25901
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
540 (defun ada-prj-get-prj-dir (&optional ada-file)
26227
1be4a89d81d3 Doc-string fixes.
Gerd Moellmann <gerd@gnu.org>
parents: 25901
diff changeset
541 "Returns the directory/name of the project file for ADA-FILE.
1be4a89d81d3 Doc-string fixes.
Gerd Moellmann <gerd@gnu.org>
parents: 25901
diff changeset
542 If ADA-FILE is nil, returns the project file for the current buffer."
25901
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
543 (unless ada-file
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
544 (setq ada-file (buffer-file-name)))
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
545
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
546 (save-excursion
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
547 (set-buffer (get-file-buffer ada-file))
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
548
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
549 (let ((prj-file (ada-prj-find-prj-file t)))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
550 (if (or (not prj-file)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
551 (not (file-exists-p prj-file))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
552 )
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
553 (setq prj-file
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
554 (concat (file-name-sans-extension ada-file)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
555 ada-project-file-extension)))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
556 prj-file)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
557 ))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
558
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
559 (defun ada-prj-field-modified (widget &rest dummy)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
560 "Callback called each time the value of WIDGET is modified. Save the
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
561 change in ada-prj-current-values so that selecting another page and coming
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
562 back keeps the new value."
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
563 (set 'ada-prj-current-values
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
564 (plist-put ada-prj-current-values
44468
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
565 (widget-get widget ':prj-field)
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
566 (widget-value widget))))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
567
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
568 (defun ada-prj-display-help (widget widget-modified event)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
569 "An help button in WIDGET was clicked on. The parameters are so that
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
570 this function can be used as :notify for the widget."
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
571 (let ((text (widget-get widget 'prj-help)))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
572 (if event
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
573 ;; If we have a mouse-event, popup a menu
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
574 (widget-choose "Help"
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
575 (mapcar (lambda (a) (cons a t))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
576 (split-string text "\n"))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
577 event)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
578 ;; Else display the help string just before the next group of
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
579 ;; variables
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
580 (momentary-string-display
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
581 (concat "*****Help*****\n" text "\n**************\n")
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
582 (save-excursion (forward-line) (beginning-of-line) (point)))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
583 )))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
584
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
585 (defun ada-prj-show-value (widget widget-modified event)
44468
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
586 (let* ((field (widget-get widget ':prj-field))
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
587 (value (plist-get ada-prj-current-values field))
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
588 (inhibit-read-only t)
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
589 w)
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
590
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
591 ;; If the other widget is already visible, delete it
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
592 (if (widget-get widget 'prj-other-widget)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
593 (progn
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
594 (widget-delete (widget-get widget 'prj-other-widget))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
595 (widget-put widget 'prj-other-widget nil)
44468
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
596 (widget-put widget ':prj-field field)
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
597 (widget-default-value-set widget "Show Value")
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
598 )
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
599
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
600 ;; Else create it
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
601 (save-excursion
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
602 (mouse-set-point event)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
603 (forward-line 1)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
604 (beginning-of-line)
44468
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
605 (setq w (widget-create 'editable-list
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
606 :entry-format "%i%d %v"
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
607 :notify 'ada-prj-field-modified
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
608 :help-echo (widget-get widget 'prj-help)
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
609 :value value
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
610 (list 'editable-field :keymap widget-keymap)))
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
611 (widget-put widget 'prj-other-widget w)
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
612 (widget-put w ':prj-field field)
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
613 (widget-put widget ':prj-field field)
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
614 (widget-default-value-set widget "Hide Value")
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
615 )
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
616 )
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
617 (widget-setup)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
618 ))
25901
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
619
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
620 (defun ada-prj-field (field text help-text &optional is-list is-paths after-text)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
621 "Create a widget to edit FIELD in the current buffer.
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
622 TEXT is a short explanation of what the field means, whereas HELP-TEXT
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
623 is the text displayed when the user pressed the help button.
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
624 If IS-LIST is non-nil, the field contains a list. Otherwise, it contains
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
625 a single string.
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
626 if IS-PATHS is true, some special buttons are added to load paths,...
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
627 AFTER-TEXT is inserted just after the widget."
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
628 (let ((value (plist-get ada-prj-current-values field))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
629 (inhibit-read-only t)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
630 widget)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
631 (unless value
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
632 (set 'value
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
633 (if is-list '() "")))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
634 (widget-insert text)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
635 (widget-insert ":")
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
636 (move-to-column 54 t)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
637 (widget-put (widget-create 'push-button
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
638 :notify 'ada-prj-display-help
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
639 "Help")
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
640 'prj-help
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
641 help-text)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
642 (widget-insert (concat " (" (symbol-name field) ")\n"))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
643 (if is-paths
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
644 (progn
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
645 (widget-create 'push-button
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
646 :notify
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
647 (list 'lambda '(&rest dummy) '(interactive)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
648 (list 'ada-prj-load-from-file
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
649 (list 'quote field)))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
650 "Load From File")
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
651 (widget-insert " ")
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
652 (widget-create 'push-button
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
653 :notify
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
654 (list 'lambda '(&rest dummy) '(interactive)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
655 (list 'ada-prj-load-directory
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
656 (list 'quote field)))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
657 "Load Recursive Directory")
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
658 (widget-insert "\n ${build_dir}\n")))
44468
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
659
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
660 (set 'widget
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
661 (if is-list
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
662 (if (< (length value) 15)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
663 (widget-create 'editable-list
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
664 :entry-format "%i%d %v"
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
665 :notify 'ada-prj-field-modified
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
666 :help-echo help-text
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
667 :value value
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
668 (list 'editable-field :keymap widget-keymap))
44468
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
669
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
670 (let ((w (widget-create 'push-button
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
671 :notify 'ada-prj-show-value
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
672 "Show value")))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
673 (widget-insert "\n")
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
674 (widget-put w 'prj-help help-text)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
675 (widget-put w 'prj-other-widget nil)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
676 w)
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
677 )
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
678 (widget-create 'editable-field
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
679 :format "%v"
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
680 :notify 'ada-prj-field-modified
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
681 :help-echo help-text
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
682 :keymap widget-keymap
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
683 value)))
44468
539150b68126 Add support for the new project file fields:
Stefan Monnier <monnier@iro.umontreal.ca>
parents: 38422
diff changeset
684 (widget-put widget ':prj-field field)
30410
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
685 (if after-text
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
686 (widget-insert after-text))
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
687 (widget-insert "\n")
01ac16657214 Rewritten to show a tabbed-dialog.
Gerd Moellmann <gerd@gnu.org>
parents: 26227
diff changeset
688 ))
25901
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
689
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
690
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
691 ;; Set the keymap once and for all, so that the keys set by the user in his
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
692 ;; config file are not overwritten every time we open a new file.
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
693 (ada-prj-add-keymap)
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
694
9f327fa7ac10 New file.
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
695 (provide 'ada-prj)
38422
7a94f1c588c4 Some fixes to follow coding conventions.
Pavel Janík <Pavel@Janik.cz>
parents: 38401
diff changeset
696
7a94f1c588c4 Some fixes to follow coding conventions.
Pavel Janík <Pavel@Janik.cz>
parents: 38401
diff changeset
697 ;;; ada-prj.el ends here