blob: 6c1c8cda598e8d012536078d6414d852d169055f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
#!/bin/sh
# This script will:
# 1) Build the example executable in /tmp
# 2) Tell the user how to execute it
GNATMAKE=@PREFIX@/gcc-aux/bin/gnatmake
ADA_PROJECT_PATH=@PREFIX@/lib/gnat
export ADA_PROJECT_PATH
${GNATMAKE} -P example
echo
echo "The source for the example is test_config.adb"
echo "The executable example is located in /tmp/test_config"
echo "It requires no options; just run it"
echo 'You may want to execute "rm /tmp/test_config*" when you are done.'
|