| 41 |
- pcre-ocaml: you may also need to install the PCRE library |
- pcre-ocaml: you may also need to install the PCRE library |
| 42 |
from http://www.pcre.org/ |
from http://www.pcre.org/ |
| 43 |
|
|
|
./configure --prefix=<prefix directory> --disable-shared |
|
|
|
|
|
If pcre was installed in non standard place then in Makefile.conf: |
|
|
export STATIC = yes #this may help but first try without |
|
|
export INCDIRS := <prefix_directory>/include |
|
|
export LIBDIRS := <prefix_directory>/lib |
|
|
|
|
|
After make all && make opt: |
|
|
cd lib |
|
|
cp ../META . |
|
|
ocamlfind install pcre META *.a *.cma *.cmxa *.cmi *.mli |
|
|
|
|
| 44 |
- PXP: |
- PXP: |
| 45 |
CDuce requires a development version >= 1.1.93. |
CDuce requires a development version >= 1.1.93. |
| 46 |
|
|
| 72 |
- make webiface |
- make webiface |
| 73 |
compiles the CDuce web interface interpreter (to be used as a CGI script) |
compiles the CDuce web interface interpreter (to be used as a CGI script) |
| 74 |
|
|
| 75 |
- make local_website |
- make webpages |
| 76 |
compiles in the web/www/ subdirectory the HTML files for the CDuce website |
compiles in the web/www/ subdirectory the HTML files for the CDuce website |
| 77 |
(including the tutorial and manual) |
(including the tutorial and manual) |
| 78 |
|
|
| 79 |
|
- make install_web |
| 80 |
|
compiles webiface and webpages, and install everything (see Makefile.conf) |
| 81 |
|
|
| 82 |
- make all |
- make all |
| 83 |
equivalent to (make cduce; make dtd2cduce; make local_website) |
equivalent to (make cduce dtd2cduce webiface webpages) |
| 84 |
|
|
| 85 |
|
|
| 86 |
Makefile accepts the following options, which can take the values |
Makefile accepts the following options, which can take the values |
| 111 |
If you have the expat C library installed, you can build |
If you have the expat C library installed, you can build |
| 112 |
the OCaml wrapper: |
the OCaml wrapper: |
| 113 |
|
|
| 114 |
cd expact |
cd expat |
| 115 |
make all (* may need to modify Makefile.conf *) |
make all (* may need to modify Makefile.conf *) |
| 116 |
make install (* may require root privileges *) |
make install (* may require root privileges *) |
| 117 |
cd .. |
cd .. |