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=0000000000000000000000000000000000000000;hb=869549224eef6278a48c16ae27dd786376082b38;hp=749c702c7e1a9ddb33857618aa6fefbe1e82b322;hpb=89262281b6e83bd2321150f81f1a0583645eb0c8;p=helm.git

diff --git a/helm/DEVEL/pxp/pxp/Makefile.conf b/helm/DEVEL/pxp/pxp/Makefile.conf
deleted file mode 100644
index 749c702c7..000000000
--- a/helm/DEVEL/pxp/pxp/Makefile.conf
+++ /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