CryptoMiniSat is a modern, multi-threaded, feature-rich, simplifying SAT
solver, featuring over 100 configurable parameters to tune to specific
need, collection of statistical data to MySQL database + javascript-based
visualization of it and clean C++ and python interfaces.
WWW: http://www.msoos.org/cryptominisat4/
PR: 199929
Submitted by: 6yearold@gmail.com (based on)
There is a missing dependency on devel/dbus-glib that causes the
openoffice build to fail when the GCONF and GNOMEVFS options are
disabled. When these options are enabled, one of the dependencies
added by these options brings along dbus-glib so the default build
succeeds.
There is a configure knob to control whether or not dbus-glib is
used, so follow the lead of the libreoffice port and rename the
GCONF option to GNOME and bundle both Gconf and DBUS handling under
the GNOME option.
Borrow the MMEDIA option from the libreoffice port and use that to
control the using of gstreamer.
Add a couple of missing p5-* build dependencies.
Add the --enable-gtk, --disable-kde, --disable-kde4 configure flags
so that the port does not try to build with KDE if it is installed
because compilation fails.
USE_AUTOTOOLS=autoconf -> USES=autoreconf:autoconf
PR: 199865
Reported by: pi
Differential Revision: https://reviews.freebsd.org/D2441
Reviewed by: pi, pfg
Approved by: mat (mentor)
There is something going on with optimizations on both the old and
new versions.
If you set USE_GCC=any the port will build way faster:
gcc: make 506.90s user 17.86s system 228% cpu 3:49.41 total
clang: make 3913.28s user 23.73s system 211% cpu 31:05.70 total
I added a GCC option for now.
Setting CFLAGS to -O0 will make clang go as fast as gcc.
Explanation still unknown.
maybe using it if it is already installed or if the P11KIT option is selected
(which depends on ca_root_nss), just always depend on ca_root_nss.
Reported by: Tatsuki Makino
- The include/event2 directory was being created improperly due to the lack
of a pkgconfig dependency. Add it to USES.
- Remove WRKSRC from SHEBANG list.
Reported by: many
Try to autodetect ppoll(2) instead of hardcoding the list of
platforms lacking it thus using fallback.
GitHub: libimobiledevice/usbmuxd#36
PR: 199545
Reported by: pkg-fallout
Approved by: maintainer timeout (2 weeks)
configure tries to autodetect existing japanese app-defaults and if
finds installs there without updating pkg-plist. A quick search turns
up the following ports can cause the issue if installed beforehand.
deskutils/xcalendar/pkg-plist:lib/X11/ja_JP.eucJP/app-defaults/XCalendar
games/xshisen/pkg-plist:lib/X11/ja_JP.eucJP/app-defaults/XShisen
japanese/tgif/pkg-plist:lib/X11/ja_JP.eucJP/app-defaults/Tgif.sample
x11-clocks/emiclock/pkg-plist:lib/X11/ja_JP.EUC/app-defaults/EmiClock
x11-clocks/emiclock/pkg-plist:lib/X11/ja_JP.eucJP/app-defaults/EmiClock
x11-fonts/nexfontsel/pkg-plist:lib/X11/ja_JP.eucJP/app-defaults/NeXFontSel
x11/xmascot/pkg-plist:lib/X11/ja_JP.EUC/app-defaults/XMascot
x11/xmascot/pkg-plist:lib/X11/ja_JP.eucJP/app-defaults/XMascot
PR: 199493
Submitted by: turutani@scphys.kyoto-u.ac.jp
Approved by: maintainer timeout (2 weeks + 4 days)
