This is all work in progress (including this documentation)!
pfe
pfesetup
cert
pfebrowser
pfebrowser
these are all command-line tools.
We also provide a version of the Haskell 98 Prelude
and standard
libraries for use with PFE.
/home/projects/pacsoft/tools/bin
The./configure make make install
Makefile
in this directory has the following useful targets:
all
(this is the default)
bin/
and lib/
subdirectories containing a template of the things
that get installed by make install
.
install
make PREFIX=...
to control where things get installed.
tar
clean
To test the tools without installing them first, add the
bin/
subdirectory to your $PATH
and
set $PROGRAMATICA
to point to the lib/Programatica
subdirectory.
Some additional test programs can be compiled by going
to one of the subdirectories running the command make
there.
In some of the directories, you can choose compilation method (Humake, or ghc --make) by changing the definition of HMAKE in the Makefile...
Directory | Description |
---|---|
base
| Extensible Haskell front-end and base language (Haskell 98) tools. There is a README file with further details. |
pfe
| PFE - the preliminary front-end framework and command-line tools. |
property
| Extension of the base language with P-Logic property declarations, including a new parser and an extended type checker. (An awful lot of work for a small extension...) |
hs2html
| Haskell to HTML translator. (Little extra work for a potentially useful tool.) |
hs2alfa
| Haskell to Alfa translator. |
hs2stratego
| Haskell to Stratego translator. |
hsutils
| Spin-off Haskell utility programs. |
evman
| Files relating to evidence (certificate) management, in particular
the command line tool cert and the implementation of
the certificate servers.
|