Z3Prover/z3

Bundling Dynamic Libraries Inside JAR for Ease of Redistribution

Fermée

#182 ouverte le 31 juil. 2015

Voir sur GitHub
 (14 commentaires) (6 réactions) (1 personne assignée)C++ (1 445 forks)batch import
build/releaseenhancementhelp wanted

Métriques du dépôt

Stars
 (9 468 étoiles)
Métriques de merge PR
 (Merge moyen 1j 16h) (110 PRs mergées en 30 j)

Description

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.

Guide contributeur

Direction de recherche
Recherchez comment regrouper les bibliotheques dynamiques natives (par exemple, les fichiers .so) dans des fichiers JAR a l'aide d'outils comme maven nativedependencies plugin ou jnigen. Inspirez vous d'exemples existants dans des projets comme SQLite JDBC ou LWJGL.
Stack technique
java
Domaine
backendapibuild system
Type d'issue
Fonctionnalité
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
3
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-2 jours
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
JavaMaven or GradleNative library linking
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
40