AdaCore Factory 
Presented by 
Nicolas Roche
GNAT Pro Releases 
• 60 platforms 
• 150 runtimes 
• Not just a compiler: 
• GNATBench, GPS 
• CodePeer, SPARK 
• GNATcoverage, 
GNATemulator, … 
• 3 releases/year
GNAT Pro Wavefronts 
Same as GNAT Releases 
Everyday
• 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 Overview 
Source 
Repositories 
Content 
Manager 
Server 
Monitor & 
Scheduler 
Server 
GNAT 
Tracker 
SERVICES 
send reports receive jobs 
Server Far 
m 
Continuous 
Builder 
Mailserver 
Nightly Build 
Customers 
publish 
sources and binaries p 
ackages 
monitor 
checkout
Architecture Notes 
AdaCore Internal Toolbox/Framework 
GNAT Pro 
7.0.x 
Specifications 
GNAT Pro 
7.2.x 
Specifications 
Wavefront 
Specifications
Technologies 
• Languages: Python, Ada, C, C++, Java, 
• Tool/Framework: GNATemulator, VxSim, psim, VxWorks, 
Django, 
• Homemade: Unix environment for Windows, Canadian 
compilation
Questions

GNAT Pro User Day: Ada Factory

  • 2.
    AdaCore Factory Presentedby Nicolas Roche
  • 3.
    GNAT Pro Releases • 60 platforms • 150 runtimes • Not just a compiler: • GNATBench, GPS • CodePeer, SPARK • GNATcoverage, GNATemulator, … • 3 releases/year
  • 4.
    GNAT Pro Wavefronts Same as GNAT Releases Everyday
  • 5.
    • 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
  • 6.
    Architecture Overview Source Repositories Content Manager Server Monitor & Scheduler Server GNAT Tracker SERVICES send reports receive jobs Server Far m Continuous Builder Mailserver Nightly Build Customers publish sources and binaries p ackages monitor checkout
  • 7.
    Architecture Notes AdaCoreInternal Toolbox/Framework GNAT Pro 7.0.x Specifications GNAT Pro 7.2.x Specifications Wavefront Specifications
  • 8.
    Technologies • Languages:Python, Ada, C, C++, Java, • Tool/Framework: GNATemulator, VxSim, psim, VxWorks, Django, • Homemade: Unix environment for Windows, Canadian compilation
  • 9.