notes.txt

This contains repository notes, not to be distributed with CPSA.

CABAL FILE MAINTENANCE

To build tst portion of the extra source files field of the Cabal
file, git clean the tst directory, type "ls -1 tst/*.tst > x", and add
two spaces to the beginning of each line in file x.  In the cabal
file, delete the tst section of the field, add in two lines, insert
file x between the lines, add "tst/README" and "tst/Makefile", fill
the region, and then delete the two lines.

MAKE A DISTRIBUTION

To make a source distribution, type:

make sdist

VERSIONING

Make sure the version number in cpsa.cabal matches the one in
doc/src/macros.tex and in doc/src/cpsa4manual/macros.tex.  

TESTING

Expand the source distribution, build the program, and then run the
test suite.  There should be no differences reported.

--------------------------------------------

PROFILING

Install profiling parallel package with

$ cabal install -p --lib parallel --reinstall

Configure with

$ cabal configure --enable-profiling

Edit the cpsa4 GHC-Options to include "-fprof-auto -with-rtsopts=-p".