#!/bin/sh
#
# Settings for the TubMud mudlib.
#
# configure will strip this part from the script.

exec ./configure --prefix=/home/tubmud --bindir=/home/tubmud/mudbin --libdir=/home/tubmud/mudlib --libexec=/home/tubmud/mudbin/erqdir --with-setting=tubmud $*
exit 1

# --- The actual settings ---
with_master_name=kernel/master

# --- Timing ---
with_time_to_clean_up=10800
with_time_to_swap=900
with_time_to_swap_variables=2000
with_time_to_reset=2700

# --- Interpreter ---
with_max_user_trace=110
with_max_trace=120
with_max_local=50

# --- Communication ---
with_portno=7680
with_udp_port=7683

# --- Memory ---
with_reserved_user_size=800000

# --- Runtime limits ---
with_catch_reserved_cost=0x8000
with_master_reserved_cost=0x2000
with_max_players=70
with_max_malloced=0x06000000

# --- Internal Tables ---
with_max_array_size=0
with_max_mapping_size=0
with_htable_size=16384

# --- Language ---
enable_compat_mode=yes
enable_strict_euids=no
enable_lpc_nosave=yes
enable_initialization_by___init=no
enable_supply_parse_command=no
enable_use_deprecated=no
enable_use_alists=yes

# --- Compilation Options ---
enable_malloc_trace=yes
enable_malloc_lpc_trace=yes
enable_malloc_sbrk_trace=yes
