AW: Keel and old Ant build system

Santanu,

there is an ant plugin for maven which generates an build.xml... maybe th=
is (http://maven.apache.org/reference/plugins/ant/goals.html) might be in=
teresting for you...

Cheers,

Aleks

-----Urspr=FCngliche Nachricht-----
Von: Santanu Dutt [mailto:[email protected]]
Gesendet: Mittwoch, 22. Juni 2005 03:17
An: user-6VIttnCrOeJXNEnpj1eHPNi2O/[email protected]
Betreff: Re: [Keel User] Keel and old Ant build system


BTW I am not totally against Maven. Is there a quick guide to set up Keel=
=20
using Maven in Eclipse.
----- Original Message -----=20
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 shou=
ld=20
> not be a total dependancy on Maven. For me Maven is a whole new subject=
 to=20
> learn. Somehow I liked the old Ant build process( maybe I am biased=20
> because of using Ant everyday). Anyway I will try to revive the Ant bui=
ld=20
> system. But looks like all the third party jars are no more there in CV=
S.=20
> Following the tutorial on Maven build I think I can download all the ja=
rs.=20
> Am I right on this? If so then I think I can try to run the build scrip=
t=20
> after running the initial Maven command.
> Thanks
> Santanu
> ----- Original Message -----=20
> 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=20

_______________________________________________
User mailing list
[email protected]
http://lists.keelframework.org/listinfo.cgi/user-keelframework.org