X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=configure.ac;h=a94ff93cadc1c560015c2368d276d373737d6f6f;hb=1e68c0730d0753e9a796a0d6d4b95933f7cdfbd2;hp=300b21e2cdb6d1506c7e7ea36c562984c47a9063;hpb=7c9e113b712e72fcb4ccc6075da7334cb3391059;p=openvswitch

diff --git a/configure.ac b/configure.ac
index 300b21e2..a94ff93c 100644
--- a/configure.ac
+++ b/configure.ac
@@ -38,6 +38,8 @@ AC_USE_SYSTEM_EXTENSIONS
 AC_C_BIGENDIAN
 AC_SYS_LARGEFILE
 
+AC_SEARCH_LIBS([pow], [m])
+
 OVS_CHECK_COVERAGE
 OVS_CHECK_NDEBUG
 OVS_CHECK_NETLINK