#!/bin/sh
set -C -e -f -u -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
