AdaCore Factory

Nicolas RochePresented by

• 60 platforms

• 150 runtimes

• Not just a compiler:

• GNATBench, GPS

• CodePeer, SPARK

• GNATcoverage, GNATemulator, …

• 3 releases/year

GNAT Pro Releases

Same as GNAT Releases

Everyday

GNAT Pro Wavefronts

• Availability• Should work everyday• Handle customer Wavefronts requests (1/day)

• Portability• Cross Environments,• Non Unix hosts and old Unix

• Performance• Should fit in one day

• Traceability

Challenges

Architecture OverviewSource

Repositories

ContentManager

Server

Monitor & Scheduler

Server

GNATTracker

SERVICES

Nightly Build

Mailserver

Continuous Builder

Server Farm

Customers

publish

sources and bina-ries packages

moni-tor

checkout

receive jobssend reports

Architecture Notes

AdaCore Internal Toolbox/Framework

GNAT Pro 7.0.x

Specifications

GNAT Pro 7.2.x

Specifications

Wavefront Specificatio

ns

• Languages: Python, Ada, C, C++, Java,

• Tool/Framework: GNATemulator, VxSim, psim, VxWorks, Django,

• Homemade: Unix environment for Windows, Canadian compilation

Technologies

Questions