-
Notifications
You must be signed in to change notification settings - Fork 8
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
1200 call hets with auto #1201
1200 call hets with auto #1201
Conversation
@@ -4,7 +4,7 @@ class ParseCaller < Caller | |||
# arguments: `hets +RTS -K1G -RTS -a none` | |||
MODE_ARGUMENTS = { | |||
fast_run: %w(just-structured), | |||
default: %w(full-signatures full-theories) | |||
default: %w(full-signatures full-theories auto) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Style/TrailingComma: Put a comma after the last item of a multiline hash.
-A seems to be the equivalent of auto in command-line mode.
b8f0f01
to
b59903f
Compare
wow, that was quick. While we are changing the options: could you also please add the option |
Inside of the hets.yml there is a key server_options which will allow us to pass arguments to the hets-server instance which is managed by god or by the rake task (which is in turn called by invoker in development). As an additional gimmick: The rake task for hets now uses the search-paths in the hets.yml.
Should be done with a6ef163 for |
👍, but I prefer |
Shall solve #1200.