############ ENV VARIABLES YOU MUST SET YOURSELF ############

# Path to the jixia executable.
# For example, suppose jixia repo was cloned to `/home/tony/Desktop/jixia`. Then `JIXIA_PATH` should be set to `/home/tony/Desktop/jixia/.lake/build/bin/jixia`.
JIXIA_PATH = "/home/tony/Desktop/jixia/.lake/build/bin/jixia"

# System root of your Lean 4 installation
# This can be found by running `lake env` and copying the `LEAN_SYSROOT` line.
LEAN_SYSROOT = "/home/tony/.elan/toolchains/leanprover--lean4---v4.18.0"

# Connection string used to connect to the PostgreSQL database. 
# Use the postgres database name you created.
CONNECTION_STRING = "dbname=your_db_name"

# Name of the log file.
# Values: "" results in logging to console.
LOG_FILENAME = ""

# Log file mode.
# Values: "w" for overwriting and "a" for appending.
LOG_FILEMODE = "w"

# Log level.
LOG_LEVEL = "WARNING"