Skip to content

[IDEA] Introduce Dependency Management (e.g. Gradle or Maven) #52

Closed
#326
Closed
[IDEA] Introduce Dependency Management (e.g. Gradle or Maven)#52
#326
Labels
enhancementNew feature or request

Description

@NicoPiel
NicoPiel
opened on Apr 21, 2025

(fill in later)

Activity

  1. NicoPiel
    added
    enhancementNew feature or request
    on Apr 21, 2025
  2. jonbartels
    added this to the Next Release milestone on Jul 28, 2025

  3. jonbartels commented on Jul 28, 2025

    @jonbartels
    jonbartels
    on Jul 28, 2025
    Contributor

    Relates to #146 and #18.

  4. jonbartels
    modified the milestones: Next Release, Next Release + 1 on Aug 5, 2025
  5. pacmano1
    added 6 commits that reference this issue on Jun 11, 2026

    Replace vendored jars with verified Maven Central dependencies

    1ecdaab

    Move sources to the standard Gradle layout

    0f33e20

    Replace the Ant build with Gradle

    d32adbb

    Replace vendored jars with verified Maven Central dependencies

    3e2b399

    Replace vendored jars with verified Maven Central dependencies

    fb98f2d

    Replace vendored jars with verified Maven Central dependencies

    3944b31
  6. jonbartels
    modified the milestones: Next Release + 1, Next Release on Jun 25, 2026
  7. pacmano1
    added 5 commits that reference this issue on Jun 28, 2026

    Replace the Ant build with Gradle

    662fed2

    Replace vendored jars with verified Maven Central dependencies

    a58ca6a

    Move sources to the standard Gradle layout

    8a2dc59

    Replace the Ant build with Gradle

    24c96f5

    Replace vendored jars with verified Maven Central dependencies

    29c5df7
  8. tonygermano
    linked a pull request that will close this issueReplace the Ant build with Gradle, output verified byte-identical #326on Sep 23, 2026
  9. tonygermano
    removed this from the Next Release milestone on Sep 23, 2026

  10. tonygermano commented on Sep 23, 2026

    @tonygermano
    tonygermano
    on Sep 23, 2026
    Member

    Completed with #326 . Follow-ups in #337

  11. tonygermano
    closed this as completedon Sep 23, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or request

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions