search

DistCompiler / pgo

PGo is a source to source compiler from Modular PlusCal specs into Go programs.
https://distcompiler.github.io/
Apache License 2.0
174 stars 14 forks source link

Want an official PGo package / release #239

Open niuzhi opened 2 years ago

niuzhi commented 2 years ago

Consult how pgo packages the application into a jar file. what command to use。thanks

fhackett commented 2 years ago

Thank you for your interest in the PGo project.

Coursier can be used to package PGo into a self-contained executable file (with a .jar inside).

From the root of the repository:

$ sbt publishLocal
$ cs bootstrap pgo::pgo:0.1.0-SNAPSHOT -o pgo

Once this is done, ./pgo --help should print the help text you would expect. To produce a fully self-contained build (the default might download .jars on first run), add --standalone to the cs bootstrap command.

I will close this issue once we have a release process that isn't "build it yourself".