Re: PPML

[Vincent.Prunet@sophia.inria.fr (Vincent Prunet)]

=> I try to compile my L-std.ppml on Centaur1.2
=> the compilation generates the file L-std.ll
=> but not the file module.LM.

A module.LM file may be generated by the ppml compiler when the compiler
option 'module is specified.

From a Buildfile, set the PPMLOPTIONS variable to 'module as in the following
example:

# $Id: Buildfile,v 1.2 92/01/08 13:12:25 fm Exp $
ROOTDIR=../../../../../
USERDIR=$(ROOTDIR)
MODNAME=centaur/tables/ppml/ppml/std
LANGUAGE=PPML
LANGDIR=../../
PPRINTER=std
ATFILE=
PPMLOPTIONS= 'module
#include ../../BuildppmlLM

When the compilation is performed from an interactive Centaur session, the
ppml environment code reads resources and calls the compiler with the same
options.

To have a module file generated for the std pretty printer of the L language,
set the resources:
Centaur.L.ppml.std.mode: compiled
Centaur.L.ppml.std.root: user  !!!! mandatory : does not work with app root.
Centaur.L.ppml.std.location: a/b/c

See also the function #:ppml-env:compile in centaur/tables/ppml/env/ppml.ll 

	Vincent Prunet