annotate src/.dbxinit @ 73934:0a6f264ee5b6

(ada-prj-default-check-cmd): New variable, replacing deleted variable `ada-check-switch'. (ada-project-file-extension): Rename to `ada-prj-file-extension'. (ada-xref-project-files): Improve doc string. (ada-find-executable): New function. (ada-initialize-runtime-library): Use `ada-find-executable'. (ada-xref-set-default-prj-values): In compile commands, don't need `ada-cd-command'; `compile' does that more portably. Use ada-prj-default-check-cmd. (ada-parse-prj-file): Don't set 'debug_post_cmd, 'debug_pre_cmd properties if not specified in project file. (ada-goto-declaration): Display useful message for new error 'error-file-not-found. (ada-get-ada-file-name, ada-find-in-src-path): Signal new error 'error-file-not-found. (ada-get-all-references): Match latest ali syntax. Signal new error 'error-file-not-found. (ada-find-in-ali): Match latest ali syntax. (ada-make-filename-from-adaname): Handle different semantics of gnatkr in GNAT 3.15p vs later.
author Juanma Barranquero <lekktu@gmail.com>
date Sun, 12 Nov 2006 17:06:31 +0000
parents 18e524802887
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
25843
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
1 ignore 14
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
2 catch 18
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
3 ignore 20
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
4 ignore 23
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
5 alias s step
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
6 alias n next
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
7 alias c cont
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
8 alias st status
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
9 alias r run
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
10 alias l list
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
11 alias f file
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
12 alias q quit
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
13 alias w where
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
14 alias d delete
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
15 alias p print