mirror of
https://github.com/beard7n/bsdports.git
synced 2026-04-10 02:21:15 +02:00
14 lines
366 B
Plaintext
14 lines
366 B
Plaintext
--- configure.orig 2015-05-03 17:29:57 UTC
|
|
+++ configure
|
|
@@ -3675,10 +3675,6 @@ case "${target}" in
|
|
*-*-dragonfly*)
|
|
;;
|
|
*-*-freebsd*)
|
|
- if test "x$with_gmp" = x && test "x$with_gmp_dir" = x \
|
|
- && test -f /usr/local/include/gmp.h; then
|
|
- with_gmp=/usr/local
|
|
- fi
|
|
;;
|
|
*-*-kaos*)
|
|
# Remove unsupported stuff on all kaOS configurations.
|