Adjust the release test script to use gnat_linux dir

Change the release test script to use explicitly gnat_linux
directory to make the installation phase to work properly.
1 files changed, 8 insertions(+), 5 deletions(-)

M tools/
M tools/ +8 -5
@@ 22,17 22,20 @@ VERSION=$1
 TEMPDIR=`mktemp -d`
 INSTALL_DIR=`mktemp -d`
+echo Installing to $INSTALL_DIR
 cd $TEMPDIR || fail "cd to temp failed"
 tar zxvf $TARBALL || fail "tar $TARBALL failed"
 cd ahven-$VERSION || fail "cd to ahven-$VERSION failed"
-make || fail "make failed"
+cd gnat_linux || fail "cd to gnat_linux failed"
+make prefix=$INSTALL_DIR || fail "make failed"
 make check || fail "make check failed"
 make check_xml || fail "make check_xml failed"
 make check_tap || fail "make check_tap failed"
-make docs || fail "make docs failed"
-make control || fail "make control failed"
-make PREFIX=$INSTALL_DIR install || fail "make install failed"
-cd examples || fail "cd examples failed"
+make docs prefix=$INSTALL_DIR || fail "make docs failed"
+# make control || fail "make control failed"
+make install prefix=$INSTALL_DIR || fail "make install failed"
+cd ../examples || fail "cd examples failed"
 gnatmake -Pexamples || fail "gnatmake -Pexamples failed"