Commit dd260b2
committed
Use the new
Use ROBOT's new `--clean-obo` option when producing the OBO artefacts.
Since there is already a `obo_format_options` in the ODK configuration,
we reuse it, and set the default value to
--clean-obo 'strict drop-untranslatable-axioms'
We default to dropping the untranslatable axioms because this has always
been the standard behaviour of the ODK (before this option existed, this
was done by forcibly grepping out the `owl-axioms` tag from the OBO
files).
I would prefer to default to `--clean-obo simple`, which has the
additional effect of forcibly removing GCI axioms. However this is a
consequential change, one that we should probably not force upon our
users.
We set the default value using some custom code, instead of statically
when declaring the `obo_format_options` field. This way, if a user has
already set this option to something in her configuration file, she will
still get the default behaviour of dropping the untranslatable axioms.
But we do _not_ touch the value set by the user if it already contains a
`--clean-obo` flag.--clean-obo option.1 parent bf0becb commit dd260b2
2 files changed
Lines changed: 11 additions & 5 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
791 | 791 | | |
792 | 792 | | |
793 | 793 | | |
794 | | - | |
| 794 | + | |
795 | 795 | | |
796 | 796 | | |
797 | 797 | | |
| |||
854 | 854 | | |
855 | 855 | | |
856 | 856 | | |
857 | | - | |
| 857 | + | |
| 858 | + | |
858 | 859 | | |
859 | 860 | | |
860 | 861 | | |
| |||
867 | 868 | | |
868 | 869 | | |
869 | 870 | | |
| 871 | + | |
| 872 | + | |
| 873 | + | |
| 874 | + | |
| 875 | + | |
870 | 876 | | |
871 | 877 | | |
872 | 878 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
917 | 917 | | |
918 | 918 | | |
919 | 919 | | |
920 | | - | |
| 920 | + | |
921 | 921 | | |
922 | 922 | | |
923 | 923 | | |
| |||
1249 | 1249 | | |
1250 | 1250 | | |
1251 | 1251 | | |
1252 | | - | |
| 1252 | + | |
1253 | 1253 | | |
1254 | 1254 | | |
1255 | 1255 | | |
| |||
1287 | 1287 | | |
1288 | 1288 | | |
1289 | 1289 | | |
1290 | | - | |
| 1290 | + | |
1291 | 1291 | | |
1292 | 1292 | | |
1293 | 1293 | | |
| |||
0 commit comments