diff options
| -rw-r--r-- | lib/local.mk | 3 | ||||
| -rw-r--r-- | lib/profile.sh | 75 |
2 files changed, 77 insertions, 1 deletions
diff --git a/lib/local.mk b/lib/local.mk index bfceaa9..0e8b497 100644 --- a/lib/local.mk +++ b/lib/local.mk @@ -5,4 +5,5 @@ pkgdata_sources = \ lib/fd.sh \ lib/control.sh \ lib/feed.sh \ - lib/cmd.sh + lib/cmd.sh \ + lib/profile.sh diff --git a/lib/profile.sh b/lib/profile.sh new file mode 100644 index 0000000..2da80e3 --- /dev/null +++ b/lib/profile.sh @@ -0,0 +1,75 @@ +# ProteanOS Development Kit +# lib/profile.sh +# Profile-related functions +# +# Copyright (C) 2014 Patrick "P. J." McDermott +# +# This program is free software: you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation, either version 3 of the License, or +# (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program. If not, see <http://www.gnu.org/licenses/>. + +[ "x${_PROFILE_SM+set}" = 'xset' ] && return 0 +_PROFILE_SM=1 + +use output +use locale + +PROFILES=' @profiles@ ' + +profile= + +is_profile() +{ + local prof="${1}" + + [ "x${PROFILES# ${prof} }" != "x${PROFILES}" ] +} + +profile_set() +{ + local prof="${1}" + + if is_profile "${prof}"; then + profile="${prof}" + else + error 1 "$(get_msg 'profile_not_found')" "${prof}" + fi + + return 0 +} + +profile_detect_arch() +{ + "prof_${profile}_detect_arch" +} + +profile_feeds() +{ + local arch="${1}" + local plat="${2}" + local suite="${3}" + + "prof_${profile}_feeds" "${arch}" "${plat}" "${suite}" +} + +profile_dep_fields() +{ + "prof_${profile}_dep_fields" +} + +profile_include_pkg() +{ + local name="${1}" + local value="${2}" + + "prof_${profile}_include_pkg" "${name}" "${value}" +} |