Ticket #43404: Portfile-gawk.diff

Portfile

@@ -6 +6 @@
 
 name                    gawk
 version                 4.1.1
-revision                1
+revision                2
 categories              lang
 license                 GPL-3+
 installs_libs           no
@@ -26 +26 @@
                         rmd160  a5a6ab9491bf702310cef7c035531cc7fad0a62d
 
 depends_lib             port:gettext \
-                        port:gmp \
-                        port:mpfr \
                         port:readline
 
 conflicts_build         nawk
@@ -35 +33 @@
 patchfiles              patch-extensions-Makefile.in.diff
 
 configure.args          --with-libiconv-prefix=${prefix} \
+                        --without-mpfr \
                         ac_cv_libsigsegv=no
 
 test.run                yes
@@ -52 +51 @@
         ln -s ${prefix}/share/man/man1/${manpage}.gz ${destroot}${prefix}/libexec/gnubin/man/man1/[string range $manpage 1 end].gz
     }
 }
+
+variant mpfr {
+depends_lib-append      port:gmp \
+                        port:mpfr
+                        
+configure.args-delete   --without-mpfr
+}