+# We will use the libucw build system
+include $(s)/build/Maketop
+
+# Include makefiles of libraries we wish to use
+ifdef CONFIG_UCW_LIBS
+include $(s)/lib/Makefile
+include $(s)/sherlock/Makefile
+# Disable built-in tests of these libraries
+TESTS=
+endif
+
+include $(s)/box/Makefile
+include $(s)/utils/Makefile
+include $(s)/eval/Makefile
+include $(s)/judge/Makefile
+include $(s)/submit/Makefile
+
+# And finally the default rules of the build system
+include $(s)/build/Makebottom