Re: Keel and old Ant build system

Santanu:

I think this gives the basic scoop:
http://www.keelframework.org/release/HEAD/docbook/keel-doc/html_chunk/manual/ch13.html#d0e5841

Mike


On Tue, 2005-06-21 at 21:16, Santanu Dutt wrote:
> BTW I am not totally against Maven. Is there a quick guide to set up Keel 
> using Maven in Eclipse.
> ----- Original Message ----- 
> From: "Santanu Dutt" <[email protected]>
> To: <user-6VIttnCrOeJXNEnpj1eHPNi2O/[email protected]>
> Sent: Tuesday, June 21, 2005 9:12 PM
> Subject: Re: [Keel User] Keel and old Ant build system
> 
> 
> > Looks like the CVS tip is totally Mavenized. But as per Mike there should 
> > not be a total dependancy on Maven. For me Maven is a whole new subject to 
> > learn. Somehow I liked the old Ant build process( maybe I am biased 
> > because of using Ant everyday). Anyway I will try to revive the Ant build 
> > system. But looks like all the third party jars are no more there in CVS. 
> > Following the tutorial on Maven build I think I can download all the jars. 
> > Am I right on this? If so then I think I can try to run the build script 
> > after running the initial Maven command.
> > Thanks
> > Santanu
> > ----- Original Message ----- 
> > From: "Sasvata (Shash) Chatterjee" <[email protected]>
> > To: <user-6VIttnCrOeJXNEnpj1eHPNi2O/[email protected]>
> > Sent: Tuesday, June 21, 2005 8:39 PM
> > Subject: Re: [Keel User] Keel and old Ant build system
> >
> >
> >>
> >>>Is the old Ant build system still functional or do I have to use Maven?
> >>>I am trying to build the code at the tip of CVS with Ant.
> >>>
> >> If you use CVS, most of the Ant support is gone.
> >>
> >> _______________________________________________
> >> User mailing list
> >> [email protected]
> >> http://lists.keelframework.org/listinfo.cgi/user-keelframework.org
> >
> > _______________________________________________
> > User mailing list
> > [email protected]
> > http://lists.keelframework.org/listinfo.cgi/user-keelframework.org
> 
> _______________________________________________
> User mailing list
> [email protected]
> http://lists.keelframework.org/listinfo.cgi/user-keelframework.org