Downloads

For running CDET you need the following:

• The Glasgow Haskell Compiler GHC version 6.4 or above.
• The revision control system DARCS.
• The revision control system subversion.

And of course CDET itself, which consists of the consistency checker's source code and the DTDs for rules, languages, etc. You might want to need the DTDs in order to check whether your XML languages and XML rules are valid XML documents. The DTDs are not needed by CDET itself; it just assumes that your XML documents are valid. The following versions are available.

• cdet-src_2005-09-07.tar.gz dtds_2005-09-07.tar.gz
  tested with DARCS 1.0.4 and subversion 1.1

Installation Instructions

For installing CDET, just grab the tar ball and unpack it. In the src sub directory you should invoke

autoconf

which creates the configure script. For compiling CDET with file system support only, simply type

./configure

for darcs support add the option --enable-darcs=<darcs_dir> (where <darcs_dir> is the directory of your darcs sources); for subversion support add the option --enable-svn. By typing

./configure --help

you can see a list of all available options. The configure script shows a short summary of the CDET compile options. Now a simple

make

should compile CDET. By

make install

you copy CDET into your /usr/local/bin directory.

Last modified: Wed Sep 7 07:25:32 CEST 2005