File: link-with-shared

package info (click to toggle)
libxmlada 4.4.2014-1
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 8,612 kB
  • ctags: 74
  • sloc: ada: 44,182; sh: 3,077; makefile: 345; perl: 128; xml: 105; python: 48
file content (16 lines) | stat: -rw-r--r-- 333 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
 
#!/bin/sh
set -C -e -f -u
TOP_SOURCE_DIR=`pwd`
cd "$ADTTMP"

cat > p.gpr <<EOF
with "xmlada";
project P is
   for Source_Dirs use ("$TOP_SOURCE_DIR/docs/dom");
   for Main use ("domexample.adb");
end P;
EOF
gnatmake -q -P p.gpr
# domexample needs pref.xml in the current directory.
cd "$TOP_SOURCE_DIR/docs/dom"
"$ADTTMP/domexample"