Skip to content

Instantly share code, notes, and snippets.

@yackx
Created April 30, 2017 19:32
Show Gist options
  • Save yackx/26239b49fa4f32d91c3565c5247fa4f9 to your computer and use it in GitHub Desktop.
Save yackx/26239b49fa4f32d91c3565c5247fa4f9 to your computer and use it in GitHub Desktop.
#!/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
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment