A4E 4.1.9 doesn't have the sources of A4.jar

[GoogleCodeExporter]

To simplify troubleshooting, it is important to have the source code of all
of the Alloy4 libraries in A4E. We may need to get MIT to do a special
build of A4 w/ sources for A4E.

Original issue reported on code.google.com by nicolas....@gmail.com on 16 Nov 2008 at 11:11

[GoogleCodeExporter]

Hi:

I'm not personally using A4E (or even Eclipse much) so I'm not sure what
it entails.  The official alloy4.jar does contain all Java source code
(even Kodkod and SAT4J Java source code) right in it.

Can A4E developers help clarify if there's something extra that I need
to do for A4E users?

Thanks!

Sincerely,
Felix Chang
Alloy4 Developer

Original comment by felix2...@gmail.com on 16 Nov 2008 at 11:18

[GoogleCodeExporter]

Hi: After discussion with Nicolas, we confirm that the reason is that A4E
by default uses the Alloy4 base JAR (which doesn't have source code
nor any platform-dependent solvers) at
http://alloy.mit.edu/alloy4/sep/alloy4-base.jar
instead of the all-in-one full JAR.

I tested what the file size change would be if source code are included.
The base JAR without source code is 1956364 bytes.
The base JAR with source code grew to 3191122 bytes.

I'm still occasionally on a slow internet connection, so for me a 1M increase
(which constitutes 50% increase over the old size) is a possible concern.
What do other developers think? If they think it's okay, then I'll add
the source code to the BASE JAR.

Sincerely,
Felix Chang
Alloy4 Lead Developer

Original comment by felix2...@gmail.com on 17 Nov 2008 at 5:16

[GoogleCodeExporter]

I agree that despity the 1MB increase in size, it would be convenient to ship 
with
the source code of both A4 and KK. I will even make our life easier when 
developiing A4E.

Original comment by daniel.l...@gmail.com on 17 Nov 2008 at 8:11

• Added labels: OpSys-All, Priority-High, Type-Enhancement

[GoogleCodeExporter]

Hi: Okay, for all future public releases, the BASE jar will have
full Java source code for Alloy+Kodkod+SAT4J.

- Felix

Original comment by felix2...@gmail.com on 17 Nov 2008 at 12:30