diff options
Diffstat (limited to 'lib/libgloss.exp')
-rw-r--r-- | lib/libgloss.exp | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/lib/libgloss.exp b/lib/libgloss.exp index ebdf299..7c6d13f 100644 --- a/lib/libgloss.exp +++ b/lib/libgloss.exp @@ -695,6 +695,26 @@ proc find_g77 {} { return $CC } +proc find_gnatmake {} { + global tool_root_dir + + set root "$tool_root_dir/gcc" + set GM "" + + if ![is_remote host] { + set file [lookfor_file $root gnatmake] + if { $file != "" } { + set GM "$file -I$root/ada/rts --GCC=$root/xgcc --GNATBIND=$root/gnatbind --GNATLINK=$root/gnatlink -cargs -B$root -largs --GCC=$root/xgcc -margs"; + } + } + + if {$GM == ""} { + set GM [transform gnatmake] + } + + return $GM +} + proc find_nm {} { global tool_root_dir |