title: gmp shared libraries not found
body: <p>I have a very simple GMP program in C (below)</p>
  
  <pre><code>#include &lt;stdio.h&gt;
  #include &lt;gmp.h&gt;
  
  int main() {
      mpf_t a, b, inter;
      mpf_init(a);
      mpf_init(b);
      mpf_init(inter);
      mpf_set_d(a, 3.0);
      mpf_set_d(b, 5.0);
      mpf_add(inter, a, b);
      gmp_printf("%F+%F=%F\n", a, b, inter);
  }
  </code></pre>
  
  <p>For some reason, it compiles alright, but when run, it produces</p>
  
  <pre><code>error while loading shared libraries: libgmp.so.10: cannot open shared object file: No such file or directory
  </code></pre>
  
  <p>What's wrong?</p>