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