2024-07-27 20:12:37 +02:00
|
|
|
#! /bin/bash
|
|
|
|
|
|
|
|
set -e
|
2024-08-07 22:05:40 +02:00
|
|
|
. ./pika-build-config.sh
|
2024-07-27 20:12:37 +02:00
|
|
|
|
2024-08-07 19:40:56 +02:00
|
|
|
### TEMP UNTIL BUILDER IS ADAPTED
|
|
|
|
if [[ "$PIKA_BUILD_ARCH" == "i386" ]]
|
2024-07-31 16:14:33 +02:00
|
|
|
then
|
2024-11-04 17:41:00 +01:00
|
|
|
export PIKA_BUILD_BUILDSYSTEM="pbuilder"
|
|
|
|
#export PIKA_BUILD_BUILDSYSTEM="fetch"
|
2024-07-31 16:14:33 +02:00
|
|
|
else
|
2024-08-09 13:37:21 +02:00
|
|
|
export PIKA_BUILD_BUILDSYSTEM="native"
|
2024-07-27 22:28:56 +02:00
|
|
|
fi
|
2024-08-07 19:40:56 +02:00
|
|
|
###
|
2024-07-27 22:28:56 +02:00
|
|
|
|
2024-08-07 21:50:24 +02:00
|
|
|
if [[ "$PIKA_BUILD_BUILDSYSTEM" == "pbuilder" ]]
|
2024-07-27 22:28:56 +02:00
|
|
|
then
|
2024-08-07 19:40:56 +02:00
|
|
|
./pbuilder.sh
|
2024-08-07 21:50:24 +02:00
|
|
|
fi
|
|
|
|
|
|
|
|
if [[ "$PIKA_BUILD_BUILDSYSTEM" == "native" ]]
|
|
|
|
then
|
2024-08-07 19:40:56 +02:00
|
|
|
./native.sh
|
2024-07-27 22:28:56 +02:00
|
|
|
fi
|
2024-08-07 21:50:24 +02:00
|
|
|
|
|
|
|
if [[ "$PIKA_BUILD_BUILDSYSTEM" == "fetch" ]]
|
|
|
|
then
|
|
|
|
./fetch.sh
|
|
|
|
fi
|