| 1 |
## CDuce compilation options
|
| 2 |
##
|
| 3 |
## You can either modify this file, or run the configure script
|
| 4 |
|
| 5 |
# build CDuce using OCaml native code compiler
|
| 6 |
NATIVE = true
|
| 7 |
|
| 8 |
# profiling support
|
| 9 |
PROFILE = false
|
| 10 |
|
| 11 |
# .mli/.cmi file support to interface CDuce with OCaml.
|
| 12 |
# possible values: false, flat, tree
|
| 13 |
# - if ML_INTERFACE=flat, set ML_MODULES to a directory that
|
| 14 |
# contains all the compiled modules from the directory
|
| 15 |
# utils, parsing, typing of the OCaml compilers
|
| 16 |
# - if ML_INTERFACE=tree, set ML_MODULES to a directory
|
| 17 |
# with three subdirectories utils/ parsing/ typing/
|
| 18 |
# that contain the compiled modules
|
| 19 |
# (see cdo2cmo/Makefile for more details)
|
| 20 |
ML_INTERFACE = false
|
| 21 |
|
| 22 |
|
| 23 |
# use wlex lexers for parsing XML files with PXP
|
| 24 |
PXP_WLEX = false
|
| 25 |
|
| 26 |
# include support for expat
|
| 27 |
EXPAT = false
|
| 28 |
|
| 29 |
# use curl library to load remote xml files and schemas
|
| 30 |
CURL = false
|
| 31 |
|
| 32 |
# use netclient library to load remote xml files and schemas
|
| 33 |
NETCLIENT = true
|
| 34 |
|
| 35 |
# Installation directories
|
| 36 |
PREFIX = /usr/local
|
| 37 |
BINDIR = $(PREFIX)/bin
|
| 38 |
MANDIR = $(PREFIX)/man
|
| 39 |
|
| 40 |
# Customize the following variables to match the settings
|
| 41 |
# of your local web server
|
| 42 |
|
| 43 |
# Root directory of your local web-server
|
| 44 |
WEB_PREFIX = /var/www
|
| 45 |
|
| 46 |
# directory for installing the cgi-bin of the cduce interpreter
|
| 47 |
CGI_DIR = $(WEB_PREFIX)/cgi-bin
|
| 48 |
|
| 49 |
# installation directory for the website and man-pages
|
| 50 |
HTML_DIR = $(WEB_PREFIX)/html
|
| 51 |
|
| 52 |
# where temporary files of local interactive interpreter are put
|
| 53 |
SESSION_DIR = /tmp/cduce_sessions
|
| 54 |
|
| 55 |
# extension for programs (.exe under Cygwin)
|
| 56 |
EXE =
|
Parent Directory
| 
Revision Log