File	Date	Author	Commit
glafe	2025-11-12	Uwe Kastens	[19a6db] Specific.: READMEs updated, texpkg deleted
kwfilter	2025-11-12	Uwe Kastens	[19a6db] Specific.: READMEs updated, texpkg deleted
liga	2026-01-03	Uwe Kastens	[bc7348] liga/show/show.specs corrected
maptool	2025-11-12	Uwe Kastens	[19a6db] Specific.: READMEs updated, texpkg deleted
pdl	2025-11-12	Uwe Kastens	[19a6db] Specific.: READMEs updated, texpkg deleted
ptg	2025-11-12	Uwe Kastens	[19a6db] Specific.: READMEs updated, texpkg deleted
.gitignore	2020-08-29	William M Waite	[0a7cff] Add a Makefile for global operations
Makefile	2025-11-02	Uwe Kastens	[1c16b4] Specifications: major update of build process, ...
README	2025-11-02	Uwe Kastens	[1c16b4] Specifications: major update of build process, ...

Read Me

This directory contains Eli specifications of 11 tools that
are included in the Eli distribution as C source files:

glafe		Lexical analyzer front end
kwfilter	Processor for delit files
maptool		2 Processors for user mapping specifications (complete, ebnf)
pdl		Processor for the Property Definition Language

ptg		Processor for the Pattern Based Text Generator language

liga/frontend	processor for the first full phase of the Liga system,
liga/ligaProd	syntax checker for Lido, this phase precedes the frontend,
liga/backend	processor for the final phase of the Liga system,
liga/option     processor that allows to control the Liga system,
liga/show	processor that views the complete input to Liga in Eli.

See liga/README

When such a tool must be corrected or improved, the process should be:

1. Modify the tool specification in this directory
2. Use Eli to generate the "source" product (see the Eli "Products
   and Parameters Reference" manual)
3. Copy the generated "source" product to the Eli repository.

This directory contains a Makefile that provides the following
operations for the tools glafe, kwfilter, maptool, and pdl
(for ptg and the liga-tools see their README-files):

make		Construct the "source" product in every subdirectory
make help	Check that the "source" products are successfully compiled
make clean	Remove all constructed files

The names of the generated "source" products are enumerated
in this Makefile under "clean", e.g. "kwfilter/derivedSrcs".

For further information see the README files in the subdirectories.