### Configuration file for Camlot

# Location of the Gnu make utility
GNUMAKE=/usr/local/bin/gnumake

# Location of the Caml Light compiler
ZC=camlc

# Location of the Caml Light lex tool
LEX=camllex

# Location of the Caml Light yacc tool
YACC=camlyacc

# Options to $(ZC)
ZFLAGS=

# Which C compiler to use (must be ANSI compliant)
CC=gcc -DANSI

# Optimizing options to $(CC)
CFLAGS=-O3

# C beautifier
CB=cb

# Where public executables reside
BINDIR=/usr/local/bin

# Where the Camlot standard library will reside
LIBDIR=/usr/local/lib/camlot

# Location of the temporary directory
TMP=/tmp

# The manual section where the manual pages should be installed
MANEXT=1

# The directory where the manual pages should be installed
MANDIR=/usr/local/man/man$(MANEXT)

### End of configuration file
