config.make

### config.make

# You can set build options in this file instead of passing them on
# the command line. Please consult the README file for more
# information.


# Select platform to use:
#PLATFORM=linux

# Installation prefix:
#PREFIX=/usr/local


### The options below are optional and should be used with care

# Disable optimizations:
#DEBUGBUILD=1

# Build static runtime library only:
#STATICBUILD=1

# Enable GC of symbols:
#SYMBOLGC=1

# Use alternative C compiler
#C_COMPILER=

# Add additional C compiler options:
#C_COMPILER_OPTIMIZATION_OPTIONS=...

# Use alternative resource compiler (for Win32 builds)
#RC_COMPILER=

# Choose prefix to be added to installed programs:
#PROGRAM_PREFIX= 

# Choose suffix to be added to installed programs:
#PROGRAM_SUFFIX=

# Specification of host (build) system (machine + platform) for cross-compiling:
#HOSTSYSTEM=

# Specification of target (runtime) system for cross-compiling:
#TARGETSYSTEM= 

# Where the install-location of a cross-build is
#TARGET_PREFIX=

# Specify that the sources are in a different directory than ".":
#SRCDIR=

# Use alternative directory for installed binary extensions:
#VARDIR=