File: link-with-shared

package info (click to toggle)
libxmlada 18-4
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 7,324 kB
  • sloc: ada: 32,766; makefile: 480; xml: 111; sh: 43; python: 35
file content (19 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
17
18
19
 
#!/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

gprbuild -v p.gpr

# domexample needs pref.xml in the current directory.
cd "$TOP_SOURCE_DIR/docs/dom"
"$ADTTMP/domexample"