60e51fd2764291df2332f36ff478777627d92b57Sumit Bose# This file is not supposed to be edited by an admin. The values here can not be
60e51fd2764291df2332f36ff478777627d92b57Sumit Bose# overridden in other settings files.
60e51fd2764291df2332f36ff478777627d92b57Sumit Bose version_minimum_version: 0.99
60e51fd2764291df2332f36ff478777627d92b57Sumit Bose version_minimum_revision: 1439380563
60e51fd2764291df2332f36ff478777627d92b57Sumit Bose stack_size: 1G
60e51fd2764291df2332f36ff478777627d92b57Sumit Bose cmd_line_options:
60e51fd2764291df2332f36ff478777627d92b57Sumit Bose - '--full-signatures'
60e51fd2764291df2332f36ff478777627d92b57Sumit Bose - '-casl-amalg=none'
60e51fd2764291df2332f36ff478777627d92b57Sumit Bose - '+RTS -K1G -RTS'
60e51fd2764291df2332f36ff478777627d92b57Sumit Bose - '--full-theories'
60e51fd2764291df2332f36ff478777627d92b57Sumit Bose - '--apply-automatic-rule'
60e51fd2764291df2332f36ff478777627d92b57Sumit Bose server_options:
60e51fd2764291df2332f36ff478777627d92b57Sumit Bose - '--casl-amalg=none'
60e51fd2764291df2332f36ff478777627d92b57Sumit Bose - '--apply-automatic-rule'
69fb159e1464ef91376f56e65afa9704d5bafad8Lukas Slebodnik # Environment variables to set for running Hets