cgi-bin/viewcvs.cgi/Makefile.conf.template

## CDuce compilation options
##
## You can either modify this file, or run the configure script

# build CDuce using OCaml native code compiler
NATIVE = true

# profiling support
PROFILE = false

# .mli/.cmi file support to interface CDuce with OCaml.
# possible values: false, flat, tree
# - if ML_INTERFACE=flat, set ML_MODULES to a directory that
#   contains all the compiled modules from the directory
#   utils, parsing, typing of the OCaml compilers
# - if ML_INTERFACE=tree, set ML_MODULES to a directory
#   with three subdirectories utils/ parsing/ typing/
#   that contain the compiled modules
# (see cdo2cmo/Makefile for more details)
ML_INTERFACE = false


# use wlex lexers for parsing XML files with PXP
PXP_WLEX = false

# include support for expat
EXPAT = false

# use curl library to load remote xml files and schemas
CURL = false

# use netclient library to load remote xml files and schemas
NETCLIENT = true

# Installation directories
PREFIX = /usr/local
BINDIR = $(PREFIX)/bin
MANDIR = $(PREFIX)/man

# Customize the following variables to match the settings
# of your local web server

# Root directory of your local web-server
WEB_PREFIX = /var/www

# directory for installing the cgi-bin of the cduce interpreter
CGI_DIR = $(WEB_PREFIX)/cgi-bin

# installation directory for the website and man-pages
HTML_DIR = $(WEB_PREFIX)/html

# where temporary files of local interactive interpreter are put
SESSION_DIR = /tmp/cduce_sessions

# extension for programs (.exe under Cygwin)
EXE =
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 =