Is there any plan to publish randoop to maven official repository?

[Vincent]

As the title says.

thanks.

[Michael Ernst]

If someone is willing to write and test the buildfile rules, we would be happy to accept a pull request.

-Mike

On Sun, Jun 18, 2023 at 10:44 PM Vincent <swe...@gmail.com> wrote:

As the title says.

thanks.

--
You received this message because you are subscribed to the Google Groups "Randoop discussions" group.
To unsubscribe from this group and stop receiving emails from it, send an email to randoop-discu...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/randoop-discuss/afe9b346-49d4-4d69-9c31-b661c5905aben%40googlegroups.com.

[Vincent]

Hi Mike,

     Thanks for your quick response.

     I checked the third party maven plugin and found randoop dependency is not mandatory . Is this the reason randoop team  does have a plan to distribute the dependency to maven?

[Michael Ernst]

I'm not sure what you mean by "the third party maven plugin".  That might be https://github.com/hascode/randoop-maven-plugin or https://github.com/zaplatynski/randoop-maven-plugin or https://github.com/5aab/randoop-maven-plugin or some plugin I don't know about.  We haven't published a Maven plugin because we aren't Maven users (better for a Maven user to do that), and we haven't published Randoop alone because we haven't seen the need.  We depend on the community for these integrations, when the community needs them.

-Mike

To view this discussion on the web visit https://groups.google.com/d/msgid/randoop-discuss/4e98b0f8-c5be-4db6-9729-6ea175eee7b8n%40googlegroups.com.

[Vincent]

I am trying this one https://github.com/zaplatynski/randoop-maven-plugin.git