Skip to content

Update dependency JARs + Gradle management#271

Merged
davexparker merged 5 commits intoprismmodelchecker:masterfrom
davexparker:jars
Feb 15, 2026
Merged

Update dependency JARs + Gradle management#271
davexparker merged 5 commits intoprismmodelchecker:masterfrom
davexparker:jars

Conversation

@davexparker
Copy link
Member

  1. Add version numbers to .jar files in lib.

  2. JAR updates

    • Update Log4j jar (to version 2.17.1).
    • Updates to JFreeChart (1.0.14) and JCommon (1.0.17)
    • Updated files, but same version: colt-1.2.0.jar, jas-2.7.90.jar
    • Add transitive dependencies: bcmail, bcprov, concurrent, error_prone_annotations, itext, xml-apis)
    • Update jar files in lib/ to align with Maven-available files.
    • Convert pepa library from .zip to .jar file.
  3. Local (Gradle-based) management of dependent jars, kept in lib.
    To find dependencies and copy into lib:

    • gradle -p etc/jars syncLibs

    To see what changed:

    • git diff lib

    To remove files in lib in order to re-run:

    • gradle -p etc/jars cleanLibs

    To print dependency tree:

    • gradle -p etc/jars dependencies --configuration runtimeClasspath

@davexparker davexparker force-pushed the jars branch 3 times, most recently from b8e520e to 3bea7b9 Compare February 10, 2026 09:12
- updates to JFreeChart (1.0.14) and JCommon (1.0.17)
- updated files, but same eversion: colt-1.2.0.jar, jas-2.7.90.jar
- add transitive dependencies
  (bcmail, bcprov, concurrent, error_prone_annotations, itext, xml-apis)
To find dependencies and copy into lib:

* gradle -p etc/jars syncLibs

To see what changed:

* git diff lib

To remove files in lib in order to re-run:

* gradle -p etc/jars cleanLibs

To print dependency tree:

* gradle -p etc/jars dependencies --configuration runtimeClasspath
@davexparker davexparker merged commit d6405de into prismmodelchecker:master Feb 15, 2026
6 checks passed
@davexparker davexparker deleted the jars branch February 15, 2026 19:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant

Comments