search

jonaprieto / online-atps

Run ATPs from SystemOnTPTP
MIT License
6 stars 1 forks source link

Use YALM configuration like Apia #3

Closed jonaprieto closed 8 years ago

jonaprieto commented 8 years ago

Incorporate this feature to the code base. Most of the job is already done.

partial implementation: https://gist.github.com/jonaprieto/19d412c6025c4a073716690e36f246e6

yaml: https://gist.github.com/jonaprieto/d9d8211b63291660dc0883f8e93941f0

jonaprieto commented 8 years ago

This is a better approach to handle Yaml in a general case. https://gist.github.com/jonaprieto/fa830b8a49fe170d86fbcc27e9e43ff0 but remember that our case must combine three yamls.