[DRAFT] Fix warnings in native build

[hernanponcedeleon]

The native build has currently these warnings about the libraries

[WARNING] Ignoring ImageClasspath Entry 'org.sosy-lab:javasmt-solver-z3:so:libz3-x64:4.14.0:compile' with unsupported type 'so'
[WARNING] Ignoring ImageClasspath Entry 'org.sosy-lab:javasmt-solver-z3:so:libz3java-x64:4.14.0:compile' with unsupported type 'so'
[WARNING] Ignoring ImageClasspath Entry 'org.sosy-lab:javasmt-solver-bitwuzla:so:libbitwuzlaj:0.4.0-g4dbf3b1f:compile' with unsupported type 'so'
[WARNING] Ignoring ImageClasspath Entry 'org.sosy-lab:javasmt-solver-mathsat5:so:libmathsat5j:5.6.10:compile' with unsupported type 'so'
[WARNING] Ignoring ImageClasspath Entry 'org.sosy-lab:javasmt-solver-boolector:so:libboolector:3.2.2-g1a89c229:compile' with unsupported type 'so'
[WARNING] Ignoring ImageClasspath Entry 'org.sosy-lab:javasmt-solver-boolector:so:libminisat:3.2.2-g1a89c229:compile' with unsupported type 'so'
[WARNING] Ignoring ImageClasspath Entry 'org.sosy-lab:javasmt-solver-boolector:so:libpicosat:3.2.2-g1a89c229:compile' with unsupported type 'so'
[WARNING] Ignoring ImageClasspath Entry 'org.sosy-lab:javasmt-solver-cvc4:so:libcvc4:1.8-prerelease-2020-06-24-g7825d8f28:compile' with unsupported type 'so'
[WARNING] Ignoring ImageClasspath Entry 'org.sosy-lab:javasmt-solver-cvc4:so:libcvc4jni:1.8-prerelease-2020-06-24-g7825d8f28:compile' with unsupported type 'so'
[WARNING] Ignoring ImageClasspath Entry 'org.sosy-lab:javasmt-solver-cvc4:so:libcvc4parser:1.8-prerelease-2020-06-24-g7825d8f28:compile' with unsupported type 'so'
[WARNING] Ignoring ImageClasspath Entry 'org.sosy-lab:javasmt-solver-cvc5:so:libcvc5:1.0.5-g4cb2ab9eb:compile' with unsupported type 'so'
[WARNING] Ignoring ImageClasspath Entry 'org.sosy-lab:javasmt-solver-cvc5:so:libcvc5jni:1.0.5-g4cb2ab9eb:compile' with unsupported type 'so'
[WARNING] Ignoring ImageClasspath Entry 'org.sosy-lab:javasmt-solver-cvc5:so:libcvc5parser:1.0.5-g4cb2ab9eb:compile' with unsupported type 'so'
[WARNING] Ignoring ImageClasspath Entry 'org.sosy-lab:javasmt-solver-cvc5:so:libpoly:1.0.5-g4cb2ab9eb:compile' with unsupported type 'so'
[WARNING] Ignoring ImageClasspath Entry 'org.sosy-lab:javasmt-solver-cvc5:so:libpolyxx:1.0.5-g4cb2ab9eb:compile' with unsupported type 'so'
[WARNING] Ignoring ImageClasspath Entry 'org.sosy-lab:javasmt-solver-opensmt:so:libopensmt:2.6.0-g2f72cc0e:compile' with unsupported type 'so'
[WARNING] Ignoring ImageClasspath Entry 'org.sosy-lab:javasmt-solver-opensmt:so:libopensmtjava:2.6.0-g2f72cc0e:compile' with unsupported type 'so'
[WARNING] Ignoring ImageClasspath Entry 'org.sosy-lab:javasmt-solver-yices2:so:libyices2j:2.6.2-396-g194350c1:compile' with unsupported type 'so'

The changes solve the problem on linux, but I assume we have the same issue on MacOS (@ThomasHaas can you check?) and windows (IIRC @xeren has a windows environment; can you check there?) and we also need to add the "provided scope" there, thus the DRAFT status

[ThomasHaas]

