+# Disable built-in tests and documentation of these libraries
+TESTS=
+DOCS=
+DOC_INDICES=
+endif
+
+include $(s)/box/Makefile
+include $(s)/isolate/Makefile
+include $(s)/utils/Makefile
+include $(s)/eval/Makefile
+include $(s)/judge/Makefile
+
+ifdef CONFIG_SUBMIT
+include $(s)/submit/Makefile