812e17dd63
$ cat pkg/DESCR gmtk is a library that is used by gnome-mplayer and gecko-mediaplayer: several common functions and routines formerly in gnome-mplayer and gecko-mediaplayer have been moved to this library. gmtk can be used to build your own media players, as widgets have been created to control mplayer: a simple media player can be built using this library very quickly. Feedback and ok: ajacoutot@, sebastia@
16 lines
559 B
Plaintext
16 lines
559 B
Plaintext
$OpenBSD: patch-configure_ac,v 1.1.1.1 2012/01/05 14:47:10 dcoppa Exp $
|
|
|
|
Detect if libm should be used and use it if needed
|
|
(upstream svn revision r77)
|
|
|
|
--- configure.ac.orig Thu Dec 29 15:30:09 2011
|
|
+++ configure.ac Thu Jan 5 12:28:23 2012
|
|
@@ -55,6 +55,7 @@ AM_PROG_LIBTOOL
|
|
PKG_CHECK_MODULES([X11], [x11],[AC_DEFINE([X11_ENABLED],[1],[Define to 1 if X11 support is needed])],[AC_MSG_NOTICE([Compiling without X11 support])])
|
|
AC_SUBST(X11_LIBS)
|
|
|
|
+AC_CHECK_LIB([m],[floor])
|
|
|
|
AC_ARG_ENABLE(gtk3,
|
|
AC_HELP_STRING([--enable-gtk3],[compile using GTK3]),
|