# Parameter definitions for thorn Formaline # $Header$ # Global parameters BOOLEAN verbose "Produce screen output" STEERABLE=always { } no REAL update_interval "Update interval for the meta information (in seconds)" STEERABLE=always { 0:* :: "" } 600.0 # Parameters for announcing meta information to the portal BOOLEAN announce_to_portal "Announce meta information to the portal" STEERABLE=always { } no STRING portal_hostname "Portal host name" STEERABLE=always { "" :: "" } "portal.cct.lsu.edu" INT portal_port "Portal port" STEERABLE=always { 1:65535 :: "" } 9296 STRING portal_username "User name on the portal" STEERABLE=always { "" :: "" } "" BOOLEAN use_relay_host "Use a relay host for connecting to the portal" STEERABLE=always { } yes STRING relay_host "Relay host for connecting to the portal" STEERABLE=always { ".+" :: "host name" "" :: "try to determine a relay host automatically" } "" # Parameters for storing meta information in a file BOOLEAN store_into_file "Store meta information in a file" STEERABLE=always { } yes STRING storage_filename "File name for meta information" STEERABLE=always { "" :: "" } "formaline-jar.txt" # Parameters for storing the source tree in the executable BOOLEAN output_source "Output a tarball with the cactus source tree" STEERABLE=recover { } yes STRING output_source_subdirectory "Subdirectory, relative to IO::out_dir, for the Cactus source tarballs" STEERABLE=recover { "" :: "" } "cactus-source" # Parameters for outputting Cactus variables STRING out_vars "Cactus variables that should be output" STEERABLE=always { "" :: "space separated list of groups or variables" } "" STRING out_reductions "Reduction operators that should be applied to the output variables" STEERABLE=always { "" :: "space separated list of reduction operators" } "minimum maximum norm1 norm2 norm_inf sum" # Parameters for outputting Cactus warnings and info messages INT max_warn_level "Only output warnings with at most this level of severity" { -1:* :: "" } 2 BOOLEAN output_info "Output info messages?" { } "yes" SHARES: IO USES STRING out_dir