Derivative-free optimization by quadratic approximation based on
an interface to Fortran implementations by M. J. D. Powell.
WWW: http://cran.r-project.org/web/minqa/
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)
r385070 exposed another issue:
In file included from ceria.cpp:4:0:
ceria.h:52:23: error: 'FILE' was not declared in this scope
CelFile read_cel_file(FILE* f);
^
ceria.h:52:29: error: 'f' was not declared in this scope
CelFile read_cel_file(FILE* f);
^
ceria.h:53:41: error: 'FILE' has not been declared
void write_cel_file(CelFile const& cel, FILE* f);
^
ceria.cpp: In function 'CelFile read_cel_file(FILE*)':
ceria.cpp:719:30: error: 'CelFile read_cel_file(FILE*)' redeclared as different kind of symbol
CelFile read_cel_file(FILE *f)
^
In file included from ceria.cpp:4:0:
ceria.h:52:9: error: previous declaration of 'CelFile read_cel_file'
CelFile read_cel_file(FILE* f);
^
Reported by: pkg-fallout
Approved by: portmgr blanket
depends on the camlp4 language and labltk ocaml modules, which are
now in separate ports.
- Update x11-toolkits/ocaml-lablgtk2 to 2.18.3
- Update graphics/ocaml-lablgl to 1.05
- Make unison ports use USE_OCAML
- Convert ports to the new flags where needed
- Bump PORTREVISION on ports depending on ocaml-lablgtk2, those need to be rebuilt
PR: 199845
Submitted by: jbeich@
Differential Revision: https://reviews.freebsd.org/D2434
Approved by: portmgr (mat)
This version can be built by system compilers (gcc 4.2 & clang) and
also ports gcc compilers, unlike its predecessor which would segfault
and even lock up during build.
PR: 199832, 199853
Submitted by: pfg (maintainer)
lang/gcc* by default search for includes and libraries under
PREFIX/LOCALBASE unlike compilers from base. DragonFly has gcc 5.0
*in base*, so...
checking for main in -lxml2... no
checking for main in -lglib-2.0... no
checking for library containing readline... no
configure: error: readline test failed (--without-readline to disable)
libxml2 while linked in isn't actually used due to the code being
guarded by #if HAVE_LIBXML_TREE_H while
checking for main in -lxml2... yes
checking libxml/tree.h usability... no
checking libxml/tree.h presence... no
checking for libxml/tree.h... no
Also, properly track readline dependency on 11.0C which was disabled
since base r268461.
Reported by: DPorts (bustage)
Reported by: pkg-fallout (detection quirks)
Approved by: portmgr blanket
Add -std=c++11 to fix
/usr/local/include/wx-3.0/wx/strvararg.h:25:27: error: type_traits: No such file or directory
which itself exposes
guess.cpp:20:7: error: unknown type name 'array'
const array<string, 3> Guess::linear_traits =
^
sidebar.cpp:900:52: error: invalid suffix on literal; C++11 requires a space between
literal and identifier [-Wreserved-user-defined-literal]
+ s2wx(format1<realt, 30>("%.10"REALT_LENGTH_MOD"g", a)));
^
Reported by: pkg-fallout
Approved by: portmgr blanket
MFH: 2015Q2 (only USES due to lack of r383466)
sources/ostream.cc:290:16: error: declaration conflicts with target of using
declaration already in scope
ABA_OSTREAM& endl(ABA_OSTREAM &o)
^
./Include/abacus/ostream.h:48:14: note: target of using declaration
ABA_OSTREAM& endl(ABA_OSTREAM &o);
^
./Include/abacus/ostream.h:50:9: note: using declaration
using ::endl;
^
sources/ostream.cc:293:11: error: 'on_' is a private member of 'ABA_OSTREAM'
if (o.on_) o.out_ << flush;
^
./Include/abacus/ostream.h:225:17: note: declared private here
bool on_;
^
sources/ostream.cc:293:18: error: 'out_' is a private member of 'ABA_OSTREAM'
if (o.on_) o.out_ << flush;
^
./Include/abacus/ostream.h:220:17: note: declared private here
ostream &out_;
^
sources/ostream.cc:294:10: error: 'logOn_' is a private member of 'ABA_OSTREAM'
if(o.logOn_) *(o.log_) << flush;
^
./Include/abacus/ostream.h:230:17: note: declared private here
bool logOn_;
^
sources/ostream.cc:294:22: error: 'log_' is a private member of 'ABA_OSTREAM'
if(o.logOn_) *(o.log_) << flush;
^
./Include/abacus/ostream.h:234:17: note: declared private here
ofstream *log_;
^
Tested by: md5 ostream.o (gcc5, clang36)
When using GH_TAGNAME the DISTNAME would have GH_PROJECT and GH_ACCOUNT in
it. When not using GH_TAGNAME it would not have this. Now both cases
will add in the GH_PROJECT and GH_ACCOUNT.
Add special care to ensure that the DISTVERSION is not added in twice. If
a port does GH_TAGNAME=v${PORTVERSION} it will be added in twice though. For
that case DISTVERSIONPREFIX=v should be set and no GH_TAGNAME should be used.
empty() is used rather than (!defined || !${}) to support fmake.
The purpose of setting DISTNAME at all in these cases is to make it more clear
that the distfile is from *GITHUB* and to avoid collisions if a project were
to be renamed or moved. Without adding in GH_PROJECT and GH_ACCOUNT then there
are real risks that collisions on filenames would happen on renamed or moved
projects, which is fairly common. A GITHUB-generated file may not match
a custom-rolled or git-archive-rolled distfile.
PR: 199069
With hat: portmgr
Testing done: All USE_GITHUB ports without GH_COMMIT were checksum/fetch/extract/WRKSRC tested.
