libgmp: remove dependency to libbarrelfish
authorReto Achermann <reto.achermann@inf.ethz.ch>
Thu, 2 Jun 2016 11:08:28 +0000 (13:08 +0200)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Thu, 2 Jun 2016 11:08:28 +0000 (13:08 +0200)
commit23d7bf5f4f16d13279127b3711ecc6bf279598ad
tree08c8e0947fd2b2d691d29ae76ef13cfc98797dc9
parent2fdb1d2de42de24138ce8dbcf0641c484696e11e
libgmp: remove dependency to libbarrelfish

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
lib/gmp/Hakefile