Permalink
Browse files
MediaInfo-gui: revbump after wxWidgets-3.2 update
Also simplify code with wxWidgets PortGroup
- Loading branch information
Showing
with
7 additions
and
4 deletions.
-
+7
−4
multimedia/mediainfo/Portfile
|
|
@@ -35,17 +35,20 @@ configure.env-append PKG_CONFIG_SYSTEM_INCLUDE_PATH=${prefix}/include |
|
|
|
|
|
subport MediaInfo-gui { |
|
|
PortGroup app 1.0 |
|
|
description Identifies audio and video codecs in a media file. GUI |
|
|
PortGroup wxWidgets 1.0 |
|
|
wxWidgets.use wxWidgets-3.2 |
|
|
revision 1 |
|
|
|
|
|
description Identifies audio and video codecs in a media file. GUI |
|
|
long_description MediaInfo supplies technical and tag information about a \ |
|
|
video or audio file via graphical utility |
|
|
|
|
|
depends_lib-append port:wxWidgets-3.2 |
|
|
depends_lib-append port:${wxWidgets.port} |
|
|
|
|
|
set worksrcpath ${workpath}/${worksrcdir}/Project/GNU/GUI |
|
|
|
|
|
configure.args --with-wx-config=${prefix}/Library/Frameworks/wxWidgets.framework/Versions/wxWidgets/3.1/bin/wx-config \ |
|
|
--with-wx-prefix=${prefix}/Library/Frameworks/wxWidgets.framework/Versions/wxWidgets/3.1 |
|
|
configure.args --with-wx-config=${wxWidgets.wxconfig} \ |
|
|
--with-wx-prefix=${wxWidgets.prefix} |
|
|
|
|
|
app.executable mediainfo-gui |
|
|
app.name MediaInfo |
|
|
|