diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/1/ppt-mkpkgs | 75 | ||||
-rw-r--r-- | src/1/ppt-rmpkgs | 10 | ||||
-rw-r--r-- | src/ppt-mkpkgs | 4 | ||||
-rw-r--r-- | src/ppt-rmpkgs | 4 |
4 files changed, 93 insertions, 0 deletions
diff --git a/src/1/ppt-mkpkgs b/src/1/ppt-mkpkgs new file mode 100644 index 0000000..b114a74 --- /dev/null +++ b/src/1/ppt-mkpkgs @@ -0,0 +1,75 @@ +#!/bin/sh + +set -eu + +PLAT= + +main() +{ + PLAT="$(sed '1{s/^config-\([^ ][^ ]*\) (.*$/\1/;};1!q;' changelog)" + + make_common_pkg + make_build_time_pkgs + make_run_time_pkgs +} + +info() +{ + local fmt="${1}" + shift 1 + + printf "ppt-mkpkgs: ${fmt}\n" "${@}" +} + +make_common_pkg() +{ + # Make "-common" package to provide source package documentation files. + mkdir -p "config-${PLAT}-common.pkg" + cat >"config-${PLAT}-common.pkg/control" <<-EOF + Architecture: all + Platform: all + Description: "${PLAT}" platform configuration - common files + EOF + >"config-${PLAT}-common.pkg/docs" + info 'Metadata for package "%s" generated.' "config-${PLAT}-common" +} + +make_build_time_pkgs() +{ + local pkg= + + # Make each config-*-* package. + for pkg in src/build/*; do + pkg="${pkg#src/build/}" + mkdir -p "config-${pkg}-${PLAT}.pkg" + cat >"config-${pkg}-${PLAT}.pkg/control" <<-EOF + Architecture: all + Platform: all + Depends: config-${PLAT}-common (= \${Binary-Version}) + Description: "${PLAT}" platform configuration for ${pkg} + EOF + info 'Metadata for package "%s" generated.' \ + "config-${pkg}-${PLAT}" + done +} + +make_run_time_pkgs() +{ + local pkg= + + # Make each config-* package. + for pkg in src/run/*; do + pkg="${pkg#src/run/}" + mkdir -p "config-${pkg}.pkg" + cat >"config-${pkg}.pkg/control" <<-EOF + Architecture: all + Platform: ${PLAT} + Depends: config-${PLAT}-common (= \${Binary-Version}) + Description: "${PLAT}" platform configuration for ${pkg} + EOF + info 'Metadata for package "%s" generated.' \ + "config-${pkg}" + done +} + +main "${@}" diff --git a/src/1/ppt-rmpkgs b/src/1/ppt-rmpkgs new file mode 100644 index 0000000..7e7fbc4 --- /dev/null +++ b/src/1/ppt-rmpkgs @@ -0,0 +1,10 @@ +#!/bin/sh + +set -eu + +main() +{ + rm -Rf config-*.pkg/ +} + +main "${@}" diff --git a/src/ppt-mkpkgs b/src/ppt-mkpkgs new file mode 100644 index 0000000..c3d82fc --- /dev/null +++ b/src/ppt-mkpkgs @@ -0,0 +1,4 @@ +#!/bin/sh + +. ../ppt-version +. /usr/share/platconf-pkg-tools/${ppt_version}/ppt-mkpkgs diff --git a/src/ppt-rmpkgs b/src/ppt-rmpkgs new file mode 100644 index 0000000..c3d82fc --- /dev/null +++ b/src/ppt-rmpkgs @@ -0,0 +1,4 @@ +#!/bin/sh + +. ../ppt-version +. /usr/share/platconf-pkg-tools/${ppt_version}/ppt-mkpkgs |