32 lines
		
	
	
		
			1.1 KiB
		
	
	
	
		
			Bash
		
	
	
	
	
	
		
		
			
		
	
	
			32 lines
		
	
	
		
			1.1 KiB
		
	
	
	
		
			Bash
		
	
	
	
	
	
| 
								 | 
							
								#!/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
							 |