1 # Copyright (C) 2009 Free Software Foundation, Inc.
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.
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.
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/>.
18 # This file contains the support procedures for testing the plugin mechanism.
24 # plugin-get-options -- process test directives
26 # SRC is the full pathname of the plugin source file.
28 proc plugin-get-options { src } {
29 # dg-options sets a variable called dg-extra-tool-flags.
30 set dg-extra-tool-flags ""
32 # dg-require-* sets dg-do-what.
33 upvar dg-do-what dg-do-what
35 set tmp [dg-get-options $src]
37 set cmd [lindex $op 0]
38 if { ![string compare "dg-options" $cmd] } {
39 set status [catch "$op" errmsg]
41 perror "src: $errmsg for \"$op\"\n"
42 unresolved "$src: $errmsg for \"$op\""
46 # Ignore unrecognized dg- commands, but warn about them.
47 warning "plugin.exp does not support $cmd"
51 # Return flags to use for compiling the plugin source file
52 return ${dg-extra-tool-flags}
56 # plugin-test-execute -- build the plugin first and then compile the
57 # test files with the plugin.
59 # PLUGIN_SRC is the full pathname of the plugin source file.
60 # PLUGIN_TESTS is a list of input test source files.
62 proc plugin-test-execute { plugin_src plugin_tests } {
67 set basename [file tail $plugin_src]
68 set base [file rootname $basename]
69 set plugin_lib $base.so
71 verbose "Test the plugin $basename" 1
73 # Build the plugin itself
74 set extra_flags [plugin-get-options $plugin_src]
76 # Note that the plugin test support currently only works when the GCC
77 # build tree is available. (We make sure that is the case in plugin.exp.)
78 # Once we have figured out how/where to package/install GCC header files
79 # for general plugin support, we should modify the following include paths
81 set gcc_srcdir "$srcdir/../.."
82 set gcc_objdir "$objdir/../../.."
83 set includes "-I. -I${srcdir} -I${gcc_srcdir}/gcc -I${gcc_objdir}/gcc \
84 -I${gcc_srcdir}/include -I${gcc_srcdir}/libcpp/include \
87 set optstr "$includes $extra_flags -DIN_GCC -fPIC -shared"
89 set status [target_compile "$optstr $plugin_src" "$plugin_lib" executable ""]
90 if { "$status" != "" } {
91 unresolved "$basename compilation, $optstr"
95 # Compile the input source files with the plugin
97 set plugin_enabling_flags "-fplugin=./$plugin_lib"
98 dg-runtest $plugin_tests $plugin_enabling_flags $default_flags
101 remote_file build delete $plugin_lib