Merge pull request #10494 from obophenotype/qc-ro

Add minimal RO QC
obophenotype · Apr 26, 2024 · 0dab79a · 0dab79a
2 parents a40cfe6 + 2a091bd
commit 0dab79a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/ontology/hp.Makefile b/src/ontology/hp.Makefile
@@ -71,7 +71,7 @@ test_obo: test.owl
 
 # Tests that the full hp.owl including imports is logically consistent
 consistency:
-	$(ROBOT) reason --input $(SRC) --reasoner ELK --output test.owl && rm test.owl && echo "Success"
+	$(ROBOT) merge --input $(SRC) -I http://purl.obolibrary.org/obo/ro.owl reason --reasoner ELK --output test.owl && rm test.owl && echo "Success"
 
 fastobo: hp.obo
 	fastobo-validator $<