Commit 60ba6e51 authored by Michael Hanus 's avatar Michael Hanus

README updated, testsuite script made more robust

parent 81ad0250
Pipeline #1479 passed with stages
in 67 minutes and 41 seconds
......@@ -2,9 +2,9 @@ PAKCS: The Portland Aachen Kiel Curry system
============================================
PAKCS is an implementation of the multi-paradigm declarative language
[Curry](http://www.curry-language.org) developed by RWTH Aachen,
[Curry](http://www.curry-lang.org) developed by RWTH Aachen,
University of Kiel and Portland State University
(email contact: pakcs@curry-language.org)
(email contact: pakcs@curry-lang.org)
This directory contains:
......@@ -16,10 +16,10 @@ This directory contains:
A description of various resources related to PAKCS and Curry.
This is helpful for new users.
`INSTALL.txt`:
`INSTALL.md`:
Instructions how to install the system.
`GITINSTALL.txt`:
`GITINSTALL.md`:
Instructions how to install the system from the GIT repository
(only intended for developers).
......@@ -33,7 +33,7 @@ This directory contains:
development environment.
`currytools`:
This directory contains various tools for Curry
This directory contains some base tools for Curry
(see the README there for a more detailed description).
`docs`:
......@@ -42,35 +42,22 @@ This directory contains:
`examples`:
This directory contains a collection of example Curry programs
and test files (prefixed by "test") to check the system using
the currytest tool. All tests can be executed by the shell script
`test.sh` in this directory.
and a shell script `test.sh` to test the basic functionality
of the system.
`frontend`:
This directory contains the Curry frontend, i.e., a parser for
Curry programs. It is adapted from the parser originally developed for the
[Muenster Curry Compiler](http://danae.uni-muenster.de/~lux/curry/).
`include`:
This directory contains some resources which are included
by various tools delivered with KiCS2.
`lib`:
This directory contains a collection of standard libraries
implemented in Curry (including the standard prelude).
This directory contains the standard libraries of PAKCS
(including the standard prelude).
`scripts`:
This directory contains some templates for scripts used in PAKCS.
`testsuite`:
This directory contains a collection of Curry programs
implementing unit tests to check the functionality of the system using
the currytest tool. All tests can be executed by the shell script
`doTest` in this directory. Since these test suite is based on
a test tool which is no longer supported, one should use the new
tests contained in `testsuite2`.
`testsuite2`:
This directory contains a collection of Curry programs
implementing unit and property tests to check the functionality
of the system using CurryCheck. All tests can be executed by the
......
......@@ -183,13 +183,11 @@ is an introduction to the Curry programming language suitable
for the beginner.
</blockquote>
<a href="http://www.informatik.uni-kiel.de/~pakcs/lib/">Libraries</a>
<a href="https://www-ps.informatik.uni-kiel.de/~cpm/pkgs/base.html">Libraries</a>
<blockquote>
The PAKCS distribution comes with a collection of libraries
for application programming.
The documentation of these libraries is generated by the <i>currydoc</i> tool,
which is optionally executed during the installation.
It allows a developer to navigate the interfaces of the libraries.
The PAKCS distribution comes with a collection of base libraries.
The source code of these libraries is containted in the <code>lib</code>
directory of the distribution.
</blockquote>
<a href="./examples/index.html">Examples</a>
......
......@@ -54,7 +54,7 @@ export PATH
# clean up before
$CURRYBIN/cleancurry -r
LOGFILE=xxx$$
LOGFILE=`pwd`/xxx$$
if [ $VERBOSE = yes ] ; then
exec_all_tests
......
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