import random
import time

import Crux

version = "1.2.0"

prefix = "/usr/local"
bindir = "/usr/local/bin"
datadir = "/usr/local/share"
mandir = "/usr/local/man"

debug = (True if 0 else False)
mpi = (True if 0 else False)

# Defaults for when Crux is imported by an application other than the crux
# front end.
batch = True
verbose = True
threaded = False
Crux.seed(int(time.time() * 1000000) & 0xffffffff) # Sets Config.seed.
infile = None
scriptargs = []
