#!/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

with_udp_port=7683

with_time_to_clean_up=10800
with_time_to_swap=900
with_time_to_swap_variables=2000
with_time_to_reset=2700

with_max_user_trace=110
with_max_trace=120
with_max_local=50

with_portno=7680

with_max_players=70

with_reserved_user_size=800000

with_catch_reserved_cost=0x8000
with_master_reserved_cost=0x2000

with_max_array_size=0
with_max_mapping_size=0
with_htable_size=16384

enable_compat_mode=yes
enable_strict_euids=no

enable_lpc_nosave=yes
enable_supply_parse_command=no
enable_initialization_by___init=no
