From 33846f488645d1821122f3aeeba6a8085adeeffe Mon Sep 17 00:00:00 2001 From: Alexander Kriegisch Date: Thu, 10 Jun 2021 12:11:03 +0700 Subject: Document build profiles and properties in docs/developer/BUILD.md In doing so, I also noticed a few things in need of improvement. So, documenting the build also drive those enhancements, such as - the new 'fast-build' profile skipping test compilation and execution as well as documentation generation, - an option to skip generating source assemblies, - to skip unzipping source assemblies if javadoc generation for them is to be skipped too, - activating the 'create-docs' profile by property which is true by default instead of using 'activeByDefault=true', because the latter does not work reliably if other profiles are activated manually according to a Maven bug that was closed as "won't fix", - no longer generating separate javadocs for the 'runtime' module, because that module is not deployed and the main artifacts recreate Javadocs from scratch for all of their constituent sources anyway. Signed-off-by: Alexander Kriegisch --- aspectjrt/pom.xml | 3 +++ 1 file changed, 3 insertions(+) (limited to 'aspectjrt') diff --git a/aspectjrt/pom.xml b/aspectjrt/pom.xml index b4e73c1fa..3937407f4 100644 --- a/aspectjrt/pom.xml +++ b/aspectjrt/pom.xml @@ -48,6 +48,8 @@ false + + false @@ -139,6 +141,7 @@ true + ${maven.source.skip} -- cgit v1.2.3