Add ODK configuration options for relax/reduce options.

Add two new options in the ODK configuration object:

* robot_relax_options, for options to pass to ROBOT's relax command;
* robot_reduce_options, for options to pass to ROBOT's reduce command.

This way users can override the ODK's default options for these
commands by editing their $(ONT)-odk.yaml file rather than by editing
their $(ONT).Makefile, because apparently editing a Makefile would be
much more difficult to users than editing the YAML configuration file.

This is absurd as editing the custom Makefile is in fact likely to be
much easier, since users can look at the standard Makefile to know what
the variables they must override are (RELAX_OPTIONS, REDUCE_OPTIONS),
whereas editing the YAML file will require them to look up the ODK
documentation to find out about `robot_relax_options` and
`robot_reduce_options`. But well, there is already so much absurd things
in the ODK than one or two more don't matter I guess.

Author: gouttegd

odk/odk.py

@@ -793,6 +793,12 @@ class OntologyProject(JsonSchemaMixin):
     obo_format_options : str = ""
     """Additional args to pass to robot when saving to obo. The default is '--clean-obo "strict drop-untranslatable-axioms"'."""
 
+    robot_relax_options : str = "--include-subclass-of true"
+    """Additional options to pass to robot's relax command."""
+
+    robot_reduce_options : str = "--include-subproperties true"
+    """Additional options to pass to robot's reduce command."""
+
     catalog_file : str = "catalog-v001.xml"
     """Name of the catalog file to be used by the build."""
 

template/src/ontology/Makefile.jinja2

@@ -68,8 +68,8 @@ OBO_FORMAT_OPTIONS =        {{ project.obo_format_options }}
 SPARQL_VALIDATION_CHECKS =  {% for x in project.robot_report.custom_sparql_checks|default(['owldef-self-reference', 'iri-range', 'label-with-iri', 'multiple-replaced_by']) %}{{ x }} {% endfor %}
 SPARQL_EXPORTS =            {% for x in project.robot_report.custom_sparql_exports|default(['basic-report', 'class-count-by-prefix', 'edges', 'xrefs', 'obsoletes', 'synonyms']) %}{{ x }} {% endfor %}
 ODK_VERSION_MAKEFILE =      {% if env is defined %}{{env['ODK_VERSION'] or "Unknown" }}{% else %}"Unknown"{% endif %}
-RELAX_OPTIONS =             --include-subclass-of true
-REDUCE_OPTIONS =            --include-subproperties true
+RELAX_OPTIONS =             {{ project.robot_relax_options }}
+REDUCE_OPTIONS =            {{ project.robot_reduce_options }}
 
 TODAY ?=                    $(shell date +%Y-%m-%d)
 OBODATE ?=                  $(shell date +'%d:%m:%Y %H:%M')