${SED} -e "s,@PREFIX@,${LOCALBASE},g" ${FILESDIR}/runme.sh.in \

		> ${WRKSRC}/runme.sh

do-install-DOCS-on:

	${MKDIR} ${STAGEDIR}${DOCSDIR}

	${INSTALL_DATA} ${WRKSRC}/ini_file_manager.txt ${STAGEDIR}${DOCSDIR}

do-install-EXAMPLES-on:

	${MKDIR} ${STAGEDIR}${EXAMPLESDIR}

	${INSTALL_SCRIPT} ${WRKSRC}/runme.sh ${STAGEDIR}${EXAMPLESDIR}

	${INSTALL_DATA} ${WRKSRC}/test_config.adb \

		${FILESDIR}/example.gpr ${STAGEDIR}${EXAMPLESDIR}

with "ini_file_manager";

project Example is

   for Exec_Dir use "/tmp";

   for Object_Dir use "/tmp";

   for Main use ("test_config.adb");

   package Compiler is

      for Default_Switches ("ada") use ("-O2", "-gnat05");

   end Compiler;

end Example;

#!/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.'