2023-09-12 21:34:10 +01:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
set -euo pipefail
|
|
|
|
|
|
|
|
BASE_DIR=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )
|
|
|
|
cd "${BASE_DIR}"
|
|
|
|
|
|
|
|
rm -rf result
|
|
|
|
mkdir result
|
|
|
|
|
|
|
|
echo "Building Frontend"
|
2023-09-27 21:45:01 +01:00
|
|
|
nix build -v .#piped-frontend -o result/piped-frontend "$@"
|
2023-09-12 21:34:10 +01:00
|
|
|
|
|
|
|
echo "Building Backend"
|
2023-09-27 21:45:01 +01:00
|
|
|
nix build -v .#piped-backend -o result/piped-backend "$@"
|
2023-09-12 21:34:10 +01:00
|
|
|
|
|
|
|
echo "Building Proxy"
|
2023-09-27 21:45:01 +01:00
|
|
|
nix build -v .#piped-proxy -o result/piped-proxy "$@"
|