]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/pxp/pxp/Makefile.conf
Initial revision
[helm.git] / helm / DEVEL / pxp / pxp / Makefile.conf
diff --git a/helm/DEVEL/pxp/pxp/Makefile.conf b/helm/DEVEL/pxp/pxp/Makefile.conf
new file mode 100644 (file)
index 0000000..749c702
--- /dev/null
@@ -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