]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/Makefile.conf
exported hbugsClient class so that it can be used from outside
[helm.git] / helm / DEVEL / pxp / pxp / Makefile.conf
1 # User-configurable section:
2
3 # yes or no: Do you want that the parser has support for the internal
4 # representation as UTF-8 strings? "yes" is recommended, but the parser
5 # becomes much bigger 
6 UTF8_SUPPORT = yes
7
8 # --- End of User-configurable section.
9
10 # Settings.
11
12 NAME = pxp
13 PACKAGES = netstring
14
15 # Caml objects that are needed by the lexers:
16 OBJECTS_types = \
17            pxp_types.cmo pxp_lexer_types.cmo
18
19 CMI_types = $(OBJECTS_types:.cmo=.cmi)
20
21 # Caml objects that depend on the lexers:
22 OBJECTS_engine = \
23            pxp_lexers.cmo \
24            pxp_dfa.cmo \
25            pxp_aux.cmo pxp_reader.cmo \
26            pxp_entity.cmo pxp_dtd.cmo pxp_document.cmo \
27            pxp_yacc.cmo pxp_codewriter.cmo
28
29 # Same as native objects:
30 XOBJECTS_types  = $(OBJECTS_types:.cmo=.cmx)
31 XOBJECTS_engine = $(OBJECTS_engine:.cmo=.cmx)
32
33 # .mli files to install:
34
35 MLI = pxp_document.mli pxp_dtd.mli \
36       pxp_types.mli pxp_yacc.mli \
37       pxp_codewriter.mli pxp_dfa.mli