Ticket #46252: use-wxwidgets-portgroup.diff
File use-wxwidgets-portgroup.diff, 718 bytes (added by rprogers@…, 10 years ago) |
---|
-
ports/science/gmtk/Portfile
diff -r 02e803179610 ports/science/gmtk/Portfile
a b 2 2 # $Id$ 3 3 4 4 PortSystem 1.0 5 PortGroup wxWidgets 1.0 5 6 6 7 name gmtk 7 8 version 1.1.1 … … 18 19 sha256 30bfa33a43f2d4827dacf839fc31f593eb8f87c56d8705c51a7e53a0feafee80 19 20 depends_lib port:hdf5 \ 20 21 port:wxWidgets-3.0 21 configure.env-append PATH=${prefix}/Library/Frameworks/wxWidgets.framework/Versions/wxWidgets/3.0/bin:$env(PATH)22 build.env-append PATH=${prefix}/Library/Frameworks/wxWidgets.framework/Versions/wxWidgets/3.0/bin:$env(PATH)