gcc/testsuite/gnat.dg/specs/specs.exp

   1 # Copyright (C) 2006-2013 Free Software Foundation, Inc.
   2
   3 # This program is free software; you can redistribute it and/or modify
   4 # it under the terms of the GNU General Public License as published by
   5 # the Free Software Foundation; either version 3 of the License, or
   6 # (at your option) any later version.
   7 #
   8 # This program is distributed in the hope that it will be useful,
   9 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  10 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  11 # GNU General Public License for more details.
  12 #
  13 # You should have received a copy of the GNU General Public License
  14 # along with GCC; see the file COPYING3.  If not see
  15 # <http://www.gnu.org/licenses/>.
  16
  17 # GCC testsuite that uses the `dg.exp' driver.
  18
  19 # Load support procs.
  20 load_lib gnat-dg.exp
  21
  22 # If a testcase doesn't have special options, use these.
  23 global DEFAULT_CFLAGS
  24 if ![info exists DEFAULT_CFLAGS] then {
  25     set DEFAULT_CFLAGS ""
  26 }
  27
  28 # Initialize `dg'.
  29 dg-init
  30
  31 # Main loop.
  32 dg-runtest [lsort [glob -nocomplain $srcdir/$subdir/*.ads]] \
  33         "" $DEFAULT_CFLAGS
  34
  35 # All done.
  36 dg-finish