mirror of
				https://github.com/subsurface/subsurface.git
				synced 2025-02-19 22:16:15 +00:00 
			
		
		
		
	
		
			
	
	
		
			23 lines
		
	
	
	
		
			677 B
		
	
	
	
		
			Makefile
		
	
	
	
	
	
		
		
			
		
	
	
			23 lines
		
	
	
	
		
			677 B
		
	
	
	
		
			Makefile
		
	
	
	
	
	
| 
								 | 
							
								# SPDX-License-Identifier: GPL-2.0
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								# Default target executed when no arguments are given to make.
							 | 
						||
| 
								 | 
							
								default_target: all
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								.PHONY : default_target
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								# Allow only one "make -f <foo>" at a time, but pass parallelism.
							 | 
						||
| 
								 | 
							
								.NOTPARALLEL:
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								mobile:
							 | 
						||
| 
								 | 
							
									if test ! -d build-mobile; then (echo "error: please run build.sh before make"; exit -1;); fi
							 | 
						||
| 
								 | 
							
									cd build-mobile; LIBRARY_PATH=../install_root/lib make 
							 | 
						||
| 
								 | 
							
									cd build-mobile; LIBRARY_PATH=../install_root/lib make install
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								desktop:
							 | 
						||
| 
								 | 
							
									if test ! -d build; then (echo "error: please run build.sh before make"; exit -1;); fi
							 | 
						||
| 
								 | 
							
									cd build; LIBRARY_PATH=../install_root/lib make 
							 | 
						||
| 
								 | 
							
									cd build; LIBRARY_PATH=../install_root/lib make install
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								all: desktop mobile
							 |