#!/bin/sh

set -u
set -f
set -e
set -C
set -V

cd ${TMPDIR}

cat > p.gpr <<EOF
with "texttools";
project P is
   for Source_Dirs use ("/usr/share/doc/libtexttools-doc/examples");
   for Main use ("os_demo.adb");
end P;
EOF

gnatmake -P p.gpr

./os_demo
