prismmodelchecker / prism

The main development version of the PRISM model checker.
http://www.prismmodelchecker.org/
GNU General Public License v2.0
157 stars 73 forks source link

Build PRISM using Maven or Gradle and publish to MavenCentral #234

Closed ifndefJOSH closed 1 year ago

ifndefJOSH commented 1 year ago

As a project that's written in Java and C, I think PRISM might benefit from using a build system such as Apache Maven or Gradle. Both of these have several benefits over PRISM's current system of using a GNU makefile, including:

And then you could publish the artifact from your build process to MavenCentral (or something similar) making it so other projects which use PRISM--e.g., STAMINA--can just declare PRISM as a dependency in their build files, and it will automatically get it for them.

All that said, I don't know if it would work super well with the C portion of PRISM.

davexparker commented 1 year ago

Thanks for this @ifndefJOSH. We have an open issue to discuss this issue: #223