diff options
Diffstat (limited to '')
| -rw-r--r-- | net/asio130/files/patch-configure | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/net/asio130/files/patch-configure b/net/asio130/files/patch-configure new file mode 100644 index 000000000000..ee74e8c5d0d1 --- /dev/null +++ b/net/asio130/files/patch-configure @@ -0,0 +1,11 @@ +Since we aren't compiling anything for the port, don't look for boost: +--- configure.orig 2020-04-06 07:06:03 UTC ++++ configure +@@ -4900,7 +4900,6 @@ else + echo "Can't find boost headers. Please check the location of the boost" + echo "distribution and rerun configure using the --with-boost=DIR option." + echo "Alternatively, run with --without-boost to enable standalone build." +- exit 1 + + fi + |