+# Include makefiles of libraries we wish to use
+ifdef CONFIG_UCW_LIBS
+include $(s)/ucw/Makefile
+include $(s)/sherlock/Makefile
+# 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
+endif
+
+ifdef CONFIG_MOP
+include $(s)/mop/Makefile
+endif
+
+# And finally the default rules of the build system
+include $(BUILDSYS)/Makebottom