Request: Add Frege to some Linux repositories

[ikciwor]

Will frege be available to be downloaded for Linux as package? It would be really nice if it appear at least on AUR or as .deb / .rpm file

[Ingo60]

We had this topic before; as far as I have learned back then it is required that we provide source code. But there is a problem: the source code for Frege is written in Frege itself, so we would have to provide a binary JAR to compile it, which is where the cat bites itself in the tail.

I'd appreciate any effort to make that work nonetheless. One possibility might be to provide the Java files that are produced by the compiler, and given that there is already a JDK installed (which would be a prerequisite in any case) compile them and create the fregec.jar

[rkraneis]

GCC is also written in C and needs a bootstrapping compiler ;-)

[ikciwor]

Why not provide java-binary as package and optional sources as frege-sources? I think it should not be a problem, there are lots of binaries in repositories