diff options
author | coadde [Márcio Alexandre Silva Delgado] <coadde@parabola.nu> | 2015-08-25 18:44:28 -0300 |
---|---|---|
committer | coadde [Márcio Alexandre Silva Delgado] <coadde@parabola.nu> | 2015-08-25 18:44:28 -0300 |
commit | 3b767ea08f7b98eeda3a86f016e31b47f1388c4d (patch) | |
tree | af2f15b1df4adbe6eef424d1f9d96e9954010a40 /config_gnu+linux | |
parent | 12b709bd141bf25a97c42034ec77798b3a548105 (diff) |
fix platforms
Diffstat (limited to 'config_gnu+linux')
-rw-r--r-- | config_gnu+linux | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/config_gnu+linux b/config_gnu+linux index eee8b11..59e7365 100644 --- a/config_gnu+linux +++ b/config_gnu+linux @@ -2,7 +2,9 @@ source "$(dirname "$(readlink -e "$0")")/config" -# Parabola GNU/Linux-libre configuration without any distribution derivation +# Parabola Platform +PLATFORM_NAME='GNU/Linux-libre' +PLATFORM='gnu+linux' DERIVATION='false' # Archictectures @@ -32,20 +34,20 @@ PKG_MULTILIB_REPOS=("${EXTRA_REPOS[@]}" "${PATFORM_REPOS[@]}" "${MAIN_REPOS[@]}" # Directories where packages are shared between repos # *relative to REPO_DIR* -PKG_POOL='gnu+linux' +PKG_POOL="${PLATFORM}" # Directories where sources are stored -SRC_POOL='gnu+linux' +SRC_POOL="${PLATFORM}" # Build System and Repository scripts -BS_MAIN_NAME='pbs_gnu+linux' +BS_MAIN_NAME="pbs_${PLATFORM}" BS_MAIN_DIR="${SRV_DIR}/${BS_MAIN_NAME}" BS_GIT="${GIT_BASE}/${BS_MAIN_NAME}/pmr.git" # BS_GIT='http://projects.parabola.gnu/${BS_MAIN_NAME}/pmr.git' BS_GIT_TMP="${TMP_DIR}/${BS_MAIN_NAME}" # Base Repository -REPO_DIR="${SRV_DIR}/repo/gnu+linux" +REPO_DIR="${SRV_DIR}/repo/${PLATFORM}" CLEANUP_DESTDIR="${REPO_DIR}/old/packages" CLEANUP_DRYRUN='false' |