#!/bin/sh # People's Video Editor: high quality, GPU accelerated mp4 editor # Copyright (C) 2025 Roz K # # 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 . source_directory="codecs/x265" build_directory="build/${source_directory}" if ! [ -d ${source_directory} ] ; then echo "This script must be executed from the root directory: ./make/make-x264.sh" exit 1 fi if ! [ -d ${build_directory} ] ; then ./make/configure-x265.sh || exit 1 fi absolute_build_directory=$(realpath ${build_directory}) cd ${absolute_build_directory}/12bit make || exit 1 cd ${absolute_build_directory}/10bit make || exit1 cd ${absolute_build_directory}/8bit ln -sf ../10bit/libx265.a libx265_main10.a ln -sf ../12bit/libx265.a libx265_main12.a make || exit 1 mv -f libx265.a libx265_main.a uname=`uname` if [ "$uname" = "Linux" ] ; then ar -M </dev/null fi make install