blob: 548926524747640e40889fbf12dce03b13e63e8c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
|
# Copyright 1999-2015 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
DESCRIPTION="Manage the installed gnat compilers"
MAINTAINER="ada@gentoo.org"
SVN_DATE='$Date: 2015/03/31 16:48:57 $'
VERSION=$(svn_date_to_version "${SVN_DATE}" )
# "inheriting" common stuff
# this crude sourcing has to stay the way it is, as common code
# cannot be part of some eclass (bug #192505)
. /usr/share/gnat/lib/gnat-common.bash
### Phylosophy
# Each gnat installs a "specs" file named ${ARCH}-${PN}-${SLOT} under ${SPECSDIR}
# Each lib creates a dir with its name under ${SPECSDIR} and populates it with
# similar specs files (same name scheme)
# Recognizing gnat specs from lib specs is then eazy - test entry for being a
# dir, then just check what gnat profiles are installed for each lib..
# doset then creates env file that combines settings for gnat and for the
# corresponding profile of each installed lib..
### Helpers
# return *the* name of the active profile, checking that we do not have multiple
# env files.
# There can be only one!
get_current_gnat() {
local profiles=( $(get_env_list) )
if [ ${profiles[@]} == "${MARKER}*" ]; then exit; fi
if (( 1 == ${#profiles[@]} )); then
local active=${profiles[0]#${MARKER}}
else
die -q "${ENVDIR} contains multiple gnat profiles, please cleanup!"
fi
if [ -f ${SPECSDIR}/${active} ]; then
echo ${active}
else
die -q "the active env.d profile does not correspond to any installed gnat!"
fi
}
# check if the passed arg represents the installed gnat and return it or
# not_found
# takes args:
# $1 - list ID to check
get_name_from_list() {
compiler=$1
compilers=( $(find_all_compilers) )
for (( i = 0 ; i < ${#compilers[@]} ; i = i + 1 )) ; do
if [[ ${compilers[$i]} == ${compiler} ]] ; then
echo ${compiler}
return
fi
done
echo "(not-found)"
}
# removes env files (for compiler and libs)
# params:
# $1: the name of profile for which to remove env file
unset_env() {
rm -f ${ENVDIR}/${MARKER}$1 &> /dev/null
}
### show action ###
describe_show() {
echo "Show the active gnat compiler/profile and installed libs"
}
do_show() {
write_list_start "Current gnat version:"
active=$(get_current_gnat)
if [ ! -z ${active} ] ; then # not sure why [ -n ] does not do the same
write_kv_list_entry "$active" ""
libs=( $(find_libs4profile ${active}) )
write_list_start "Active libs:"
write_numbered_list "${libs[@]}"
else
write_kv_list_entry "(none set)" ""
fi
}
### list action ###
describe_list() {
echo "List installed gnat compilers and libs"
}
do_list() {
compilers=( $(find_all_compilers ) )
active=$(get_current_gnat)
write_list_start "Available gnat compilers:"
if [[ -n ${compilers[@]} ]] ; then
local i
for (( i = 0 ; i < ${#compilers[@]} ; i = i + 1 )) ; do
linkversion=${compilers[${i}]}
[[ $linkversion == $active ]] && \
compilers[${i}]="${compilers[${i}]} $(highlight '*' )"
done
write_numbered_list "${compilers[@]}"
# now the libs
libs=( $(find_all_libs) )
write_list_start "Installed libs:"
for (( i = 0 ; i < ${#libs[@]} ; i = i + 1 )) ; do
[ -f ${SPECSDIR}/${libs[$i]}/${active} ] && \
libs[${i}]="${libs[${i}]} $(highlight '*' )"
done
write_numbered_list "${libs[@]}"
else
write_kv_list_entry "(none found)" ""
fi
}
### set action ###
describe_set() {
echo "Set active gnat compiler"
}
# The set action. Parameters:
# $1 - name of profile to set, obligatory, passed by eselect
# $2 - optional, name of env file to generate. Used from gnat.eclass.
do_set() {
if [[ -z ${1} ]] ; then
# no parameter
die -q "You didn't tell me which gnat to use"
fi
local toset=$(get_name_from_list $1)
if [[ ${toset} == "(not-found)" ]] ; then
die -q "I don't recognise the selection"
fi
# the action!
# in this implementation simply create an appropriate env file
local active=$(get_current_gnat)
if [[ -z ${2} ]] ; then
local envfile="${ENVDIR}/${MARKER}${toset}"
# now we need to remove an old env file, which is guaranteed to
# be unique by get_current_gnat above
if [[ -n ${active} ]] ; then
unset_env ${active}
fi
# just for a good measure remove the one we are going to write
unset_env ${toset}
else
local envfile="$2"
fi
generate_envFile ${toset} ${envfile}
# force update environment
# should be replaced with "do_action env update" when #172472 gets resolved
env-update &> /dev/null
}
### update action ###
#
# This action regenerates the /etc/env.d file for the current profile. Basically
# the same as set, only it does not take any parameters. It should be called from ebuilds
# installing Ada libs
describe_update() {
echo "Update active gnat profile picking up new libs."
}
do_update() {
local toset=$(get_current_gnat)
local envfile="${ENVDIR}/${MARKER}${toset}"
generate_envFile ${toset} ${envfile}
do_action env update &> /dev/null
}
### unset action ###
describe_unset() {
echo "Remove settings for currently active gnat"
}
do_unset() {
local active=$(get_current_gnat)
# check whether we have any profile set before removing anything..
if [[ -n ${active} ]] ; then
unset_env ${active}
do_action env update &> /dev/null
fi
}
|
GitWeb