[INFO] [graalvm reachability metadata repository for ch.qos.logback:logback-classic:1.4.14]: Configuration directory not found. Trying latest version.
[INFO] [graalvm reachability metadata repository for ch.qos.logback:logback-classic:1.4.14]: Configuration directory is ch.qos.logback/logback-classic/1.4.9
[WARNING] Ignoring ImageClasspath Entry 'org.sosy-lab:javasmt-solver-z3:dylib:libz3-arm64:4.14.0:compile' with unsupported type 'dylib'
[WARNING] Ignoring ImageClasspath Entry 'org.sosy-lab:javasmt-solver-z3:dylib:libz3java-arm64:4.14.0:compile' with unsupported type 'dylib'
[INFO] Skipping CycloneDX goal
[WARNING] No jdk toolchain configuration found

[hernanponcedeleon]

[WARNING] Ignoring ImageClasspath Entry 'org.sosy-lab:javasmt-solver-z3:dylib:libz3-arm64:4.14.0:compile' with unsupported type 'dylib'
[WARNING] Ignoring ImageClasspath Entry 'org.sosy-lab:javasmt-solver-z3:dylib:libz3java-arm64:4.14.0:compile' with unsupported type 'dylib'

Can you try again?

[WARNING] No jdk toolchain configuration found

This one I am still trying to figure out what the problem is

[ThomasHaas]

The warnings are gone. The only warnings I get now are

[WARNING] Parameter 'initializeAtBuildTime' is unknown for plugin 'native-maven-plugin:0.11.3:compile (default)'
[WARNING] Parameter 'noFallback' is unknown for plugin 'native-maven-plugin:0.11.3:compile (default)'
[WARNING] Parameter 'initializeAtBuildTime' is unknown for plugin 'native-maven-plugin:0.11.3:compile (default)'
[WARNING] Parameter 'noFallback' is unknown for plugin 'native-maven-plugin:0.11.3:compile (default)'
...
[WARNING] warning(184): LitmusRISCV.g4:67:0: One of the token AssertionListExpectationTest values unreachable. tso is always overlapped by token Tso
[WARNING] /Users/thomashaas/IdeaProjects/Dat3M/LitmusRISCV.g4 [67:0]: One of the token AssertionListExpectationTest values unreachable. tso is always overlapped by token Tso
...
[WARNING] warning(184): LitmusC.g4:15:0: One of the token C11AtomicAdd values unreachable. atomic_fetch_add is always overlapped by token AtomicFetchAdd
[WARNING] /Users/thomashaas/IdeaProjects/Dat3M/LitmusC.g4 [15:0]: One of the token C11AtomicAdd values unreachable. atomic_fetch_add is always overlapped by token AtomicFetchAdd
[WARNING] warning(184): LitmusC.g4:17:0: One of the token C11AtomicSub values unreachable. atomic_fetch_sub is always overlapped by token AtomicFetchSub
[WARNING] /Users/thomashaas/IdeaProjects/Dat3M/LitmusC.g4 [17:0]: One of the token C11AtomicSub values unreachable. atomic_fetch_sub is always overlapped by token AtomicFetchSub

The warnings about ANTLR grammars exist since forever. But I'm not sure about the first 4 one's.

[hernanponcedeleon]

[WARNING] Parameter 'initializeAtBuildTime' is unknown for plugin 'native-maven-plugin:0.11.3:compile (default)'
[WARNING] Parameter 'noFallback' is unknown for plugin 'native-maven-plugin:0.11.3:compile (default)'
[WARNING] Parameter 'initializeAtBuildTime' is unknown for plugin 'native-maven-plugin:0.11.3:compile (default)'
[WARNING] Parameter 'noFallback' is unknown for plugin 'native-maven-plugin:0.11.3:compile (default)'

Do you also get these in development?

The warnings about ANTLR grammars exist since forever.

I already fixed these in the telechat branch

[ThomasHaas]

[WARNING] Parameter 'initializeAtBuildTime' is unknown for plugin 'native-maven-plugin:0.11.3:compile (default)'
[WARNING] Parameter 'noFallback' is unknown for plugin 'native-maven-plugin:0.11.3:compile (default)'
[WARNING] Parameter 'initializeAtBuildTime' is unknown for plugin 'native-maven-plugin:0.11.3:compile (default)'
[WARNING] Parameter 'noFallback' is unknown for plugin 'native-maven-plugin:0.11.3:compile (default)'

Do you also get these in development?

yep