]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/pxp/pxp/Makefile.conf
This commit was manufactured by cvs2svn to create branch 'init'.
[helm.git] / helm / DEVEL / pxp / pxp / Makefile.conf
diff --git a/helm/DEVEL/pxp/pxp/Makefile.conf b/helm/DEVEL/pxp/pxp/Makefile.conf
deleted file mode 100644 (file)
index 749c702..0000000
+++ /dev/null
@@ -1,37 +0,0 @@
-# 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