From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,8096a6bb94951737,start X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news1.google.com!Xl.tags.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local2.nntp.dca.giganews.com!news.giganews.com.POSTED!not-for-mail NNTP-Posting-Date: Fri, 20 May 2011 12:42:59 -0500 From: "Peter C. Chapin" Subject: Continuous integration for Ada? Newsgroups: comp.lang.ada User-Agent: Pan/0.133 (House of Butterflies) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Message-ID: <4Zudnb-7mvO-NUvQ4p2dnAA@giganews.com> Date: Fri, 20 May 2011 12:42:59 -0500 X-Usenet-Provider: http://www.giganews.com X-Trace: sv3-MCoYwjK42wzy5L0KVtMKIdA2cc9xmbeec0LBTTqt70flk5SeJy4QJV2yaS6PtWMRPdj6E3zuG0y6Yhu!jdEqRf64+arAc5+rOZIll5kA2Fys/n/s31lhIPaOZrDcHtjngihViT99+fpY9waQ X-Complaints-To: abuse@giganews.com X-DMCA-Notifications: http://www.giganews.com/info/dmca.html X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.3.40 X-Original-Bytes: 2262 Xref: g2news1.google.com comp.lang.ada:19353 Date: 2011-05-20T12:42:59-05:00 List-Id: I'm wondering if anyone here has experience setting up a continuous integration server for Ada and, if so, what tools (which server system) you might recommend. By "continuous integration server" I mean a system that will automatically check out the latest version of software under development and then automatically build the software, run the unit tests, and produce some sort of report of the results (say on a web page). I've used CruiseControl.NET on a C++ project in the past and it did a nice job. I'm sure it could be configured to compile and test Ada although doing so would require a fair amount of customization (I think). I'm wondering if there is something out there that's more Ada friendly out of the box. I'm using GNAT, SPARK, AUnit for the Ada (there are also some C components but that's not my concern here), and Subversion for version control. It would be great to include SPARK operations such as examination and simplification of VCs into the CI process. I fully expect to do a lot of customizing to make that happen. It would be nice, however, if the basic compilation and testing could be done with a minimum of fuss. Peter P.S. I did search Google, but there doesn't seem to be a lot of talk about CI in an Ada context.