Z3Prover/z3
Bundling Dynamic Libraries Inside JAR for Ease of Redistribution
クローズ
#182 opened on 2015/07/31
build/releaseenhancementhelp wanted
Repository metrics
- Stars
- (9,468 個のスター)
- PR merge metrics
- (平均マージ 1d 16h) (30d で 110 merged PRs)
説明
Currently to use the Java API on Linux platform, the developer must explicitly compile and link the dynamic libraries.
It would be much easier to integrate Z3 to an existing Java project if it could bundle dependencies in just one or multiple JAR files. These JAR file(s) should contain the required dynamic libraries for the specific platform.