#!/bin/sh
# People's Video Editor: high quality, GPU accelerated mp4 editor
# Copyright (C) 2025 Roz K <roz@rozk.net>
#
# This file is part of People's Video Editor.
#
# People's Video Editor 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.
#
# People's Video Editor 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 People's Video Editor.
# If not, see <https://www.gnu.org/licenses/>.

source_directory="ffmpeg"
build_directory="build/${source_directory}"

if ! [ -d ${source_directory} ] ; then
	echo "This script must be executed from the root directory: ./make/make-ffmpeg.sh"
	exit 1
fi

if ! [ -d ${build_directory} ] ; then
	./make/configure-ffmpeg.sh || exit 1
fi

cd ${build_directory}
make && make install