Development Log

  • GNAT Pro | GPS | GNATbench
    Apr 7th, 2016

    GPS: Add the possibility to filter switches
    Switches defined for a specific tool using XML can now be filtered by specifying a named filter for the 'filter' attribute of a switch tag. These filters can be either predefined in GPS or created by the user (see the <filter> tag in the XML files). Use the GPS.Filter.list static method to list all the registered named filters.