Commit ffa2204e authored by Michael Hanus 's avatar Michael Hanus
Browse files

Manual and test script updated

parent 2994ba31
......@@ -464,10 +464,11 @@ the (preferably absolute) file name of the SQLite database,
and the name of the Curry program containing the ER specification.
If the SQLite database file does not exist, it will be initialized by the tool.
In our example, we execute the following command
(provided that the directory \code{\cyshome/bin} is in the path):
(provided that the tool \code{erd2curry} is already installed,
see Sect.~\ref{sec-erd2curry}):
%
\begin{curry}
> curry erd2curry --db `pwd`/Uni.db --cdbi UniERD.curry
> erd2curry --db `pwd`/Uni.db --cdbi UniERD.curry
\end{curry}
%
This initializes the SQLite database \code{Uni.db}
......
......@@ -19,8 +19,10 @@ ERD2CURRY=$HOME/.cpm/bin/erd2curry
if [ ! -x "$ERD2CURRY" ] ; then
ERD2CURRY=$CURRYBIN/$CURRYEXEC-erd2curry
if [ ! -x "$ERD2CURRY" ] ; then
echo "No executable 'erd2curry' found!"
exit 1
echo "SQL integration not tested: no executable 'erd2curry' found!"
echo "To run the SQL integration test, install 'erd2curry' by:"
echo "> cpm installbin ertools"
exit
fi
fi
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment