6 lines
		
	
	
	
		
			167 B
		
	
	
	
		
			Bash
		
	
	
		
			Executable file
		
	
	
	
	
			
		
		
	
	
			6 lines
		
	
	
	
		
			167 B
		
	
	
	
		
			Bash
		
	
	
		
			Executable file
		
	
	
	
	
#!/bin/bash
 | 
						|
for lib in lib{gmp,mpfr,mpc}.la; do
 | 
						|
  echo $lib: $(if find /usr/lib* -name $lib|
 | 
						|
               grep -q $lib;then :;else echo not;fi) found
 | 
						|
done
 | 
						|
unset lib
 |