X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fpxp%2Fpxp%2FMakefile.conf;fp=helm%2FDEVEL%2Fpxp%2Fpxp%2FMakefile.conf;h=749c702c7e1a9ddb33857618aa6fefbe1e82b322;hb=c03d2c1fdab8d228cb88aaba5ca0f556318bebc5;hp=0000000000000000000000000000000000000000;hpb=758057e85325f94cd88583feb1fdf6b038e35055;p=helm.git

diff --git a/helm/DEVEL/pxp/pxp/Makefile.conf b/helm/DEVEL/pxp/pxp/Makefile.conf
new file mode 100644
index 000000000..749c702c7
--- /dev/null
+++ b/helm/DEVEL/pxp/pxp/Makefile.conf
@@ -0,0 +1,37 @@
+# User-configurable section:
+
+# yes or no: Do you want that the parser has support for the internal
+# representation as UTF-8 strings? "yes" is recommended, but the parser
+# becomes much bigger 
+UTF8_SUPPORT = yes
+
+# --- End of User-configurable section.
+
+# Settings.
+
+NAME = pxp
+PACKAGES = netstring
+
+# Caml objects that are needed by the lexers:
+OBJECTS_types = \
+           pxp_types.cmo pxp_lexer_types.cmo
+
+CMI_types = $(OBJECTS_types:.cmo=.cmi)
+
+# Caml objects that depend on the lexers:
+OBJECTS_engine = \
+	   pxp_lexers.cmo \
+           pxp_dfa.cmo \
+	   pxp_aux.cmo pxp_reader.cmo \
+           pxp_entity.cmo pxp_dtd.cmo pxp_document.cmo \
+	   pxp_yacc.cmo pxp_codewriter.cmo
+
+# Same as native objects:
+XOBJECTS_types  = $(OBJECTS_types:.cmo=.cmx)
+XOBJECTS_engine = $(OBJECTS_engine:.cmo=.cmx)
+
+# .mli files to install:
+
+MLI = pxp_document.mli pxp_dtd.mli \
+      pxp_types.mli pxp_yacc.mli \
+      pxp_codewriter.mli pxp_dfa.mli