search

ikuraj / alloy4eclipse

Automatically exported from code.google.com/p/alloy4eclipse
0 stars 0 forks source link

Provide sources for alloy4.jar in fr.univartois.cril.alloyplugin.launch #75

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
As of revision 716 of /fr.univartois.cril.alloyplugin.launch/alloy4.jar
there is no source code for alloy4 itself. 

Please add a build-time Ant script like the one below which will also
document where A4E gets its alloy4.jar from.

<?xml version="1.0" encoding="UTF-8"?>
<project name="fr.univartois.cril.alloyplugin.launch" default="getAlloy4Jar">

    <target name="getAlloy4Jar">
        <get src="http://alloy.mit.edu/alloy4/alloy4.jar" dest="alloy4.jar"/>
    </target>

</project>

Original issue reported on code.google.com by nicolas....@gmail.com on 8 Dec 2008 at 3:07

GoogleCodeExporter commented 8 years ago 
The source code is now available in A4E since release 0.2.34

Original comment by daniel.l...@gmail.com on 8 Dec 2008 at 7:50