2014-06-22 www/phpbb-devel: Use www/phpbb3 instead
2014-06-22 math/polymake: Does not build with any supported version of Perl
2014-06-22 www/phpsysinfo-dev: Use www/phpsysinfo instead
building [html]: targets for 66 source files that are out of date
updating environment: 1739 added, 0 changed, 0 removed
reading sources... [ 0%] anova
Traceback (most recent call last):
...
File "/wrkdirs/usr/ports/math/py-statsmodels/work/statsmodels-0.5.0/docs/sphinxext/ipython_directive.py", line 589, in setup
store_history=False)
File "/wrkdirs/usr/ports/math/py-statsmodels/work/statsmodels-0.5.0/docs/sphinxext/ipython_directive.py", line 260, in process_input_line
source_raw = splitter.source_raw_reset()[1]
AttributeError: 'IPythonInputSplitter' object has no attribute 'source_raw_reset'
*** [do-build] Error code 1
Reported by: pkg-fallout
- Enabled build on JDK 1.7 since newer version builds with 1.7 with the MAKE_ENV set
- Disable tests since they are fail intermittently due to system load
- Remove echo during install and unmute install commands
PR: 190721
Submitted by: swills (myself)
Approved by: Muhammad Moinur Rahman <5u623l20@gmail.com> (maintainer) (all except test disable)
- Convert to new LIB_DEPENDS format, options helpers
- Rework project Makefiles to install it's files to our standard paths
instead of huge do-install target
- Don't install SGML doc files, there are already generated HTML, DVI ones
Sylvio's last commit was 17 months ago, a full 5 months after all of his
ports could have been reset per policy. Given the push to complete
staging (48 ports are still unstaged, something like 70+ have already
been staged by other committers) and given that PRs are automatically
assigned but never addressed, it's better just to reset all the ports and
PRs so that it's clear to others that these ports are free to maintain.
Approved by: portmgr (implicit)
- Add LIBS="${LIBS}" to MAKE_ENV and CONFIGURE_ENV.
- Add an option helper for LIBS.
- Adjust all ports that already use LIBS. Also remove references to
PTHREAD_CFLAGS and PTHREAD_LIBS while here.
- Some ports did not support having a LIBS environment variable and
required additional patches.
Somewhat simplified a linker command line looks like:
${CC} ${src_LDFLAGS} ${LDFLAGS} ${src_LIBS} ${LIBS}
where src_LDFLAGS and src_LIBS are controlled by upstream and LDFLAGS and
LIBS can be controlled by us. If possible -L and -l flags need to be
added to LIBS to make sure they appear after any -L and -l flags set by
upstream. Many ports currently add -L${LOCALBASE}/lib to LDFLAGS but this
may appear too early on the command line causing installed libraries to
be linked in instead of freshly built ones.
Additional changes:
benchmarks/netio: Replace WITH_IPV6 with an IPV6 option.
comms/gnokii: Replace some patches with USES=pathfix. Also remove -fPIC.
graphics/gimageview: USES=libtool and install desktop file in DESKTOPDIR.
graphics/visionworkbench: Remove FreeBSD 7 support.
multimedia/libmovtar: New LIB_DEPENDS syntax.
multimedia/opencinematools: Use standard do-build.
net/siproxd: USES=libtool:keepla (port actually needs .la files for plugins)
net-mgmt/nagios: Remove -fPIC.
net-mgmt/nagios4: Remove -fPIC.
print/cups-base: Only add -lssp_nonshared on i386 and OSVERSION < 1000036.
security/p11-kit: Replace PTHREAD_LIBS in CONFIGURE_ENV with
ac_cv_func_pthread_mutexattr_init=no in CONFIGURE_ARGS. This skips a test
in configure that falsely detects pthread_mutexattr_init in our libc.
sysutils/dar: Fix iconv detection.
x11/rxvt-unicode: Remove -lstdc++ and patch configure to remove a FreeBSD
hack and use $CXX as linker as on other platforms.
PR: 190592
Exp-run by: antoine
Approved by: portmgr (antoine)
As part of this update, bsd.ocaml.mk has been updated to essentially
disable USE_OCAML_LDCONFIG for staged ports. This means when all
ocaml ports are staged, USE_OCAML_LDCONFIG won't work at all. It
breaks staging; I don't know what the long term plan is -- maybe some
sort of post-install script will arrive...
PR: 189039
Submitted by: maintainer (Michael Gruenewald)
Portlint pets: marino
Starting with perl 5.20, they're not installed any more if empty,
and on FreeBSD, they're (always ?) empty.
PR: 190681
Submitted by: mat
Exp-Run by: antoine
Sponsored by: Absolight
%memory, the syntax is wrong, since % is only used for registers. Clang
currently rejects those constructs [1]. Similar fix was applied to NSS by
Mozilla team before [2].
While here: remove BROKEN for ia64/sparc64 where it builds (for powerpc use
BROKEN_powerpc), allow staging as regular user, GC stray MASTER_SITE_SUBDIR.
[1] http://llvm.org/bugs/show_bug.cgi?id=10365
[2] https://bugzilla.mozilla.org/show_bug.cgi?id=671711
This is being committed using svn rather than psvn, which is probably
getting confused by the literal "^M" in a regexp.
CR: D193
Approved by: portmgr (bapt)
The why3 project is worried that users will be confused between this
package and a "vanilla" why3, which was simultaneously added with this
one. They prefer that this port be completely renamed.
While I ponder that, I can at least improve the situation by fixing the
descriptions to lessen the chance of confusion between the ports.
- Switch to PLIST_FILES, PORTDOCS from pkg-plist
- Convert to new options framework
- Remove leading article from COMMENT
- Fix shebang in script, bump PORTREVISION
This class covers most functionality of UNIDATA's UDUNITS Library, however,
with a more sophisticated handling of string expressions.
UDUNITS always decomposes units into the four base units and discards the
original string expressions. Therefore, 'hPa' always becomes '100
kg.m-1.sec-1', and 'day' always becomes '86400 sec'. On the other hand, this
library tries to keep the original expressions as much as possible by default,
while allowing partial to complete decompositions if needed.
WWW: http://www.gfd-dennou.org/arch/ruby/products/numru-units/
PR: ports/190202
Submitted by: Shin-ya MURAKAMI <murashin@gfd-dennou.org>
The primary motivation for adding why3 is to support the upcoming SPARK
2014 port. However, SPARK 2014 requires a custom version. In time the
customizations should make it upstream, but currently the stock version
cannot be used to build SPARK. They are also licensed differently (LGPL2
for stock, GPLv3 for SPARK version).
Rather than force people that find why3 useful on their own to accept a
custom version, both are offered although they currently conflict.
Why3 has optional dependencies on coq, isabelle, and frama-c, and all
three have issus:
* coq rebuilds its libraries in $LOCALBASE, could be issue with coq
* isabella currently has a broken dependency (sjsml) and only for i386
when it's not. Updating to 2013-2 version failed, as did trying to
build it with polyml instead of sjsml
* frama-c is fine, but the plugin code in why3 is still experimental
and upstream recommends that it not be used.
==============================================================
Why3 is a platform for deductive program verification. It provides a rich
language for specification and programming, called WhyML, and relies on
external theorem provers, both automated and interactive, to discharge
verification conditions. Why3 comes with a standard library of logical
theories (integer and real arithmetic, Boolean operations, sets and maps,
etc.) and basic programming data structures (arrays, queues, hash tables,
etc.). A user can write WhyML programs directly and get correct-by-
construction OCaml programs through an automated extraction mechanism.
WhyML is also used as an intermediate language for the verification of C,
Java, or Ada programs.
Why3 is a complete reimplementation of the former Why platform. Among the
new features are: numerous extensions to the input language, a new
architecture for calling external provers, and a well-designed API,
allowing to use Why3 as a software library. An important emphasis is put
on modularity and genericity, giving the end user a possibility to easily
reuse Why3 formalizations or to add support for a new external prover if
wanted.
This is a new requirement for the latest veersion of alt-ergo.
================================================================
The Zarith library implements arithmetic and logical operations over
arbitrary precision numbers. It uses GMP to efficiently implement
arithmetic over large numbers. Small integers are represented as Caml
unboxed integers for speed and space economy.
WWW: http://forge.ocamlcore.org/projects/zarith
ChangeLog:
* R:
i) Tuned Newton iteration algorithms in ngreg and ngreg.proj.
ii) Bug fixes in routines involving univariate minimization via
nlm0.
iii) Minor changes in makedata.x's.
It's possible that EXTRACT_CMD won't be predefined in the near future
in order to support distfiles in multiple formats. We know the post-
extraction tool needs to be tar, so let's specify it directly.
It may be worth looking at the post-extract target here and seeing
if it's really needed. Often one can just change the WRKSRC value to
avoid a custom post-extract taraget.
Approved by: infrastructure improvements blanket
- Remove leading, undefined article from COMMENT
- Add graphics/ImageMagick to RUN_DEPENDS
- Enable garbage collection via devel/boehm-gc-threaded [1]
- Sort variables
- Use autotools [1]
- Use texlive, and don't install files already installed by it [1]
- Use options helpers
- Add option OFFSCREEN (default off) to enable offscreen rendering
using OSMesa library
- Add support for stage dir [1]
- Strip binary file asy
- Add files/patch-configure.ac and files/patch-settings.cc
- Remove Author field, and use a single space after WWW in pkg-descr [1]
Release Notes: http://sourceforge.net/projects/asymptote/files/2.32/
PR: ports/190196 [1]
Submitted by: Shin-ya Murakami <murashin@gfd-dennou.org>
lang/lua51 is working the same way lang/lua52, chase ports using lua 5.1
Make the default lua lua52
Make all lua ports using USES=lua
Approved by: portmgr (implicit)
Maintainers for these ports have been notified on 5 separate occasions
over the course of several months about pending actions required.
We really appreciate the time and effort you put in to maintain
these ports.
If you are still interested in helping to maintain these ports just
reply to me or file a PR and I will happily assign the port to you
again.
Approved by: portmgr (implicit)
- Convert to new LIB_DEPENDS format
- Support STAGEDIR
- Pass maintainership to submitter
PR: ports/189764
Submitted by: Muhammad Moinur Rahman <5u623l20@gmail.com>
- bump PORTREVISION to trigger repackaging after recent ocaml update:
the package is usable only with ocaml which was used to compile facile.
lang/ocaml:
- add upgrading notes for committers
