joerg
a19083df44
Mark packages that require C++03 (or the GNU variants) if they fail with
...
C++14 default language.
2018-07-18 00:06:10 +00:00
rillig
4760eca917
Replaced $(ROUND) with ${CURLY} variable references.
...
This has been a pkglint warning for several years now, and pkglint can even
fix it automatically. And it did for this commit.
Only in lang/mercury, two passes of autofixing were necessary because there
were nested variables.
2018-01-01 18:16:35 +00:00
agc
286ea2536c
Add SHA512 digests for distfiles for math category
...
Problems found locating distfiles:
Package dfftpack: missing distfile dfftpack-20001209.tar.gz
Package eispack: missing distfile eispack-20001130.tar.gz
Package fftpack: missing distfile fftpack-20001130.tar.gz
Package linpack: missing distfile linpack-20010510.tar.gz
Package minpack: missing distfile minpack-20001130.tar.gz
Package odepack: missing distfile odepack-20001130.tar.gz
Package py-networkx: missing distfile networkx-1.10.tar.gz
Package py-sympy: missing distfile sympy-0.7.6.1.tar.gz
Package quadpack: missing distfile quadpack-20001130.tar.gz
Otherwise, existing SHA1 digests verified and found to be the same on
the machine holding the existing distfiles (morden). All existing
SHA1 digests retained for now as an audit trail.
2015-11-03 23:33:26 +00:00
jperkin
fea0484927
Find correct zlib.
2014-12-15 12:31:09 +00:00
jperkin
b514201ebd
Needs zlib. Provide dummy Minisat::memUsedPeak().
2014-01-09 14:38:33 +00:00
joerg
83d7ad1bdd
Friends may not add default arguments.
2013-11-08 21:15:02 +00:00
asau
1996ed378f
Import MiniSat version 2.2.0 as math/minisat.
...
MiniSat is a minimalistic, industrial strength, open-source SAT solver,
developed to help researchers and developers alike to get started on SAT.
2013-10-28 04:15:11 +00:00
