mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
17f380674b
This PR builds and stores the JNI library in a directory structured according to the OS and CPU architecture. This allows a single JAR to contain native JNI libraries for multiple OSes and CPU architectures simultaneously, and prevents file collisions when multiple JARs containing a native JNI library for the same OS but different architectures are added to the classpath.