Include JavaDoc/sources for all solvers

[daniel-raffler]

Hello,

we're missing JavaDoc and/or sources for some of our solver backends:

• cvc4
• cvc5
• Princess (only JavaDoc missing)
• SmtInterpol (only JavaDoc missing)
• yices
• z3 legacy

Furthermore, the OpenSMT jar is compiled without debugging information. We should fix these issues, and include source for all solvers to help us with debugging

[kfriedberger]

It looks like we do not even publish JavaDoc-jars for JavaSMT itself. 😄
There is just the online-version: https://sosy-lab.github.io/java-smt/api/index.html

[daniel-raffler]

It looks like we do not even publish JavaDoc-jars for JavaSMT itself. 😄

Hello Karlheinz

I gave it a try in Intellij and it seems to be able to pull the JavaDocs from the sources (which we do ship). However, I'm not sure if this will work for all IDEs. Should I try adding the JavaDocs for JavaSMT aswell? This would probably mean that we have to split the contrib configuration into docs and sources

[kfriedberger]

The configuration "sources" and "javadoc" should be separate and do not depend on "contrib". We should provide individual jars for both configurations, just as it is applied for Z3 in our Ivy ( https://www.sosy-lab.org/ivy/org.sosy_lab/javasmt-solver-z3/ ).

[daniel-raffler]

I've now added a configuration for publishing the JavaDocs: 5f79946. The rest of the build scripts seem to be working fine and don't have to be updated

[kfriedberger]

While working on #637, I came across the issue, that Maven requires JavaDow for each release. That can be fixed/patched when releasing into Maven. However, I would like to see JavaDoc being also part of the Ivy-based publication process.

@daniel-raffler Can you create a proper PR for your branch such that we can analyse this and provide the next releases of JavaSMT and also all dependencies with proper JavaDoc-Jars. Thanks.

Can you also take a look at other projects of Sosy-Labs well, e.g., https://github.com/sosy-lab/java-common-lib . It looks like all Java-based software artifacts of Sosy-Lab share the same code Ant/for Ivy here, and we forgot to provide proper JavaDoc-Jars.

[daniel-raffler]

I've opened a PR here now. The fix for JavaSMT/common is quite easy as we are already building the JavaDoc and simply forgot to publish it