1 # Copyright (C) 1992-2010, 2020 Free Software Foundation, Inc.
3 # This file is part of DejaGnu.
5 # DejaGnu is free software: you can redistribute it and/or modify it
6 # under the terms of the GNU General Public License as published by
7 # the Free Software Foundation, either version 3 of the License, or
8 # (at your option) any later version.
10 # DejaGnu is distributed in the hope that it will be useful, but
11 # WITHOUT ANY WARRANTY; without even the implied warranty of
12 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 # General Public License for more details.
15 # You should have received a copy of the GNU General Public License
16 # along with DejaGnu. If not, see <http://www.gnu.org/licenses/>.
18 # A set of standard functions for tools. Calls the target-specific
21 proc ${tool}_load { program args } {
22 if { [llength $args] > 0 } {
23 set program_args [lindex $args 0]
28 if { [llength $args] > 1 } {
29 set input_file [lindex $args 1]
34 return [remote_load target $program $program_args $input_file]
37 proc ${tool}_compile { srcfile destfile compile_type options } {
38 target_compile $srcfile $destfile $compile_type $options