X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2FDEVEL%2Fpxp%2Fpxp%2Fdoc%2FINSTALL.xml;fp=helm%2FDEVEL%2Fpxp%2Fpxp%2Fdoc%2FINSTALL.xml;h=0000000000000000000000000000000000000000;hp=ac7832dbb9a96eac70feee9442ca7cf2c510d6e5;hb=869549224eef6278a48c16ae27dd786376082b38;hpb=89262281b6e83bd2321150f81f1a0583645eb0c8 diff --git a/helm/DEVEL/pxp/pxp/doc/INSTALL.xml b/helm/DEVEL/pxp/pxp/doc/INSTALL.xml deleted file mode 100644 index ac7832dbb..000000000 --- a/helm/DEVEL/pxp/pxp/doc/INSTALL.xml +++ /dev/null @@ -1,171 +0,0 @@ - - -%common; - -PXP"> - -]> - - - The "pxp" package - Prerequisites -

-&m; requires that the netstring package - is already installed. &m; works -only with O'Caml 3.00 (the support for 2.04 has been dropped). -The installation -procedure defined in the Makefile requires findlib to workFindlib is a -package manager, see the file ABOUT-FINDLIB.. -

- - - Configuration -

-It is not necessary to configure PXP; but you can switch off the UTF-8 -support by setting the variable - - -UTF8_SUPPORT = no - - -in Makefile.conf. In this case, the UTF-8 modules are not even compiled. -- By default, the UTF-8 support is enabled. -

- -

-Note: Compiling the UTF-8 modules lasts 10 minutes on my 400 Mhz Pentium II; -if this is too long, you can set UTF8_SUPPORT to "no".

- - - Compilation -

-The Makefile defines the following goals: -

-
    -
  • -

    make all

    -

    compiles with the bytecode compiler and creates the files -pxp_types.cma, pxp_lex_iso88591.cma, pxp_lex_utf8.cma (*), pxp_engine.cma, -and pxp_utf8.cmo (*). The (*) files are not built if the UTF-8 support -is switched off.

    -
    • -
  • -

    make opt

    -

    compiles with the native compiler and creates the files -pxp_types.cmxa, pxp_lex_iso88591.cmxa, pxp_lex_utf8.cmxa (*), pxp_engine.cmxa, -and pxp_utf8.cmx (*). The (*) files are not built if the UTF-8 support -is switched off.

    -
    • -
- - - Installation -

-The Makefile defines the following goals:

-
    -
  • -

    make install

    -

    installs the bytecode archives, the interface definitions, and if -present, the native archives in the default location of findlib as -package "pxp" -

    -
    • -
  • -

    make uninstall

    -

    removes the package "pxp"

    -
    • -
  • -

    make markup-install

    -

    installs the Markup compatibility API as package "markup"

    -
    • -
  • -

    make markup-uninstall

    -

    removes the package "markup"

    -
    • -
- - - - Usage with the help of "findlib" -

You can refer to the parser as the findlib package "pxp": - - -ocamlfind ocamlc -package pxp ... - - -By default, the UTF-8 support modules will be linked in. If you do not need -them, you may define the predicate "pxp_without_utf8", which causes that the -UTF-8 relevant parts are not linked with your program; the difference in size -is about 1 MB: - - -ocamlfind ocamlc -package pxp -predicates pxp_without_utf8 ... - - -Note that you can also reduce the size of the resulting executable by -specifying Netstring-related predicates (e.g. netstring_only_iso); see the -documentation of Netstring. -

- - - - Linking with the archives directly -

If you need UTF-8 support, you must link your program as follows: - - -ocamlc ... pxp_types.cma pxp_lex_iso88591.cma pxp_lex_utf8.cma - pxp_engine.cma pxp_utf8.cmo ... - - -If you do not need UTF-8, the following suffices: - - -ocamlc ... pxp_types.cma pxp_lex_iso88591.cma pxp_engine.cma ... - - -

- - - - - The examples -

-In the "examples" directory you find several applications of &m;. They require -that &m; has been installed using findlib. See the Makefiles in the -directories for descriptions of "make" goals. -

- - - Trouble shooting - Solaris -

-The "make" utility of Solaris does not work properly enough; there is a bug -in it that prevents the so-called suffix rules from being recognized. There -are two solutions:

-
    -

  • Install GNU make and use it instead of Solaris make. This is -the recommended way to solve the problem, as GNU make can process almost -every Makefile from open source projects, and you will never have problems -with building software again.

    • -

  • Add the following lines to Makefile.code: - -%.cmx: %.ml - $(OCAMLOPT) -c $< - -%.cmo: %.ml - $(OCAMLC) -c $< - -%.cmi: %.mli - $(OCAMLC) -c $< - -%.ml: %.mll - ocamllex $< - -

    • -
- - - \ No newline at end of file