File: gnatmake.xml

package info (click to toggle)
gnat-gps 5.3dfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 50,360 kB
  • ctags: 11,617
  • sloc: ada: 374,346; ansic: 92,327; python: 15,979; xml: 12,186; sh: 3,277; makefile: 1,113; awk: 154; perl: 128; java: 17
file content (15 lines) | stat: -rw-r--r-- 646 bytes parent folder | download | duplicates (5) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
<?xml version="1.0"?>
<GPS>
  <action name="build root project" category="Builder">
    <shell output="none">Project.scenario_variables_cmd_line -X</shell>
    <shell output="none">Project.root</shell>
    <shell output="none">Project.get_attribute_as_string %1 "gnat" "ide"</shell>
    <external server="build_server">%1 make -p "%PPs" %3</external>
    <shell output="none">Console "Messages"</shell>
    <shell output="none">MDI.get_by_child %1</shell>
    <shell output="none">MDIWindow.raise_window %1</shell>
  </action>
  <menu action="build root project" after="Make">
    <title>/Build/My Gnatmake/_Root Project</title>
  </menu>
</GPS>