non port: lang/Makefile |
Number of commits found: 1066 (showing only 100 on this page) |
Friday, 26 Jan 2018
|
12:41 sunpoet
Move lang/py-clojure to lang/py-clojure_py
|
Tuesday, 23 Jan 2018
|
13:58 ale
The Solidity Contract-Oriented Programming Language
WWW: https://github.com/ethereum/solidity
|
Tuesday, 2 Jan 2018
|
08:49 danfe
- Resurrect `lang/cim', upstream is alive now
- Update MASTER_SITES and WWW: line accordingly
- Define LICENSE (GPLv2)
- Convert USE_AUTOTOOLS=libtool -> USES=libtool
- Remove USE_PERL5: while configure script checks
for it, it is never actually used anywhere
- Utilize INSTALL_TARGET=install-strip
- Hook provided tests to the test framework
- TIMESTAMP (cim-3.37.tar.gz) = 1125726905
Tested on: i386, amd64, powerpc, sparc64
|
Wednesday, 27 Dec 2017
|
19:51 sunpoet
Add ruby25 2.5.0 (copied from ruby24)
|
Friday, 1 Dec 2017
|
12:23 rene
Remove expired ports:
2017-11-30 www/p5-Yahoo-Lifestyle: This service has been shut down
2017-11-30 games/linux-rtcw: Use the native and open source games/iortcw instead
2017-11-30 java/bootstrap-openjdk: superseded by java/bootstrap-openjdk[68]
2017-11-30 lang/gcc46: Unsupported by upstream. Use GCC 6 or newer instead.
|
Thursday, 30 Nov 2017
|
15:50 mat
Convert Python ports to FLAVORS.
Ports using USE_PYTHON=distutils are now flavored. They will
automatically get flavors (py27, py34, py35, py36) depending on what
versions they support.
There is also a USE_PYTHON=flavors for ports that do not use distutils
but need FLAVORS to be set. A USE_PYTHON=noflavors can be set if
using distutils but flavors are not wanted.
A new USE_PYTHON=optsuffix that will add PYTHON_PKGNAMESUFFIX has been
added to cope with Python ports that did not have the Python
PKGNAMEPREFIX but are flavored.
USES=python now also exports a PY_FLAVOR variable that contains the
current python flavor. It can be used in dependency lines when the
port itself is not python flavored. For example, deskutils/calibre.
By default, all the flavors are generated. To only generate flavors
for the versions in PYTHON2_DEFAULT and PYTHON3_DEFAULT, define
BUILD_DEFAULT_PYTHON_FLAVORS in your make.conf.
In all the ports with Python dependencies, the *_DEPENDS entries MUST
end with the flavor so that the framework knows which to build/use.
This is done by appending '@${PY_FLAVOR}' after the origin (or
@${FLAVOR} if in a Python module with Python flavors, as the content
will be the same). For example:
RUN_DEPENDS= ${PYTHON_PKGNAMEPREFIX}six>0:devel/py-six@${PY_FLAVOR}
PR: 223071
Reviewed by: portmgr, python
Sponsored by: Absolight
Differential Revision: https://reviews.freebsd.org/D12464
|
Sunday, 26 Nov 2017
|
21:18 ashish
Chez Scheme is both a programming language and an implementation
of that language, with supporting tools and documentation.
As a superset of the language described in the
[Revised<sup>6</sup> Report on the Algorithmic Language Scheme]
(http://www.r6rs.org)(R6RS), Chez Scheme supports all standard
features of Scheme, including first-class procedures, proper treatment
of tail calls, continuations, user-defined records, libraries,
exceptions, and hygienic macro expansion.
Chez Scheme also includes extensive support for interfacing with C
and other languages, support for multiple threads possibly running
on multiple cores, non-blocking I/O, and many other features.
WWW: https://cisco.github.io/ChezScheme
Thanks to jrm for helping with testing.
|
Tuesday, 21 Nov 2017
|
18:50 rene
Remove expired ports:
2017-11-20 news/brag: Tcl/Tk 8.4 is no longer maintained, please use 8.5+
2017-11-20 textproc/srilm: Tcl/Tk 8.4 is no longer maintained, please use 8.5+
2017-11-20 x11-toolkits/tk84: Tcl/Tk 8.4 is no longer maintained, please use
8.5+
2017-11-20 devel/tkinspect: Tcl/Tk 8.4 is no longer maintained, please use 8.5+
2017-11-20 games/bogged: Tcl/Tk 8.4 is no longer maintained, please use 8.5+
2017-11-20 games/ttraffic: Tcl/Tk 8.4 is no longer maintained, please use 8.5+
2017-11-20 games/ifm: Tcl/Tk 8.4 is no longer maintained, please use 8.5+
2017-11-20 games/tksol: Tcl/Tk 8.4 is no longer maintained, please use 8.5+
2017-11-20 lang/tcl84: Tcl/Tk 8.4 is no longer maintained, please use 8.5+
2017-11-20 mail/tkrat2: Tcl/Tk 8.4 is no longer maintained, please use 8.5+
2017-11-20 multimedia/dtv: Tcl/Tk 8.4 is no longer maintained, please use 8.5+
2017-11-20 net-mgmt/netwag: Tcl/Tk 8.4 is no longer maintained, please use 8.5+
|
Thursday, 16 Nov 2017
|
10:48 tz
Add PHP 7.2 RC6
Notable changes:
- mcrypt module was removed
- sodium module was added
- sybase_ct artifacts removed
Also many PECL ports will not work with this version
since some files got renamed.
Reviewed by: mat, ale, Rainer Duffner <rainer@ultra-secure.de>
Differential Revision: https://reviews.freebsd.org/D12980
|
Sunday, 12 Nov 2017
|
19:27 rene
Owl Lisp is a functional dialect of the Scheme programming language.
It is mainly based on the applicative subset of the R7RS standard.
WWW: https://github.com/aoh/owl-lisp/
|
Saturday, 11 Nov 2017
|
10:30 rene
Remove expired ports:
2017-11-04 lang/ats: Unmaintained, outdated, needs lots of refreshment
2017-11-09 games/lordsawar: Broken for more than 6 months
2017-11-09 databases/elixir-ecto_migrate: Broken for more than 6 months
2017-11-09 audio/gspeakers: Broken for more than 6 months
2017-11-09 net/p5-Filesys-SmbClient: Broken for more than 6 months
2017-11-09 audio/tclmidi: Broken for more than 6 months
2017-11-09 security/py-xmlsec: Broken for more than 6 months
2017-11-09 security/samba-virusfilter: Broken for more than 6 months
2017-11-09 textproc/ocaml-pxp: Broken for more than 6 months
2017-11-09 audio/sooperlooper: Broken for more than 6 months
2017-11-09 devel/dwarves: Broken for more than 6 months
2017-11-09 devel/cl-cffi-sbcl: Broken for more than 6 months
2017-11-09 devel/pinba_engine: Broken for more than 6 months
2017-11-09 devel/py-event: Broken for more than 6 months
|
Wednesday, 1 Nov 2017
|
07:40 rene
Remove expired ports:
2017-10-31 lang/gcc5-aux: Essentially unmaintained and replaced by gcc6-aux
2017-10-31 textproc/rubygem-rouge1: Use textproc/rubygem-rouge instead
|
Friday, 20 Oct 2017
|
21:33 gerald
Now that GCC 5.5 has been released and the GCC 5 branch closed, remove
lang/gcc5-devel which used to track snapshots from that branch.
lang/gcc5 is still is available as a direct replacement (and will be
for years).
|
11:17 gahr
lang/fpc-tcl: Remove, has expired
|
11:12 gahr
Revert 452511, I missed some ports
I missed some ports that depend on lang/tcl84 or x11-toolkits/tk84 by
explicitly mentioning the port origin instead of using USES.
|
10:38 gahr
lang/tcl84, x11-toolkits/tk84: remove expired ports
Fix supported versions in USES=t[cl|k], remove last consumer (lang/fpc-tcl) and
bump PORTREVISION on two other ports that have had their dependencies or
default options changed (lang/smalltalk and x11-toolkits/ocaml-labltk)
|
Sunday, 3 Sep 2017
|
10:33 rene
Remove Python 3.3 and related ports, it expired today:
2017-09-01 lang/python33: No longer receives bug fixes, only security updates.
Please update to Python 3.6
databases/py33-gdbm
databases/py33-sqlite3
devel/py33-setuptools
x11-toolkits/py33-tkinter
devel/py3-enum34
|
Wednesday, 23 Aug 2017
|
11:33 rene
Remove expired ports:
2017-08-23 games/plee-the-bear: Broken for more than 6 months
2017-08-23 x11-themes/kde-icons-umicons: Broken for more than 6 months
2017-08-23 lang/bigloo: Broken for more than 6 months
2017-08-23 audio/linux-neroaaccodec: Broken for more than 6 months
2017-08-23 x11-themes/kde-icons-dark-glass: Broken for more than 6 months
2017-08-23 misc/fortune-mod-ferengi_rules_of_acquisition: Broken for more than 6
months
2017-08-23 misc/fortune-mod-culmea-culmilor: Broken for more than 6 months
2017-08-23 misc/xyzcmd: Broken for more than 6 months
2017-08-23 russian/fortuneru: Broken for more than 6 months
2017-08-23 security/bdc: Broken for more than 6 months
2017-08-23 x11-themes/kde-icons-icosx: Broken for more than 6 months
2017-08-23 devel/insight: Broken for more than 6 months
2017-08-23 devel/gdb66: Broken for more than 6 months
2017-08-23 biology/biojava: Broken for more than 6 months
2017-08-23 games/xroach: Broken for more than 6 months
|
Monday, 21 Aug 2017
|
09:51 rene
Remove expired port:
2017-08-21 lang/whitespace: Mastersite disappeared
|
Monday, 14 Aug 2017
|
23:20 gerald
Welcome GCC 7.1, the first release of the GCC 7 series!
In terms of optimizations, GCC now uses a new local register allocator
(LRA) for most targets (now also including PowerPC and SPARC), a new
store merging pass, is able to determine the return value or range of
return values of some calls to the sprintf family of functions as
input for futher passes, features improved code hoisting, new
interprocedural bitwise constant propagation, interprocedural value
range propagation, new loop splitting, improved shrink-wrapping that
separates portions of prologues and epilogues, and many more.
DWARF 5 is supported through the -gdwarf-5, while DWARF 4 remains the
default for the time being.
The C and C++ frontends have gained a large number of additional
warnings such as -Wpointer-compare, -Wduplicated-branches, -Wrestrict,
-Wmemset-elt-size, -Wint-in-bool-context, -Wswitch-unreachable,
-Wexpansion-to-defined, -Wregister, -Wvla-larger-than=N,
-Wduplicate-decl-specifier, -Wdangling-else, many of which are
enabled by default or at least with -Wall.
The -Wshadow warning has been split into -Wshadow=global, -Wshadow=local,
and -Wshadow=compatible-local .
GCC 7 also brings a number of enhancements that help detect buffer
overflow and other forms of invalid memory accesses, among others
enabled by the -Walloc-size-larger-than= -Walloc-zero, -Walloca, and
-Walloca-larger-than= command-line options.
-Wformat-overflow=level option detects certain and likely buffer
overflow in calls to the sprintf family of formatted output functions;
and -Wformat-truncation= and -Wstringop-overflow= have been added as
well and -Wnunnull enahcned.
So-called fixit hints, that is, notes on how to possibly address
a warning or error have seen signficant improvements.
The command-line option -fdiagnostics-generate-patch will print a
patch in "unified" format after any diagnostics are printed, showing
the result of applying all fix-it hints.
The C front end now supports type names _FloatN for floating-point
types with IEEE interchange formats and _FloatNx for floating-point
types with IEEE extended formats.
The C++ front end has experimental support for all of the current
C++17 draft with the -std=c++1z or -std=gnu++1z flags, including if
constexpr, class template argument deduction, auto template parameters,
and structured bindings. Experimental support for C++17 is in libstdc++
with lots of new features.
libstdc++ Profile Mode and Cilk+ extensions to the C and C++ languages
have been deprecated.
Fortran added a number of extensions for compatibility with legacy code
and improved and add various features.
GCC 7 provides a complete implementation of the Go 1.8.1 user package.
Notably this release ends the history of Java (GCJ and libgcj) as part
of GCC; all traces thereof and options have been removed in favor of
OpenJDK, quite simplifying and streamlining building this port,
Many new processors such as ARM Cortex-A73, Broadcom Vulcan, Cavium
ThunderX models, Qualcomm Falkor (all on the ARM side) and features
such as AVX-512 enhancements (on x86-64) as well as optimization
changes have been added.
On ARM targets (arm*-*-*), a bug introduced in GCC 5 that affects
conformance to the procedure call standard (AAPCS) has been fixed. The
bug affects some C++ code where class objects are passed by value to
functions and could result in incorrect or inconsistent code being
generated. This is an ABI change. If the option -Wpsabi is enabled
(on by default) the compiler will emit a diagnostic note for code that
might be affected.
https://gcc.gnu.org/gcc-7/changes.html has a comprehensive set of
changes and https://gcc.gnu.org/gcc-7/porting_to.html has a helpful
overview of issue you may encountering porting to this new version.
PR: 220794
|
Monday, 31 Jul 2017
|
17:42 rene
Remove expired ports:
2017-07-31 net/rubygem-oauth212: Only created for www/gitlab; please use
net/rubygem-oauth2 instead
2017-07-31 textproc/rubygem-liquid3: Use textproc/rubygem-liquid instead
2017-07-31 mail/dovecot2-antispam-plugin: Use pigeonhole instead. See
https://wiki2.dovecot.org/HowTo/AntispamWithSieve
2017-07-31 mail/dovecot-antispam: Dovecot-1.x is deprecated. Use dovecot2 and
dovecot2-antispam-plugin instead
2017-07-31 mail/dovecot-sieve: Dovecot-1.x is deprecated. Use dovecot2 and
dovecot-pigeonhole instead
2017-07-31 mail/dovecot-managesieve: Dovecot-1.x is deprecated. Use dovecot2 and
dovecot-pigeonhole instead
2017-07-31 www/rubygem-jquery-ui-rails5-rails4: Only created for www/gitlab;
please use www/rubygem-jquery-ui-rails-rails4 instead
2017-07-31 security/rubygem-omniauth13: Only created for www/gitlab; please use
security/rubygem-omniauth instead
2017-07-31 devel/rubygem-health_check22: Only created for www/gitlab; please use
devel/rubygem-health_check instead
2017-07-31 devel/rubygem-semantic_puppet0: Use devel/rubygem-semantic_puppet
instead
2017-07-31 devel/rubygem-newrelic_rpm3: Only created for www/gitlab; please use
devel/rubygem-newrelic_rpm instead
2017-07-31 lang/p5-Parse-Perl: does not build with Perl >= 5.22
2017-07-31 sysutils/rubygem-puppet_forge1: Use sysutils/rubygem-puppet_forge
instead
2017-07-31 sysutils/rubygem-SyslogLogger: Project is EOL'd because it was merged
into Ruby 2.0
|
Sunday, 23 Jul 2017
|
05:25 acm
- New port: lang/dlang-tools
This repository hosts various tools redistributed with DMD or used internally
during various build tasks.
WWW: https://github.com/dlang/tools
|
Friday, 23 Jun 2017
|
08:55 olgeni
Add lang/erlang-runtime20, Erlang runtime for version 20.0.
|
Friday, 9 Jun 2017
|
20:08 kwm
Add spidermonkey 38 aka mozjs 3.8.
Spidermonkey is mozilla's JavaScript engine. This version is based
on the last release of firefox esr; 38.8.0. This is done because
the stand alone release aren't done often enough. I copied this idea
from the fedora spidermonkey38 spec file.
Probably due to the fact that spidermonkey in the firefox tarball isn't
intended to be installed standalone we need to manualy replace the header
symlinks in the stage dir with the actual header files.
Thanks to miki and streja for build testing on armv6 and aarch64.
|
Thursday, 1 Jun 2017
|
02:26 rene
Remove lang/perl5.20 and unregister it, it expired in May 2017.
Submitted by: rene
Reviewed by: perl (sunpoet), portmgr (mat)
Differential Revision: https://reviews.freebsd.org/D10983
|
Wednesday, 31 May 2017
|
09:02 mat
Introduce Perl 5.26.
A few important changes:
- '.' is no longer in @INC.
- "do" now gives a deprecation warning when it fails to load a file
which it would have loaded had "." been in @INC.
- In regular expression patterns, a literal left brace "{" should be
escaped.
Changes: https://metacpan.org/pod/release/XSAWYERX/perl-5.26.0/pod/perldelta.pod
Sponsored by: Absolight
|
Tuesday, 2 May 2017
|
21:51 sunpoet
Remove lang/ruby21: upstream support ended
|
02:45 miwi
- Nuke llvm36/clang36 - Obsolete and unmaintained upstream
Approved by: brooks (maintainer)
Differential Revision: https://reviews.freebsd.org/D10419
|
Sunday, 30 Apr 2017
|
15:47 ler
2017-04-30 devel/stormlib-ghost++: Unfetchable for more than six months (google
code has gone away)
2017-04-30 devel/py-coil: Unfetchable for more than six months (google code has
gone away)
2017-04-30 devel/py-cmdln: Unfetchable for more than six months (google code has
gone away)
2017-04-30 devel/privman: Unfetchable for more than six months (google code has
gone away)
2017-04-30 devel/c-unit: Unfetchable for more than six months (google code has
gone away)
2017-04-30 devel/py-px: Unfetchable for more than six months (google code has
gone away)
2017-04-30 devel/nglogc: Unfetchable for more than six months (google code has
gone away)
2017-04-30 devel/bncsutil-ghost++: Unfetchable for more than six months (google
code has gone away)
2017-04-30 devel/liblouisxml: Unfetchable for more than six months (google code
has gone away)
2017-04-30 devel/nxt-python: Unfetchable for more than six months (google code
has gone away)
2017-04-30 devel/spdict: Unfetchable for more than six months (google code has
gone away)
2017-04-30 devel/guiloader-c++: Unfetchable for more than six months (google
code has gone away)
2017-04-30 devel/streamhtmlparser: Unfetchable for more than six months (google
code has gone away)
2017-04-30 devel/winpdb: Unfetchable for more than six months (google code has
gone away)
2017-04-30 net/opendpi: Unfetchable for more than six months (google code has
gone away)
2017-04-30 net/py-pybeanstalk: Unfetchable for more than six months (google code
has gone away)
2017-04-30 net-im/qwit: Unfetchable for more than six months (google code has
gone away)
2017-04-30 net-im/linux-instantbird: Unfetchable for more than six months
(google code has gone away)
2017-04-30 net-im/jabber-pyicq: Unfetchable for more than six months (google
code has gone away)
2017-04-30 net-im/qwit-devel: Unfetchable for more than six months (google code
has gone away)
2017-04-30 net-im/naim: Unfetchable for more than six months (google code has
gone away)
2017-04-30 net-im/pwytter: Unfetchable for more than six months (google code has
gone away)
2017-04-30 sysutils/sievelog: Unfetchable for more than six months (google code
has gone away)
2017-04-30 sysutils/ldapenter: Unfetchable for more than six months (google code
has gone away)
2017-04-30 sysutils/py-danzfs: Unfetchable for more than six months (google code
has gone away)
2017-04-30 sysutils/plasma-applet-apcups: Unfetchable for more than six months
(google code has gone away)
2017-04-30 sysutils/scanmem: Unfetchable for more than six months (google code
has gone away)
2017-04-30 sysutils/pdsh: Unfetchable for more than six months (google code has
gone away)
2017-04-30 deskutils/superswitcher: Unfetchable for more than six months (google
code has gone away)
2017-04-30 deskutils/plasma-applet-playwolf: Unfetchable for more than six
months (google code has gone away)
2017-04-30 deskutils/nagaina: Unfetchable for more than six months (google code
has gone away)
2017-04-30 deskutils/vboxgtk: Unfetchable for more than six months (google code
has gone away)
2017-04-30 deskutils/libgcal: Unfetchable for more than six months (google code
has gone away)
2017-04-30 math/carve: Unfetchable for more than six months (google code has
gone away)
2017-04-30 math/foma: Unfetchable for more than six months (google code has gone
away)
2017-04-30 math/libjbigi: Unfetchable for more than six months (google code has
gone away)
2017-04-30 multimedia/gcap: Unfetchable for more than six months (google code
has gone away)
2017-04-30 multimedia/freetuxtv: Unfetchable for more than six months (google
code has gone away)
2017-04-30 multimedia/bangarang: Unfetchable for more than six months (google
code has gone away)
2017-04-30 multimedia/opencinematools: Unfetchable for more than six months
(google code has gone away)
2017-04-30 multimedia/vstream-client: Unfetchable for more than six months
(google code has gone away)
2017-04-30 biology/treeviewx: Unfetchable for more than six months (google code
has gone away)
2017-04-30 www/pylot: Unfetchable for more than six months (google code has gone
away)
2017-04-30 www/xpi-pencil: Unfetchable for more than six months (google code has
gone away)
2017-04-30 www/mod_myvhost: Unfetchable for more than six months (google code
has gone away)
2017-04-30 www/feedonfeeds: Unfetchable for more than six months (google code
has gone away)
2017-04-30 www/mod_jail: Unfetchable for more than six months (google code has
gone away)
2017-04-30 www/jspacker: Unfetchable for more than six months (google code has
gone away)
2017-04-30 www/cocoon: Overly complex port with no maintainer since 2008,
requires openjdk 1.6
2017-04-30 www/mod_authz_unixgroup24: Unfetchable for more than six months
(google code has gone away)
2017-04-30 www/trac-down: Upstream is gone
www/tengine
2017-04-30 www/arora: Unfetchable for more than six months (google code has gone
away)
2017-04-30 www/py-postmarkup: Unfetchable for more than six months (google code
has gone away)
2017-04-30 www/py-dotcloud.cli: deprecated in upstream
2017-04-30 www/closure-linter: Unfetchable for more than six months (google code
has gone away)
2017-04-30 www/httpsqs: Unfetchable for more than six months (google code has
gone away)
2017-04-30 www/sventon: Unfetchable for more than six months (google code has
gone away)
2017-04-30 www/mod_authnz_external22: Unfetchable for more than six months
(google code has gone away)
2017-04-30 www/mod_authn_otp: Unfetchable for more than six months (google code
has gone away)
2017-04-30 www/php-plurk-api: Unfetchable for more than six months (google code
has gone away)
2017-04-30 www/py-django-app-plugins: Unfetchable for more than six months
(google code has gone away)
2017-04-30 www/mod_authz_unixgroup22: Unfetchable for more than six months
(google code has gone away)
2017-04-30 www/squidstats: Unfetchable for more than six months (google code has
gone away)
2017-04-30 www/mod_log_firstbyte: Unfetchable for more than six months (google
code has gone away)
2017-04-30 www/gaeo: Unfetchable for more than six months (google code has gone
away)
2017-04-30 www/xpi-pentadactyl: Unfetchable for more than six months (google
code has gone away)
2017-04-30 net-mgmt/py-flowtools: Unfetchable for more than six months (google
code has gone away)
2017-04-30 chinese/ydict: Unfetchable for more than six months (google code has
gone away)
2017-04-30 chinese/py-cconv: Unfetchable for more than six months (google code
has gone away)
2017-04-30 chinese/fqterm: Unfetchable for more than six months (google code has
gone away)
2017-04-30 chinese/libgooglepinyin: Unfetchable for more than six months (google
code has gone away)
2017-04-30 chinese/p5-cconv: Unfetchable for more than six months (google code
has gone away)
2017-04-30 chinese/fcitx-googlepinyin: Unfetchable for more than six months
(google code has gone away)
2017-04-30 chinese/php-cconv: Unfetchable for more than six months (google code
has gone away)
2017-04-30 chinese/ibus-table-chinese: Unfetchable for more than six months
(google code has gone away)
2017-04-30 databases/jdbm2: Unfetchable for more than six months (google code
has gone away)
2017-04-30 databases/akonadi-googledata: Unfetchable for more than six months
(google code has gone away)
2017-04-30 lang/ofc: Unfetchable for more than six months (google code has gone
away)
2017-04-30 comms/esmska: Unfetchable for more than six months (google code has
gone away)
2017-04-30 x11/keynav: Unfetchable for more than six months (google code has
gone away)
2017-04-30 x11/hotwire-shell: Unfetchable for more than six months (google code
has gone away)
2017-04-30 security/fuzzdb: Unfetchable for more than six months (google code
has gone away)
2017-04-30 security/truecrack: Unfetchable for more than six months (google code
has gone away)
2017-04-30 security/skipfish: Unfetchable for more than six months (google code
has gone away)
2017-04-30 security/py-yara-editor: Unfetchable for more than six months (google
code has gone away)
2017-04-30 security/nmapsi4: Unfetchable for more than six months (google code
has gone away)
2017-04-30 security/cmd5checkpw: Unfetchable for more than six months (google
code has gone away)
2017-04-30 net-p2p/unworkable: Unfetchable for more than six months (google code
has gone away)
2017-04-30 net-p2p/rtgui: Unfetchable for more than six months (google code has
gone away)
2017-04-30 audio/xpi-musicpm: Unfetchable for more than six months (google code
has gone away)
2017-04-30 audio/pidgin-musictracker: Unfetchable for more than six months
(google code has gone away)
2017-04-30 audio/logitechmediaserver-superdatetime: Unfetchable for more than
six months (google code has gone away)
2017-04-30 audio/last-cmus: Unfetchable for more than six months (google code
has gone away)
2017-04-30 audio/mehdiaplayer: Unfetchable for more than six months (google code
has gone away)
2017-04-30 japanese/nhocr: Unfetchable for more than six months (google code has
gone away)
2017-04-30 misc/xsw: Unfetchable for more than six months (google code has gone
away)
2017-04-30 dns/py-adns: Unfetchable for more than six months (google code has
gone away)
2017-04-30 dns/py-bonjour: Unfetchable for more than six months (google code has
gone away)
2017-04-30 games/robocalypto: Unfetchable for more than six months (google code
has gone away)
2017-04-30 games/libfov: Unfetchable for more than six months (google code has
gone away)
2017-04-30 games/dcross: Unfetchable for more than six months (google code has
gone away)
2017-04-30 games/lostfeathers: Unfetchable for more than six months (google code
has gone away)
2017-04-30 games/hexglass: Unfetchable for more than six months (google code has
gone away)
2017-04-30 textproc/ibus-table: Unfetchable for more than six months (google
code has gone away)
2017-04-30 textproc/chm2pdf: Unfetchable for more than six months (google code
has gone away)
2017-04-30 textproc/dtdinst: Unfetchable for more than six months (google code
has gone away)
2017-04-30 textproc/py-xmltv: Unfetchable for more than six months (google code
has gone away)
2017-04-30 textproc/ibus-m17n: Unfetchable for more than six months (google code
has gone away)
2017-04-30 textproc/libroxml: Unfetchable for more than six months (google code
has gone away)
2017-04-30 mail/gnome-gmail-notifier: Unfetchable for more than six months
(google code has gone away)
2017-04-30 irc/py-gozerbot: Unfetchable for more than six months (google code
has gone away)
2017-04-30 irc/tircd: Unfetchable for more than six months (google code has gone
away)
2017-04-30 graphics/qiviewer: Unfetchable for more than six months (google code
has gone away)
2017-04-30 graphics/py-gchartwrapper: Unfetchable for more than six months
(google code has gone away)
2017-04-30 graphics/svgfig: Unfetchable for more than six months (google code
has gone away)
2017-04-30 graphics/iulib: Unfetchable for more than six months (google code has
gone away)
2017-04-30 graphics/seam-carving-gui: Unfetchable for more than six months
(google code has gone away)
2017-04-30 graphics/py-pyggel: Unfetchable for more than six months (google code
has gone away)
2017-04-30 graphics/rubygem-gemojione2: Use graphics/rubygem-gemojione instead
|
Monday, 24 Apr 2017
|
18:37 gerald
Welcome GCC 8! GCC 7 (provided via lang/gcc7-devel) has been branched
for the release and this first GCC 8 snapshot is still very close to that,
whereas the coming months are going to provide a rougher ride through
the development stages of GCC 8.
|
Saturday, 1 Apr 2017
|
11:18 bapt
Fix typo
|
10:58 bapt
Remove LLVM 3.7
It is unused and not maintained by upstream
Approved by: brooks
|
Thursday, 30 Mar 2017
|
21:36 sunpoet
Add p5-List-MoreUtils-XS 0.418
List::MoreUtils::XS provides compiled List::MoreUtils functions.
WWW: http://search.cpan.org/dist/List-MoreUtils-XS/
|
Wednesday, 22 Mar 2017
|
11:51 araujo
Create a python3 version of lang/cython.
|
Monday, 13 Mar 2017
|
15:11 tobik
New port: lang/myrddin
Myrddin is a systems programming language that covers a similar niche
as C including desktop, OS, and embedded development, but at the same
time making it harder to shoot yourself in the foot.
It is designed to be a simple language that runs close to the metal,
giving the programmer predictable and transparent behavior and mental
model. It also does strong type checking, generics, type inference,
closures, and traits.
Myrddin is not a language designed to explore the forefront of type
theory or compiler technology. It is not a language that is focused
on guaranteeing perfect safety. It is satisfied to be a practical,
small, fairly well defined, and easy to understand language for code
that needs to be close to the hardware.
WWW: https://myrlang.org/
Approved by: lme (mentor)
Differential Revision: https://reviews.freebsd.org/D9989
|
Sunday, 12 Mar 2017
|
21:35 tijl
- Rename to lower case opencoarrays.
- Add parallel pseudo category.
Requested by: danfe
|
20:25 tijl
Add lang/OpenCoarrays, an implementation of Fortran coarrays using MPI.
OpenCoarrays is an open-source software project that supports the coarray
Fortran (CAF) parallel programming features of the Fortran 2008 standard
and several features proposed for Fortran 2015.
WWW: http://www.opencoarrays.org/
PR: 217283
Submitted by: Anton Shterenlikht <mexas@bris.ac.uk>
|
Tuesday, 28 Feb 2017
|
14:52 acm
New ports: lang/ldc
The LDC project aims to provide a portable D programming language compiler
with modern optimization and code generation capabilities.
The compiler uses the official DMD frontends to support the latest version of
D2, and relies on the LLVM Core libraries for code generation.
LDC is fully Open Source; the parts of the code not taken/adapted from other
projects are BSD-licensed (see the LICENSE file for details).
WWW: http://wiki.dlang.org/LDC
|
Tuesday, 14 Feb 2017
|
20:27 rene
Remove expired port:
2017-02-13 lang/libjit: This version is severely out of date and its use is
discouraged; see http://www.gnu.org/software/libjit/
|
Thursday, 9 Feb 2017
|
18:22 amdmi3
- Add lang/py-hy
Hy is a wonderful dialect of Lisp that's embedded in Python.
Since Hy transforms its Lisp code into the Python Abstract Syntax Tree, you
have the whole beautiful world of Python at your fingertips, in Lisp form!
WWW: http://hylang.org/
PR: 216784
Submitted by: dave@dal.ca
|
Friday, 3 Feb 2017
|
05:50 marino
Add gnatcross-aarch64, a slave port of gnatdroid (C/Ada cross-compiler)
This is a FreeBSD/DF cross-compiler targeting FreeBSD/ARM64 (aarch64).
It differs from devel/aarch64-none-elf-gcc in the following ways:
1) uses FreeBSD/ARM64 headers and libs (true sysroot)
2) Supports Ada front end
3) Supports Fortran front end (optionally, default off)
4) Supports ObjC front end (optionally, default off)
It passes all but 5 ACATS tests:
1) c34005o (GNAT ICE, expand_shift_1 at expmed.c:2490)
2) c34007i (GNAT ICE, expand_shift_1 at expmed.c:2490)
3) cb1010a (stack check related)
4) cb1010c (stack check related)
5) cb1010d (stack check related)
Ideally this cross-compiler will lead to a fully native Ada compiler for
FreeBSD/ARM64 which leads to lang/gcc6-aux support, enabling the Ada
framework for that platform.
|
Tuesday, 24 Jan 2017
|
13:47 tz
Connect PHP 7.1 port (r432324)
|
Tuesday, 3 Jan 2017
|
08:06 novel
Add lang/cling: Interactive C++ Interpreter Based on LLVM and Clang Libs
Cling is an interactive C++ interpreter,
built on the top of LLVM and Clang libraries.
Its advantages over the standard interpreters are that it has command prompt
and uses just-in-time (JIT) compiler for compilation.
One of Cling's main goals is to provide contemporary, high-performance
alternative of the current C++ interpreter in the ROOT project "CINT".
The backward-compatibility with CINT is major priority during the development.
Its main advantages are:
Production-grade parser.
Just-in-time compiler (JIT).
Modular C++ API from the ground up.
Separate parser and execution engine.
C++ 11 support through clang.
PR: 215689
Submitted by: Mahdi Mokhtari
Reviewed by: mat, novel
Differential Revision: https://reviews.freebsd.org/D9012
|
Saturday, 31 Dec 2016
|
17:25 rene
Drop support for Linux Fedora 10 (ports part)
games/dsnake only worked with linux-f10
Should fix INDEX
audio/linux-f10-sdl_mixer
audio/linux-f10-pulseaudio-libs
audio/linux-f10-freealut
audio/linux-f10-arts
audio/linux-f10-esound
audio/linux-f10-libogg
audio/linux-f10-alsa-plugins-oss
audio/linux-f10-openal
audio/linux-f10-openal-soft
audio/linux-f10-nas-libs
audio/linux-f10-alsa-lib
audio/linux-f10-libvorbis
audio/linux-f10-libaudiofile
audio/linux-f10-mikmod
databases/linux-f10-sqlite3
devel/linux-f10-dbus-glib
devel/linux-f10-sdl12
devel/linux-f10-libglade2
devel/linux-f10-devtools
devel/linux-f10-allegro
devel/linux-f10-nspr
devel/linux-f10-dbus-libs
devel/linux-f10-libsigc++20
devel/linux-f10-ncurses-base
dns/linux-f10-libasyncns
emulators/linux_base-f10
emulators/linux-f10
ftp/linux-f10-curl
games/dsnake
graphics/linux-f10-sdl_image
graphics/linux-f10-sdl_ttf
graphics/linux-f10-glew
graphics/linux-f10-ungif
graphics/linux-f10-png
graphics/linux-f10-tiff
graphics/linux-f10-dri
graphics/linux-f10-jpeg
graphics/linux-f10-libGLU
graphics/linux-f10-gdk-pixbuf
graphics/linux-f10-libmng
graphics/linux-f10-cairo
graphics/linux-f10-imlib
lang/linux-f10-tcl85
lang/linux-f10-libg2c
multimedia/linux-f10-libtheora
multimedia/linux-f10-libv4l
net/linux-f10-openldap
net/linux-f10-nss_ldap
print/linux-f10-cups-libs
security/linux-f10-gnutls
security/linux-f10-nss
security/linux-f10-openssl
security/linux-f10-libgpg-error
security/linux-f10-libtasn1
security/linux-f10-libgcrypt
security/linux-f10-libssh2
security/linux-f10-cyrus-sasl2
sysutils/linux-f10-procps
textproc/linux-f10-aspell
textproc/linux-f10-expat
textproc/linux-f10-scim-gtk
textproc/linux-f10-scim-libs
textproc/linux-f10-libxml2
x11/linux-f10-xorg-libs
x11-fonts/linux-f10-fontconfig
x11-themes/linux-f10-qtcurve-gtk2
x11-themes/linux-f10-hicolor-icon-theme
x11-toolkits/linux-f10-qt45
x11-toolkits/linux-f10-gtk2
x11-toolkits/linux-f10-openmotif
x11-toolkits/linux-f10-pango
accessibility/linux-f10-atk
archivers/linux-f10-ucl
archivers/linux-f10-upx
|
16:58 rene
Remove expired port:
2016-12-31 lang/perl5.18: Unsupported, please upgrade to a more recent version
of Perl
|
Monday, 26 Dec 2016
|
19:00 swills
Add Ruby 2.4.0
While here, remove local patches that are no longer needed and simplify
post-patch target.
|
Sunday, 25 Dec 2016
|
15:08 wen
- Repocopy lang/python35 --> lang/python36 and update to 3.6.0
|
Tuesday, 20 Dec 2016
|
09:30 lwhsu
- Add lang/julia, Julia Language: A fresh approach to technical computing
PR: 215297
Submitted by: Iblis Lin <iblis@hs.ntnu.edu.tw>
|
Monday, 21 Nov 2016
|
14:36 kwm
Add pocl.
Portable OpenCL aims to be an efficient open source (MIT-licensed)
implementation of the OpenCL 1.2 standard. pocl uses Clang as an
OpenCL C frontend and LLVM for the kernel compiler implementation,
and as a portability layer. Thus, if your desired target has an LLVM
backend, it should be able to get OpenCL support easily by using pocl.
PR: 171914
Submitted by: O.Hartmann <ohartmann@walstatt.org> (based on)
|
Saturday, 19 Nov 2016
|
19:33 riggs
Add new port: lang/neko, the neko programming language and VM
PR: 204664
Submitted by: penzin.dev@gmail.com (maintainer)
|
Monday, 14 Nov 2016
|
16:12 tcberner
Importing KDE Frameworks into the ports tree (required for newer KDE Desktop and
Applications)
KDE Frameworks is a collection of libraries and software frameworks by KDE
that serve as technological foundation for KDE Plasma 5 and KDE Applications
distributed under the GNU Lesser General Public License (LGPL) [1].
The work is based on what we have in the KDE testing repo [2].
This is the next big step in updating the KDE Desktop and its Applications
to anything less dusty.
With this change, `USES=kde:5` is now a valid option. Ports that need to depend
on KDE Framework can now set:
USES=kde:5
USE_KDE=<framework1> <framework2> ... <frameworkX>
For example: www/qupzilla-qt5 can depend on sysutils/kf5-kwallet via:
KWALLET_USE= KDE=wallet
I would like to thank Raphael and Adriaan for reviewing the ports in the testing
repo :)
[1] https://en.wikipedia.org/wiki/KDE_Frameworks
[2] http://src.mouf.net/area51/log/branches/plasma5
Reviewed by: rakuco, mat, groot_kde.org
Approved by: rakuco (maintainer)
Differential Revision: https://reviews.freebsd.org/D8329
|
Friday, 21 Oct 2016
|
07:29 rene
Unlink expired PHP5.5 ports.
|
Wednesday, 19 Oct 2016
|
14:50 tijl
Add Linux CentOS 7 infrastructure ports.
Mk/Uses/linux.mk changes:
- Add support for architecture neutral (noarch) distfiles.
- Add support for 64-bit only ports: set IGNORE on i386 and don't install
32-bit compat libraries on amd64.
Submitted by: Piotr Kubaj <pkubaj@anongoth.pl>
Differential Revision: https://reviews.freebsd.org/D7886
|
Friday, 14 Oct 2016
|
15:30 dbn
lang/referenceassemblies-pcl: add new port
You can build .NET apps across a wide variety of platforms, and the
Portable Class Library (PCL) helps you share your code and libraries across
.NET platforms. Specifically, the PCL provides a set of common reference
assemblies that enable .NET libraries and binaries to be used on any .NET
based runtime - from phones, to clients, to servers and clouds
Notes:
- The official reference assemblies come from a Microsoft download page.
- Additional reference assemblies come from Debian (via Mono).
- Bump PORTREVISION to indicate we are not using the pure PCL from Microsoft
- Provide a plain-text version of the EULA that is dialog(1) friendly.
- The official RTF based EULA is distributed alongside the LICENSE file
|
Friday, 30 Sep 2016
|
20:31 rene
Remove expired ports:
2016-09-30 math/why3-spark: Only useful for deprecated lang/spark
2016-09-30 lang/spark: Broken for more than 6 months
2016-09-30 math/alt-ergo-spark: Only useful for deprecate lang/spark
2016-09-30 security/nessus-libnasl: Abandoned, consider using OpenVAS
2016-09-30 security/nessus: Abandoned, consider using OpenVAS
2016-09-30 security/nessus-libraries: Abandoned, consider using OpenVAS
2016-09-30 security/nessus-plugins: Abandoned, consider using OpenVAS
|
Monday, 12 Sep 2016
|
05:50 riggs
Add cilkplus: A set of compiler extensions from Intel for parallel computing
PR: 212317
Submitted by: pfg (maintainer)
|
Monday, 8 Aug 2016
|
08:07 olgeni
Add lang/erlang-runtime19, Erlang runtime for version 19.
|
Thursday, 4 Aug 2016
|
09:30 antoine
Fix index
|
Monday, 4 Jul 2016
|
20:48 rene
Remove expired ports without open PRs:
2016-07-04 security/openpgpsdk: Broken for more than 6 months
2016-07-04 security/radiusniff: Broken for more than 6 months
2016-07-04 security/pear-Auth_OpenID: Broken for more than 6 months
2016-07-04 security/sshit: Broken for more than 6 months
2016-07-04 security/ifd-slb_rf60: Broken for more than 6 months
2016-07-04 security/rainbowcrack: Broken for more than 6 months
2016-07-04 security/vlog: Broken for more than 6 months
2016-07-04 security/cryptstring: Broken for more than 6 months
2016-07-04 x11/libdnd: Broken for more than 6 months
2016-07-04 x11/xlupe: Broken for more than 6 months
2016-07-04 x11/xco: Broken for more than 6 months
2016-07-04 x11/xclick: Broken for more than 6 months
2016-07-04 devel/ocfpcsc: Broken for more than 6 months
2016-07-04 devel/dits: Broken for more than 6 months
2016-07-04 devel/ruby-cache: Broken for more than 6 months
2016-07-04 devel/rapidsvn: Broken for more than 6 months
2016-07-04 devel/svnkit: Broken for more than 6 months
2016-07-04 devel/py-EnthoughtBase: Broken for more than 6 months
2016-07-04 devel/cl-uffi: Broken for more than 6 months
2016-07-04 devel/ruby-event-loop: Broken for more than 6 months
2016-07-04 devel/libqxt: Broken for more than 6 months
2016-07-04 devel/dasm: Broken for more than 6 months
2016-07-04 devel/libopendaap: Broken for more than 6 months
2016-07-04 devel/cl-uffi-sbcl: Depends on expiring devel/cl-uffi
2016-07-04 devel/cvs2p4: Broken for more than 6 months
2016-07-04 devel/bufferpool: Broken for more than 6 months
2016-07-04 devel/ifd-test: Broken for more than 6 months
2016-07-04 devel/eric4: Broken for more than 6 months
2016-07-04 devel/uclmmbase: Broken for more than 6 months
2016-07-04 devel/obfuscatejs: Broken for more than 6 months
2016-07-04 devel/oniguruma: Broken for more than 6 months
2016-07-04 devel/libbnr: Broken for more than 6 months
2016-07-04 devel/c4: Broken for more than 6 months
2016-07-04 devel/memcheck: Broken for more than 6 months
2016-07-04 devel/liblcfg: Broken for more than 6 months
2016-07-04 devel/omake: Broken for more than 6 months
2016-07-04 devel/svndelta: Broken for more than 6 months
2016-07-04 devel/papp: Broken for more than 6 months
2016-07-04 devel/mk: Broken for more than 6 months
2016-07-04 devel/avltree: Broken for more than 6 months
2016-07-04 devel/cbind: Broken for more than 6 months
2016-07-04 devel/tclgetopts: Broken for more than 6 months
2016-07-04 devel/antlrworks: Broken for more than 6 months
2016-07-04 devel/acme: Broken for more than 6 months
2016-07-04 devel/libopensync022: Broken for more than 6 months
2016-07-04 archivers/epkg: Broken for more than 6 months
2016-07-04 print/enscriptfonts: Broken for more than 6 months
2016-07-04 print/mup: Broken for more than 6 months
2016-07-04 lang/lua-mode.el: Broken for more than 6 months
2016-07-04 lang/s9fes: Broken for more than 6 months
2016-07-04 lang/alisp: Broken for more than 6 months
2016-07-04 lang/intel2gas: Broken for more than 6 months
2016-07-04 lang/stalin: Broken for more than 6 months
2016-07-04 french/eric4: Depends on expiring devel/eric4
2016-07-04 textproc/exslt: Broken for more than 6 months
2016-07-04 textproc/xt: Broken for more than 6 months
2016-07-04 textproc/ssddiff: Broken for more than 6 months
2016-07-04 textproc/xslint: Broken for more than 6 months
2016-07-04 textproc/cbedic: Broken for more than 6 months
2016-07-04 textproc/tralics: Broken for more than 6 months
2016-07-04 textproc/docbookide.el: Broken for more than 6 months
2016-07-04 textproc/glpi-plugins-AdditionalReports: Broken for more than 6
months
2016-07-04 textproc/tdhkit: Broken for more than 6 months
2016-07-04 textproc/p5-Groonga-API: Broken for more than 6 months
2016-07-04 textproc/glpi-plugins-DataInjection: Broken for more than 6 months
2016-07-04 dns/ldnsm: Broken for more than 6 months
2016-07-04 japanese/guesswork-classic: Broken for more than 6 months
2016-07-04 japanese/texinfo: Broken for more than 6 months
2016-07-04 japanese/jyuroku: Broken for more than 6 months
2016-07-04 japanese/mtools: Broken for more than 6 months
2016-07-04 palm/pdbar: Broken for more than 6 months
2016-07-04 graphics/gplot: Broken for more than 6 months
2016-07-04 graphics/white_dune: Broken for more than 6 months
2016-07-04 graphics/whirlgif: Broken for more than 6 months
2016-07-04 graphics/libaux: Broken for more than 6 months
2016-07-04 graphics/import-pictures: Broken for more than 6 months
2016-07-04 math/xgobi: Broken for more than 6 months
2016-07-04 math/fricas: Broken for more than 6 months
2016-07-04 math/dcdflib: Broken for more than 6 months
2016-07-04 math/libneural: Broken for more than 6 months
2016-07-04 math/open-axiom: Broken for more than 6 months
2016-07-04 irc/nefarious: Broken for more than 6 months
2016-07-04 irc/slirc: Broken for more than 6 months
2016-07-04 irc/ratbox-respond: Broken for more than 6 months
2016-07-04 irc/qwebirc: Broken for more than 6 months
2016-07-04 biology/platon: Broken for more than 6 months
2016-07-04 news/slnr: Broken for more than 6 months
2016-07-04 science/jmol: Broken for more than 6 months
2016-07-04 net/nstxd: Broken for more than 6 months
2016-07-04 net/sprinkle: Broken for more than 6 months
2016-07-04 editors/ssam: Broken for more than 6 months
2016-07-04 editors/fb: Broken for more than 6 months
2016-07-04 misc/quotes: Broken for more than 6 months
2016-07-04 misc/boxquote.el: Broken for more than 6 months
2016-07-04 misc/pypanda: Broken for more than 6 months
2016-07-04 misc/cuecat: Broken for more than 6 months
2016-07-04 deskutils/displaycalibrator: Broken for more than 6 months
2016-07-04 german/eric4: Depends on expiring devel/eric4
2016-07-04 multimedia/vic: Depends on expiring devel/uclmmbase
2016-07-04 multimedia/ggrab: Broken for more than 6 months
2016-07-04 emulators/dynamips: Broken for more than 6 months
2016-07-04 emulators/dynamips-devel: Broken for more than 6 months
2016-07-04 emulators/sim6811: Broken for more than 6 months
2016-07-04 emulators/minivmac: Broken for more than 6 months
2016-07-04 cad/qcad-partslib: Broken for more than 6 months
2016-07-04 comms/dump1090_mr: Broken for more than 6 months
2016-07-04 x11-fm/asfiles: Depends on expiring x11/libdnd
2016-07-04 x11-fonts/fonts-te: Broken for more than 6 months
2016-07-04 sysutils/rsyncmanager: Broken for more than 6 months
2016-07-04 sysutils/jfbterm: Broken for more than 6 months
2016-07-04 sysutils/daedalus: Broken for more than 6 months
2016-07-04 sysutils/pcfclock: Broken for more than 6 months
2016-07-04 sysutils/vlogger: Broken for more than 6 months
2016-07-04 sysutils/bontmia: Broken for more than 6 months
2016-07-04 mail/pop3gwd: Broken for more than 6 months
2016-07-04 mail/mailtray: Broken for more than 6 months
2016-07-04 mail/pflogstats: Broken for more than 6 months
2016-07-04 mail/exact: Broken for more than 6 months
2016-07-04 mail/wmpop3: Broken for more than 6 months
2016-07-04 mail/qmail-conf: Broken for more than 6 months
2016-07-04 mail/gld: Broken for more than 6 months
2016-07-04 mail/dsbl-testers: Broken for more than 6 months
2016-07-04 mail/vqregister: Broken for more than 6 months
2016-07-04 mail/atmail: Broken for more than 6 months
2016-07-04 mail/ml: Broken for more than 6 months
2016-07-04 net-im/icb: Broken for more than 6 months
2016-07-04 net-im/cicquin: Broken for more than 6 months
2016-07-04 net-im/pidgin-manualsize: Broken for more than 6 months
2016-07-04 net-im/pidgin-rhythmbox: Broken for more than 6 months
2016-07-04 russian/eric4: Depends on expiring devel/eric4
2016-07-04 russian/fortune-bashorgru: Broken for more than 6 months
2016-07-04 www/xpi-clearfields: Broken for more than 6 months
2016-07-04 www/pecl-varnish: Broken for more than 6 months
2016-07-04 www/py-requests-oauth-hook: Broken for more than 6 months
2016-07-04 www/hudson: Broken for more than 6 months
2016-07-04 www/xpi-mldonkey: Broken for more than 6 months
2016-07-04 www/xpi-cookiesafe: Broken for more than 6 months
2016-07-04 www/trac-mastertickets: Broken for more than 6 months
2016-07-04 www/dotclear: Broken for more than 6 months
2016-07-04 www/ruby-wgettsv: Broken for more than 6 months
2016-07-04 www/wwwstat: Broken for more than 6 months
2016-07-04 www/xpi-prism: Broken for more than 6 months
2016-07-04 www/xpi-fasterfox: Broken for more than 6 months
2016-07-04 www/siteframe: Broken for more than 6 months
2016-07-04 www/py-urljr: Broken for more than 6 months
2016-07-04 www/reviewboard: Broken for more than 6 months
2016-07-04 www/xpi-tabletools: Broken for more than 6 months
2016-07-04 www/wikindx: Broken for more than 6 months
2016-07-04 www/typolight: Broken for more than 6 months
2016-07-04 www/varnish-libvmod-header: Broken for more than 6 months
2016-07-04 www/xpi-gbrain: Broken for more than 6 months
2016-07-04 www/trac-robotstxt: Broken for more than 6 months
2016-07-04 www/simplog: Broken for more than 6 months
2016-07-04 www/chtml: Broken for more than 6 months
2016-07-04 databases/postgresql_autodoc: Broken for more than 6 months
2016-07-04 databases/oracle_odbc_driver: Broken for more than 6 months
2016-07-04 databases/mysql-xql: Broken for more than 6 months
2016-07-04 databases/mysql-udf-sys: Broken for more than 6 months
2016-07-04 games/lucidlife: Broken for more than 6 months
2016-07-04 games/gma: Broken for more than 6 months
2016-07-04 games/smiley: Broken for more than 6 months
2016-07-04 games/noegnud-littlehack: Broken for more than 6 months
2016-07-04 games/sdlquake2: Broken for more than 6 months
2016-07-04 games/daimonin: Depends on expiring games/daimonin-music
2016-07-04 games/noegnud-nethack: Broken for more than 6 months
2016-07-04 games/xbomber: Broken for more than 6 months
2016-07-04 games/xwelltris: Broken for more than 6 months
2016-07-04 games/ftjava: Broken for more than 6 months
2016-07-04 games/daimonin-music: Broken for more than 6 months
2016-07-04 games/gno3dtet: Broken for more than 6 months
2016-07-04 games/qtv: Broken for more than 6 months
2016-07-04 games/xwordpy: Broken for more than 6 months
2016-07-04 games/netris: Broken for more than 6 months
2016-07-04 games/rt2-demo: Broken for more than 6 months
2016-07-04 games/noegnud-addons: Broken for more than 6 months
2016-07-04 games/noegnud-nethack-deet: Broken for more than 6 months
2016-07-04 games/live-f1: Broken for more than 6 months
2016-07-04 games/xonix: Broken for more than 6 months
2016-07-04 games/fgkicker: Broken for more than 6 months
2016-07-04 games/tank: Depends on expiring graphics/libaux
2016-07-04 games/linux-nwserver: Broken for more than 6 months
2016-07-04 games/quake2-zaero: Broken for more than 6 months
2016-07-04 games/pyching: Broken for more than 6 months
2016-07-04 games/thevalley: Broken for more than 6 months
2016-07-04 games/xroads: Broken for more than 6 months
2016-07-04 games/fxsudoku: Broken for more than 6 months
2016-07-04 games/sudoku: Broken for more than 6 months
2016-07-04 games/kmancala: Broken for more than 6 months
2016-07-04 games/plonx: Broken for more than 6 months
2016-07-04 games/wmminichess: Broken for more than 6 months
2016-07-04 games/noegnud-slashem: Broken for more than 6 months
2016-07-04 games/latrine: Broken for more than 6 months
2016-07-04 games/pysycache-themes: Broken for more than 6 months
2016-07-04 games/nibbles: Broken for more than 6 months
2016-07-04 games/hlstatsx: Broken for more than 6 months
2016-07-04 audio/streamtuner: Broken for more than 6 months
2016-07-04 audio/mangler: Broken for more than 6 months
2016-07-04 audio/hawkvoice: Broken for more than 6 months
2016-07-04 audio/alac: Broken for more than 6 months
2016-07-04 x11-wm/e-module-mpdule: Broken for more than 6 months
2016-07-04 x11-wm/e-module-tclock: Broken for more than 6 months
2016-07-04 x11-wm/musca: Broken for more than 6 months
2016-07-04 x11-wm/e-module-places: Broken for more than 6 months
2016-07-04 x11-wm/e-module-forecasts: Broken for more than 6 months
2016-07-04 x11-wm/e-module-net: Broken for more than 6 months
2016-07-04 x11-wm/e-module-penguins: Broken for more than 6 months
2016-07-04 ftp/fget: Broken for more than 6 months
2016-07-04 net-mgmt/netmond: Broken for more than 6 months
2016-07-04 net-mgmt/ipfm: Broken for more than 6 months
|
Friday, 10 Jun 2016
|
09:04 gerald
Welcome to the GCC 6.1 release, the first release of the GCC 6 series.
The default mode for C++ is now -std=gnu++14 instead of -std=gnu++98.
Type-based alias analysis now disambiguates accesses to different pointers.
This improves precision of the alias oracle by about 20-30% on higher-level
C++ programs. Programs doing invalid type punning of pointer types may now
need -fno-strict-aliasing to work correctly.
Value range propagation now assumes that the this pointer of C++ member
functions is non-null. This eliminates common null pointer checks but also
breaks some non-conforming code-bases (such as Qt-5, Chromium, KDevelop).
As a temporary work-around -fno-delete-null-pointer-checks can be used.
Wrong code can be identified by using -fsanitize=undefined.
There have been significant improvements around link-time optimization
and inter-procedural optimization and some support for OpenACC (though
probably not tested on FreeBSD) and version 4.5 of the OpenMP specification.
Source locations for the C and C++ compilers are now tracked as ranges
and diagnostics can now contain "fix-it hints".
New command-line options include -Wshift-negative-value, -Wshift-overflow,
-Wtautological-compare, -Wnull-dereference, -Wduplicated-cond, and
-Wmisleading-indentation.
C++ Concepts are now supported when compiling with -fconcepts, and there
are several other improvements around support for newer C++ features as
well as in the libstdc++ library.
Fortran now features Fortran 2008 SUBMODULE support, Fortran 2015 EVENT_TYPE,
EVENT_POST, EVENT_WAIT, and EVENT_QUERY support, and improved support for
OpenMP and OpenACC.
A lot has happened on the AArch64 and ARM fronts, on x86-64 there is now
Skylake with AVX-512 support, AMD instructions monitorx and mwaitx, and
support for address spaces __seg_fs, __seg_gs, and __seg_tl, as well as
AMD Zen (family 17h) processors, and basic support has been added for POWER9.
https://gcc.gnu.org/gcc-6/changes.html has a more extensive set of
changes and https://gcc.gnu.org/gcc-6/porting_to.html has a solid
overview of issue you may encountering porting to this new version.
|
Wednesday, 1 Jun 2016
|
16:36 gahr
lang/tcl87: add port
This is the development (trunk) version of Tcl, currently tagged 8.7.a0. I
plan to integrate this into the USES=tcl framework once 8.7.0 is released.
Use at your at your own risk.
|
09:34 rene
Remove expired port:
2016-06-01 lang/ruby20: Upstream support ended
|
Monday, 16 May 2016
|
11:52 swills
lang/swift: create port
The Swift Programming Language
WWW: https://swift.org/
|
10:26 rene
Remove expired ports:
2016-05-15 lang/gcc-aux: Use newer lang/gcc5-aux or lang/gcc6-aux compilers
instead
2016-05-16 audio/deadbeef-mpris-plugin: Abandonware; use
`audio/deadbeef-mpris2-plugin' instead
|
Wednesday, 11 May 2016
|
14:44 johans
Moscow_ml has been renamed mosml
Update to version 2.10.1, now hosted on Github
See changelog on the new project website http://mosml.org/
|
Monday, 9 May 2016
|
12:50 mat
Introduce Perl 5.24 and update perl5-devel to v5.25.0-8-g51f69a2.
Changes: https://metacpan.org/pod/release/RJBS/perl-5.24.0/pod/perldelta.pod
Changes: https://github.com/Perl/perl5/compare/v5.24.0...v5.25.0-8-g51f69a2
Sponsored by: Absolight
|
Saturday, 23 Apr 2016
|
15:51 gerald
GCC 6 has branched for the release of GCC 6.1 and GCC trunk has become
the home of development for the GCC 7 series, so track this with a new
gcc7-devel port, starting with the 20160417 snapshot of GCC 7.0.0.
For the coming months, this will be highly volatile and likely broken
in various ways at various points in time, so not recommended for any
production use.
|
Monday, 21 Mar 2016
|
21:11 ed
Merge cloudabi-clang with cloudabi-toolchain and install more useful tools.
Now that the previous changes to the cloudabi-clang package brought in
more LLVM tools, the package actually became a misnomer. Most of the
tools that it installed are not part of Clang, but of LLVM instead. My
plans of extending it to also install wrappers around man(1) and
pkgconf(1) would make the naming even worse.
The only reason that the cloudabi-clang package was created in the first
place, was because we still had some of the core CloudABI libraries part
of FreeBSD Ports. Now that these libraries are part of their own package
collection, it makes more sense to squash this package together with
cloudabi-toolchain.
The nice thing about installing a wrapper around pkgconf(1) named
${gnu_triple}-pkg-config is that Autoconf now automatically picks it up.
Running ./configure --host=${gnu_triple} is enough to make it detect the
cross compiled libraries it depends on.
Reviewed by: bapt
Differential Revision: https://reviews.freebsd.org/D5697
|
Sunday, 13 Mar 2016
|
17:21 rakuco
Readd lang/haskell-mode.el, update to 13.18 and pass maintainership to
submitter.
PR: 201170
Submitted by: Klaus Aehlig <aehlig@linta.de>
|
Wednesday, 17 Feb 2016
|
09:35 mat
lang/p5-Scalar-Util-Numeric was already there at devel/p5-Scalar-Util-Numeric.
Pointy hat to: adamw
Sponsored by: Absolight
|
04:23 adamw
Add security/p5-Crypt-XTEA, and its dependency lang/p5-Scalar-Util-Numeric.
Crypt::XTEA implements the fast and light XTEA cipher that supports the
Crypt::CBC interface.
https://metacpan.org/pod/Crypt::XTEA
Scalar::Util::Numeric implements some scalar classification routines
with an XS module.
https://metacpan.org/pod/Scalar::Util::Numeric
|
Monday, 15 Feb 2016
|
14:34 miwi
Welcome php 7.0.3
Changelog:
http://php.net/ChangeLog-7.php#7.0.0
http://php.net/ChangeLog-7.php#7.0.1
http://php.net/ChangeLog-7.php#7.0.2
http://php.net/ChangeLog-7.php#7.0.3
I'd like to thanks:
Kurt Jaeger
Matthias Breddin
Rainer Duffner
Victor van Vlaardingen
Torsten Zuehlsdorff
Franco Fichtner
and all helpers and testers from ports@.
|
Sunday, 14 Feb 2016
|
19:21 rene
Remove PHP 5.4 from the Ports Tree, it expired upstream in 2015-Q3 and the
ports expired last month.
Adjust Mk/bsd.php.mk
Reviewed by: antoine, marino
Approved by: portmgr (antoine)
Differential Revision: https://reviews.freebsd.org/D5278
|
Wednesday, 10 Feb 2016
|
17:37 brooks
Add metaports for clang and lldb 3.8.
|
Tuesday, 2 Feb 2016
|
20:16 rm
Remove expired lang/python32
Python 3.2 has reached it's EOL. Please update to Python 3.5
With hat: python
|
Tuesday, 5 Jan 2016
|
19:19 sunpoet
- Add ruby23 2.3.0
- Do not silence installation message
- Use . instead of \* for COPYTREE_SHARE
- Use do-test:
- Use MAKE_CMD
- Remove validate:
- Cosmetic change
Differential Revision: https://reviews.FreeBSD.org/D4749
PR: 205774
Exp-run by: antoine
MFH: 2016Q1
|
Thursday, 31 Dec 2015
|
21:06 rene
Remove lang/perl5.16 and the support bits in perl5.mk, it is no longer
supported and expired today.
Approved by: portmgr (mat), perl (sunpoet)
Differential Revision: https://reviews.freebsd.org/D4745
|
Wednesday, 30 Dec 2015
|
23:20 rene
Remove expired ports:
2015-12-30 www/ocsigen: Broken for more than 6 months
2015-12-30 devel/monodevelop-database: Broken for more than 6 months
2015-12-30 lang/cduce: Broken for more than 6 months
2015-12-30 science/hdf-java: Broken for more than 6 months
2015-12-30 math/p5-Math-Geometry-Planar-GPC-Polygon: Broken for more than 6
months
2015-12-30 www/eliom: Depends on broken and expiring www/ocsigen
2015-12-30 audio/py-fastaudio: Broken for more than 6 months
2015-12-30 devel/jgoodies-common: Broken for more than 6 months
2015-12-30 graphics/pinta: Broken for more than 6 months
2015-12-30 games/kanatest: Broken for more than 6 months
2015-12-30 editors/bless: Broken for more than 6 months
2015-12-30 security/burpsuite: Broken for more than 6 months
|
Sunday, 13 Dec 2015
|
21:56 rakuco
At very long last land PyQt5 5.5.1 ports.
Add the required bits to Uses/pyqt.mk along with all the PyQt5 ports.
Thankfully this commit is mostly adding new ports, as the hard work was
already done in r403297 and r403662.
Huge kudos to Tobias Berner <tcberner@gmail.com> and, most importantly,
Guido Falsi (madpilot@) for their initial work on these ports (see D2910 in
Phabricator for an earlier version of the PyQt5 patch set).
PR: 204672
|
Sunday, 6 Dec 2015
|
16:04 marino
Add new port lang/gcc6-aux
This will be the successor to lang/gcc5-aux. GCC6 is still in development
although the Ada front end is generally stable. Once gcc6-aux is released,
the lang/gcc-aux port will likely be removed. For that to happen, the
gnatdroid compilers need to move from it to gcc5-aux or gcc6-aux. The
Ada framework will also move to gcc6-aux by default as well.
|
Saturday, 5 Dec 2015
|
23:29 marino
FPC ecosystem: Upgrade version 2.6.4 => 3.0.0
This is the first major release of FreePascal in nearly four years.
There are a ton of new features, way more to list here. see:
http://wiki.freepascal.org/FPC_New_Features_3.0
Several new unit ports were added, some were contracted. Most of
those were absorbed into the main FPC packages, but two units are
no longer supported: sndfile and matroshka.
All 99 remaining ports (including Lazarus ports) were build tested
on FreeBSD i386 and amd64 Release 10.2
|
Monday, 30 Nov 2015
|
00:15 marino
Add gnatdroid-x86 (3 new ports), X-compiler to Android-x86
Similar to lang/gnatdroid-armv7, lang/gnatdroid-x86 is a cross-compiler
targetting Android. The former targets ARMv7 processors while the latter
targets Android on x86 (32-bit). The latter also runs on Virtualbox as
a bonus. The new ports are implemented as slaves to the ARMv7 versions.
The GNAT ACATS were run, and it passed every test except CXG2024,
"accuracy of multiplication and division of mixed decimal and binary
fixed point numbers".
subtest 13: expected -51.00 got 50.0
subtest 14: expected 51.0 got 50.0
This is probably a rounding error unique to 32-bit x86. Overall this
version passed better than gnatdroid-armv7 because unwind is supported,
enabling check check support.
Also added:
lang/gnatdroid-sysroot-x86 (KitKat and Lollipop API)
lang/gnatdroid-binutils-x86
Despite the desciption, C++, Fortran and Objective-C should also work
well (in addition to advertised C and Ada frontends).
===
The gnatdroid-x86 port builds a C/Ada cross-compiler based on GCC 4.9
that targets the Android operating system (up to version 5.0, API level
21) running on x86 or x86_64 architecture (version 7). This produces
binaries that run natively on x86-based Android devices.
|
Thursday, 24 Sep 2015
|
18:47 wg
lang/erlang-riak: Custom erlang from bashio to be used with riak2
WWW: http://docs.basho.com/riak/latest/ops/building/installing/erlang/
Submitted by: nbari (based on)
|
Thursday, 17 Sep 2015
|
18:07 kwm
Update Mesa port to 10.6.6 and add Clover.
Add beignet 1.1.0.
Add clinfo, clblas, clfft and clrng.
The major change is that all Mesa ports are now configured the same way.
This fixes several problems and enables new features. The details
are described in this blog post:
http://blogs.freebsdish.org/graphics/2015/03/18/unifying-mesa-ports-configure/
The second important change is the OpenCL support. Mesa's
implementation, Clover, is enabled as well as Beignet. Clover
targets all Gallium drivers, only Radeon GPUs in our case. Beignet
is for Intel GPUs starting with Ivy Bridge. Thanks to Johannes
Dieterich, O. Hartman, and Koop Mast for their work on OpenCL! As a
bonus, there are several OpenCL-based math ports added (clblas,
clfft and clrng). For more information and known issues, please see
https://wiki.freebsd.org/Graphics/OpenCL
The third change is the removal of Mesa 9.1.7 which was installed on
FreeBSD 9.3-RELEASE. There is now only one version of Mesa in the Ports
tree (10.6.6) for all supported versions of FreeBSD.
Other, smaller changes:
* Include libosmesa into the Mesa framework; this changes libOSMesa
shlib version.
* bsd.mesalib.mk was renamed and split up in two files namely
Makefile.common and Makefile.targets. So ports can overwrite variables
set by Makefile.common and are used by Makefile.targets.
* Some text in the pkg-descr files was wrong, clean it up. While here,
update the WWW to the main mesa3d.org upstream page.
* devel/clinfo was added, a glxinfo like program but for OpenCL.
Non-x86 hardware reports are very welcome since we changed the framework
quite a bit.
Obtained from: Graphics team development repo.
|
Tuesday, 8 Sep 2015
|
16:08 koobs
[NEW] lang/python35: Welcome Python 3.5.x! (Note: RC3)
FreeBSD welcomes Python 3.5 (early, pre-release) to the Ports tree,
with 3.5.0 release candidate 3!
Please test this port and Python 3.5 profusely. If you notice issues,
please report them upstream at: https://bugs.python.org to ensure a
robust upcoming 3.5.0 release.
Whats New in Python 3.5:
* https://docs.python.org/3.5/whatsnew/3.5.html
Python 3.5 Release Schedule (PEP 478)
* http://www.python.org/dev/peps/pep-0478
Note: This port retires an old fcntlmodule.c patch, possibly
temporarily. User impact *should* be zero. For more information
see: https://bugs.python.org/issue25026
Requested by: Webair Inc :)
|
Thursday, 3 Sep 2015
|
22:09 brooks
Add clang37 and lldb37 metaports to make it easier to find the clang and
lldb installed by devel/llvm37.
No port should depend on these ports.
|
Friday, 28 Aug 2015
|
21:14 rpaulo
Import lang/lfe.
LFE, Lisp Flavoured Erlang, is a lisp syntax front-end to the Erlang
compiler. Code produced with it is compatible with "normal" Erlang
code. An LFE evaluator and shell is also included.
|
Thursday, 20 Aug 2015
|
23:02 pgj
- Update The Glorious Glasgow Haskell Compiler to version 7.10.2
- Include a patch for addressing timer issues [1]
- Add support for building both GHC and Haskell ports with Clang, either from
ports or the base system
- Discontinue supporting Haskell Platform, use Stackage instead as a
reference
- Drop support for FreeBSD 8.x, optimize bootstrap compiler tarballs
- Update Gtk2Hs to version 0.13 [2]
- Update Pandoc to version 1.15.0.6
- Update git-annex to version 5.20150727
- Update Darcs to 2.10 [3]
- Unbreak wxHaskell ports
Please note that port revisions for all the Haskell ports without version
changes are bumped.
New ports (48):
converters/hs-aeson-pretty JSON pretty-printing library and command-line
tool
converters/hs-sandi Data encoding library
devel/hs-StateVar State variables
devel/hs-base-orphans Backwards-compatible orphan instances for base
devel/hs-bytestring-mmap Mmap support for strict ByteStrings
devel/hs-constraints Constraint manipulation
devel/hs-data-ordlist Set and bag operations on ordered lists
devel/hs-easy-file Cross-platform File handling
devel/hs-extra Extra functions
devel/hs-geniplate-mirror Use Template Haskell to generate Uniplate-like
functions
devel/hs-haddock-api Documentation-generation tool for Haskell
libraries
devel/hs-hex Convert strings into hexadecimal and back
devel/hs-hourglass Simple performant time related library
devel/hs-hsb2hs Preprocesses a file, adding blobs from files
as string literals
devel/hs-hspec-core Testing Framework for Haskell
devel/hs-hspec-discover Automatically discover and run Hspec tests
devel/hs-js-flot Obtain minified flot code
devel/hs-js-jquery Obtain minified jQuery code
devel/hs-lifted-async Run lifted IO operations asynchronously and
wait for their results
devel/hs-map-syntax Syntax sugar for defining maps
devel/hs-memory Memory and related abtraction stuff
devel/hs-mutable-containers Abstactions and concrete implementations of
mutable containers
devel/hs-newtype Typeclass and set of functions for working
with newtypes
devel/hs-old-locale Locale library
devel/hs-old-time Time library
devel/hs-preprocessor-tools Framework for extending Haskell's syntax via
quick-and-dirty preprocessors
devel/hs-time-locale-compat Compatibility of TimeLocale between old-locale
and time-1.5
devel/hs-uuid-types Type definitions for Universally Unique
Identifiers
math/hs-Agda-stdlib Agda standard library
math/hs-adjunctions Adjunctions and representable functors
math/hs-kan-extensions Kan extensions, Kan lifts, various forms of
the Yoneda lemma, and (co)density (co)monads
net-im/hs-haskell-xmpp Haskell XMPP library based on HaXml & STM
net-p2p/hs-torrent BitTorrent file parser and generater
net/hs-aws Amazon Web Services (AWS) for Haskell
net/hs-network-uri URI manipulation
security/hs-cryptonite Cryptography Primitives sink
security/hs-nonce Generate cryptographic nonces
shells/hs-shelly Shell-like (systems) programming in Haskell
sysutils/hs-ekg-json JSON encoding of ekg metrics
textproc/hs-bencode Parser and printer for bencoded data
textproc/hs-cassava CSV parsing and encoding library
textproc/hs-cmark Fast, accurate CommonMark (Markdown) parser
and renderer
textproc/hs-pandoc-citeproc Supports using pandoc with citeproc
textproc/hs-regex-applicative Regex-based parsing with applicative interface
textproc/hs-regex-compat-tdfa Unicode Support version of Text.Regex, using
regex-tdfa
textproc/hs-rfc5051 Simple unicode collation as per RFC5051
www/hs-http2 HTTP/2.0 library including frames and HPACK
www/hs-multipart HTTP multipart split out of the cgi package
Updated ports (317):
archivers/hs-tar 0.4.0.1_8 --> 0.4.2.1
archivers/hs-zip-archive 0.2.3.4_1 --> 0.2.3.7
archivers/hs-zlib 0.5.4.1_6 --> 0.5.4.2
archivers/hs-zlib-bindings 0.1.1.3_7 --> 0.1.1.5
audio/hs-ALUT 2.3.0.1_2 --> 2.4.0.0
audio/hs-OpenAL 1.6.0.0_1 --> 1.7.0.0
audio/hs-libmpd 0.8.0.5_1 --> 0.9.0.2
benchmarks/hs-criterion 0.8.1.0_1 --> 1.1.0.0
converters/hs-aeson 0.7.0.6_1 --> 0.8.0.2
converters/hs-json 0.7_8 --> 0.9.1
databases/hs-esqueleto 1.4.4_1 --> 2.4.1
databases/hs-hedis 0.6.5 --> 0.6.9
databases/hs-mysql 0.1.1.6_1 --> 0.1.1.8
databases/hs-persistent 1.3.1.1_1 --> 2.2
databases/hs-persistent-sqlite 1.3.0.5_1 --> 2.2
databases/hs-persistent-template 1.3.1.4_1 --> 2.1.3.4
devel/hs-BNFC 2.6.0.3_8 --> 2.8
devel/hs-Boolean 0.2.1_1 --> 0.2.3
devel/hs-ConfigFile 1.1.2_1 --> 1.1.4
devel/hs-List 0.5.1_8 --> 0.5.2
devel/hs-MissingH 1.2.1.0_1 --> 1.3.0.1
devel/hs-MonadCatchIO-transformers 0.3.1.0_1 --> 0.3.1.3
devel/hs-MonadRandom 0.1.13_1 --> 0.4
devel/hs-ObjectName 1.0.0.0_14 --> 1.1.0.0
devel/hs-QuickCheck 2.6_6 --> 2.8.1
devel/hs-ReadArgs 1.2.1_8 --> 1.2.2
devel/hs-STMonadTrans 0.3.2_1 --> 0.3.3
devel/hs-ShellCheck 0.3.5 --> 0.3.8
devel/hs-Stream 0.4.7.1_1 --> 0.4.7.2
devel/hs-alex 3.1.3_1 --> 3.1.4
devel/hs-ansi-terminal 0.6.1.1_1 --> 0.6.2.1
devel/hs-ansi-wl-pprint 0.6.7.1_1 --> 0.6.7.3
devel/hs-asn1-encoding 0.8.1.3_1 --> 0.9.0
devel/hs-asn1-parse 0.8.1_1 --> 0.9.1
devel/hs-asn1-types 0.2.3_1 --> 0.3.0
devel/hs-async 2.0.1.5_1 --> 2.0.2
devel/hs-atomic-primops 0.6.0.6_1 --> 0.8
devel/hs-auto-update 0.1.0.0_1 --> 0.1.2.2
devel/hs-basic-prelude 0.3.8_1 --> 0.5.0
devel/hs-bifunctors 4.1.1.1_1 --> 5
devel/hs-blaze-builder 0.3.3.2_1 --> 0.4.0.1
devel/hs-blaze-builder-enumerator 0.2.0.6_1 --> 0.2.1.0
devel/hs-blaze-textual 0.2.0.9_1 --> 0.2.1.0
devel/hs-bloomfilter 2.0.0.0_1 --> 2.0.1.0
devel/hs-boxes 0.1.3_1 --> 0.1.4
devel/hs-bytestring-lexing 0.4.3.2 --> 0.5.0.2
devel/hs-c2hs 0.17.2_1 --> 0.26.1
devel/hs-cabal-install 1.18.0.5_1 --> 1.22.6.0
devel/hs-cereal 0.4.0.1_1 --> 0.4.1.1
devel/hs-checkers 0.3.2_1 --> 0.4.3
devel/hs-chunked-data 0.1.0.1_1 --> 0.2.0
devel/hs-classy-prelude 0.9.3_1 --> 0.12.1.1
devel/hs-classy-prelude-conduit 0.9.3_1 --> 0.12.0.1
devel/hs-cmdargs 0.10.9_1 --> 0.10.13
devel/hs-conduit 1.1.7_1 --> 1.2.5
devel/hs-conduit-combinators 0.2.8.2_1 --> 1.0.3
devel/hs-conduit-extra 1.1.3_1 --> 1.1.9.1
devel/hs-convertible 1.1.0.0_1 --> 1.1.1.0
devel/hs-cpphs 1.18.5_1 --> 1.19
devel/hs-darcs 2.8.5 --> 2.10.1
devel/hs-data-hash 0.2.0.0_1 --> 0.2.0.1
devel/hs-data-pprint 0.2.3_1 --> 0.2.4
devel/hs-datetime 0.2.1_12 --> 0.3.1
devel/hs-deepseq-generics 0.1.1.1_1 --> 0.1.1.2
devel/hs-dlist 0.7.1_1 --> 0.7.1.1
devel/hs-edit-distance 0.2.1.2_7 --> 0.2.2.1
devel/hs-either 4.3.0.1_1 --> 4.4.1
devel/hs-enclosed-exceptions 1.0.0.2_1 --> 1.0.1.1
devel/hs-equivalence 0.2.5_1 --> 0.3.1
devel/hs-errors 1.4.7_1 --> 2.0.0
devel/hs-exceptions 0.6.1_1 --> 0.8.0.2
devel/hs-fast-logger 2.2.0_1 --> 2.4.1
devel/hs-fgl 5.5.0.1_1 --> 5.5.2.1
devel/hs-file-embed 0.0.7_1 --> 0.0.9
devel/hs-filemanip 0.3.6.2_8 --> 0.3.6.3
devel/hs-filestore 0.6.0.3_1 --> 0.6.1
devel/hs-free 4.9_1 --> 4.12.1
devel/hs-fsnotify 0.1.0.3_1 --> 0.2.1
devel/hs-gconf 0.12.5.0_1 --> 0.13.0.2
devel/hs-generic-deriving 1.6.3_1 --> 1.8.0
devel/hs-ghc-events 0.4.3.0_1 --> 0.4.4.0
devel/hs-gio 0.12.5.3_1 --> 0.13.1.0
devel/hs-git-annex 5.20140817_1 --> 5.20150727
devel/hs-glib 0.12.5.4_1 --> 0.13.1.1
devel/hs-gtk2hs-buildtools 0.12.5.2_2 --> 0.13.0.4
devel/hs-haddock 2.14.3_1 --> 2.16.1
devel/hs-haddock-library 1.1.0_1 --> 1.2.1
devel/hs-happy 1.19.4_1 --> 1.19.5
devel/hs-hashable 1.2.2.0_1,1 --> 1.2.3.3,1
devel/hs-hashtables 1.1.2.1_1 --> 1.2.0.2
devel/hs-haskell-src 1.0.1.6_1 --> 1.0.2.0
devel/hs-haskell-src-exts 1.15.0.1_1 --> 1.16.0.1
devel/hs-hasktags 0.69.0_1 --> 0.69.1
devel/hs-hastache 0.6.0_1 --> 0.6.1
devel/hs-hinotify 0.3.7_1 --> 0.3.8.1
devel/hs-hint 0.4.2.0_1 --> 0.4.2.3
devel/hs-hlint 1.9.3_1 --> 1.9.21
devel/hs-hoogle 4.2.34_1 --> 4.2.41
devel/hs-hslogger 1.2.4_1 --> 1.2.9
devel/hs-hslua 0.3.13_1 --> 0.4.0
devel/hs-hspec 1.11.0_1 --> 2.1.10
devel/hs-hspec-expectations 0.6.0.1_1 --> 0.7.1
devel/hs-keys 3.10.1_1 --> 3.10.2
devel/hs-language-c 0.4.5_1 --> 0.4.7
devel/hs-language-javascript 0.5.13_1 --> 0.5.14.2
devel/hs-lens 4.3.3_1 --> 4.12.3
devel/hs-lifted-base 0.2.3.0_1 --> 0.2.3.6
devel/hs-mmorph 1.0.3_1 --> 1.0.4
devel/hs-monad-control 0.3.3.0_1 --> 1.0.0.4
devel/hs-monad-logger 0.3.7.1_1 --> 0.3.13.2
devel/hs-monad-loops 0.4.2.1_1 --> 0.4.3
devel/hs-monad-par 0.3.4.6_1 --> 0.3.4.7
devel/hs-mono-traversable 0.6.1_1 --> 0.9.2.1
devel/hs-mtl 2.1.3.1_1 --> 2.2.1
devel/hs-mueval 0.9.1.1_1 --> 0.9.1.1.2
devel/hs-murmur-hash 0.1.0.7_1 --> 0.1.0.8
devel/hs-optparse-applicative 0.9.1.1_1 --> 0.11.0.2
devel/hs-parallel 3.2.0.4_1 --> 3.2.0.6
devel/hs-pcre-light 0.4.0.2_1 --> 0.4.0.3
devel/hs-primitive 0.5.2.1_1 --> 0.6
devel/hs-profunctors 4.2.0.1_1 --> 5.1.1
devel/hs-project-template 0.1.4.1_1 --> 0.2.0
devel/hs-random 1.0.1.1_10 --> 1.1
devel/hs-reflection 1.5.1_1 --> 2
devel/hs-resource-pool 0.2.3.0_1 --> 0.2.3.2
devel/hs-resourcet 1.1.2.3_1 --> 1.1.6
devel/hs-safe 0.3.7_1 --> 0.3.9
devel/hs-scientific 0.3.3.0_1 --> 0.3.3.8
devel/hs-securemem 0.1.3_1 --> 0.1.9
devel/hs-setenv 0.1.1.1_1 --> 0.1.1.3
devel/hs-shake 0.13.2_1 --> 0.15.5
devel/hs-silently 1.2.4.1_7 --> 1.2.5
devel/hs-stm 2.4.2_6 --> 2.4.4
devel/hs-stm-chans 3.0.0.2_1 --> 3.0.0.4
devel/hs-streaming-commons 0.1.4.1_1 --> 0.1.12.1
devel/hs-syb 0.4.1_1 --> 0.5.1
devel/hs-syb-with-class 0.6.1.5_1 --> 0.6.1.6
devel/hs-system-fileio 0.3.14_1 --> 0.3.16.3
devel/hs-system-filepath 0.4.12_1 --> 0.4.13.4
devel/hs-tagged 0.7.2_1 --> 0.8.1
devel/hs-test-framework 0.8.0.3_1 --> 0.8.1.1
devel/hs-text 1.1.0.0_1 --> 1.2.1.3
devel/hs-text-icu 0.6.3.7_2 --> 0.7.0.1
devel/hs-threads 0.5.1.2_1 --> 0.5.1.3
devel/hs-threadscope 0.2.4_1 --> 0.2.7
devel/hs-timezone-olson 0.1.4_1 --> 0.1.7
devel/hs-timezone-series 0.1.3_1 --> 0.1.5.1
devel/hs-transformers-base 0.4.2_1 --> 0.4.4
devel/hs-transformers-compat 0.3.3.4_1 --> 0.4.0.4
devel/hs-unix-compat 0.4.1.3_1 --> 0.4.1.4
devel/hs-unix-time 0.3.3_1 --> 0.3.5
devel/hs-unordered-containers 0.2.4.0_1 --> 0.2.5.1
devel/hs-utf8-string 0.3.8_1 --> 1
devel/hs-uuagc 0.9.51_1 --> 0.9.52.1
devel/hs-uuagc-cabal 1.0.5.0_1 --> 1.0.6.0
devel/hs-uuid 1.3.3_1 --> 1.3.11
devel/hs-uulib 0.9.16_1 --> 0.9.20
devel/hs-vault 0.3.0.3_1 --> 0.3.0.4
devel/hs-vector 0.10.9.1_1 --> 0.10.12.3
devel/hs-vector-algorithms 0.6.0.3_1 --> 0.7.0.1
devel/hs-vector-instances 3.3_1 --> 3.3.1
devel/hs-vector-th-unbox 0.2.1.0_1 --> 0.2.1.2
devel/hs-void 0.6.1_1 --> 0.7
devel/hs-word8 0.1.1_1 --> 0.1.2
dns/hs-dns 1.4.2_1 --> 2.0.0
graphics/hs-JuicyPixels 3.1.6.1_1 --> 3.2.6
graphics/hs-cairo 0.12.5.3_1 --> 0.13.1.0
graphics/hs-dia-base 0.1.1.2_8 --> 0.1.1.3
graphics/hs-dia-functions 0.2.1.3_8 --> 0.2.1.4
graphics/hs-svgcairo 0.12.5.2_1 --> 0.13.0.3
lang/hs-brainfuck 0.1_15 --> 0.1.0.2
lang/hs-unlambda 0.1.3_8 --> 0.1.4.1
mail/hs-email-validate 2.0.1_1 --> 2.1.3
mail/hs-mime 0.4.0.1_1 --> 0.4.0.2
mail/hs-mime-mail 0.4.5.2_1 --> 0.4.9
mail/hs-mime-types 0.1.0.4_1 --> 0.1.0.6
math/hs-Agda 2.4.0.2_1 --> 2.4.2.3
math/hs-NumInstances 1.3_6 --> 1.4
math/hs-categories 1.0.6_1 --> 1.0.7
math/hs-comonad 4.2.2_1 --> 4.2.7.2
math/hs-contravariant 1.1_1 --> 1.3.2
math/hs-data-lens 2.10.5_1 --> 2.10.7
math/hs-data-lens-template 2.1.8_1 --> 2.1.9
math/hs-ieee754 0.7.3_10 --> 0.7.6
math/hs-mwc-random 0.13.1.2_1 --> 0.13.3.2
math/hs-pointed 4.1_1 --> 4.2.0.2
math/hs-semigroupoids 4.0.4_1 --> 5.0.0.3
math/hs-semigroups 0.15.2_1 --> 0.16.2.2
math/hs-statistics 0.13.2.1_1 --> 0.13.2.3
math/hs-vector-space 0.8.7_1 --> 0.10.2
net/hs-connection 0.2.3_1 --> 0.2.5
net/hs-gsasl 0.3.5_1 --> 0.3.6
net/hs-hoauth2 0.4.3 --> 0.4.8
net/hs-iproute 1.3.1_1 --> 1.5.0
net/hs-network 2.4.2.3_1 --> 2.6.2.1
net/hs-network-info 0.2.0.5_1 --> 0.2.0.7
net/hs-network-multicast 0.0.11_1 --> 0.1.0
net/hs-network-protocol-xmpp 0.4.6_2 --> 0.4.8
net/hs-simple-sendfile 0.2.15_1 --> 0.2.21
print/hs-hscolour 1.20.3_8,1 --> 1.23,1
security/hs-DRBG 0.5.2_1 --> 0.5.4
security/hs-HsOpenSSL 0.11_2 --> 0.11.1.1
security/hs-RSA 2.0.0_1 --> 2.1.0.1
security/hs-SHA 1.6.4.1_1 --> 1.6.4.2
security/hs-cipher-aes 0.2.8_1 --> 0.2.11
security/hs-cipher-aes128 0.6.4_1 --> 0.7.0.1
security/hs-clientsession 0.9.0.3_1 --> 0.9.1.1
security/hs-cprng-aes 0.5.2_1 --> 0.6.1
security/hs-crypto-api 0.13_1 --> 0.13.2
security/hs-crypto-conduit 0.5.4_1 --> 0.5.5
security/hs-crypto-numbers 0.2.3_1 --> 0.2.7
security/hs-crypto-pubkey 0.2.4_1 --> 0.2.8
security/hs-crypto-pubkey-types 0.4.2.2_1 --> 0.4.3
security/hs-crypto-random 0.0.7_1 --> 0.0.9
security/hs-entropy 0.3.2_1 --> 0.3.7
security/hs-gnutls 0.1.5_1 --> 0.2
security/hs-pwstore-fast 2.4.1_1 --> 2.4.4
security/hs-skein 1.0.9_1 --> 1.0.9.3
security/hs-tls 1.2.8_1 --> 1.3.1
security/hs-x509 1.4.11_1 --> 1.6.0
security/hs-x509-store 1.4.4_1 --> 1.6.0
security/hs-x509-system 1.4.5_1 --> 1.6.0
security/hs-x509-validation 1.5.0_1 --> 1.6.0
sysutils/hs-angel 0.5.0_1 --> 0.6.2
sysutils/hs-ekg 0.4.0.1_1 --> 0.4.0.8
sysutils/hs-ekg-core 0.1.0.1_1 --> 0.1.1.0
textproc/hs-Diff 0.3.0_1 --> 0.3.2
textproc/hs-HStringTemplate 0.7.3_1 --> 0.8.3
textproc/hs-HaXml 1.24.1_1 --> 1.25.3
textproc/hs-attoparsec 0.10.4.0_7 --> 0.12.1.6
textproc/hs-attoparsec-enumerator 0.3.3_1 --> 0.3.4
textproc/hs-blaze-html 0.7.0.2_1 --> 0.8.1.0
textproc/hs-blaze-markup 0.6.1.0_1 --> 0.7.0.2
textproc/hs-case-insensitive 1.1.0.3_1 --> 1.2.0.4
textproc/hs-citeproc-hs 0.3.9_1 --> 0.3.10
textproc/hs-double-conversion 0.2.0.6_7 --> 2.0.1.0
textproc/hs-feed 0.3.9.2_1 --> 0.3.10.0
textproc/hs-hexpat 0.20.6_1 --> 0.20.9
textproc/hs-highlighting-kate 0.5.11.1 --> 0.6
textproc/hs-hs-bibutils 5.0_6 --> 5.5
textproc/hs-html-conduit 1.1.0.5_1 --> 1.2.0
textproc/hs-hxt 9.3.1.4_1 --> 9.3.1.15
textproc/hs-hxt-charproperties 9.1.1.1_1 --> 9.2.0.1
textproc/hs-hxt-regex-xmlschema 9.1.0_7 --> 9.2.0.2
textproc/hs-hxt-unicode 9.0.2.2_1 --> 9.0.2.4
textproc/hs-lhs2tex 1.18.1_8 --> 1.19
textproc/hs-pandoc 1.13.2 --> 1.15.0.6
textproc/hs-pandoc-types 1.12.4.1_1 --> 1.12.4.5
textproc/hs-parsec 3.1.5_1 --> 3.1.9
textproc/hs-polyparse 1.9_6 --> 1.11
textproc/hs-stringsearch 0.3.6.5_1 --> 0.3.6.6
textproc/hs-tagsoup 0.13.1_1 --> 0.13.3
textproc/hs-tagstream-conduit 0.5.5.1_1 --> 0.5.5.3
textproc/hs-texmath 0.8.0.1 --> 0.8.3
textproc/hs-uri 0.1.6.2_1 --> 0.1.6.3
textproc/hs-xml 1.3.13_6 --> 1.3.14
textproc/hs-xml-conduit 1.2.1_1 --> 1.3.1
textproc/hs-xml-hamlet 0.4.0.9_1 --> 0.4.0.11
textproc/hs-xml-types 0.3.4_1 --> 0.3.6
textproc/hs-xmlhtml 0.2.3.2_1 --> 0.2.3.4
textproc/hs-yaml 0.8.8.4_1 --> 0.8.13
www/hs-DAV 1.0.1_1 --> 1.0.7
www/hs-HTTP 4000.2.10_1 --> 4000.2.20
www/hs-authenticate 1.3.2.9_1 --> 1.3.2.11
www/hs-cgi 3001.1.8.5_1,1 --> 3001.2.2.2,1
www/hs-cookie 0.4.1.2_1 --> 0.4.1.6
www/hs-gitit 0.10.6.1_1 --> 0.11.1
www/hs-hS3 0.5.8_1 --> 0.5.9
www/hs-happstack-server 7.3.7_1 --> 7.4.4
www/hs-heist 0.13.1.2_1 --> 0.14.1.1
www/hs-hjsmin 0.1.4.7_1 --> 0.1.5.0
www/hs-http-client 0.3.6.1_1 --> 0.4.20
www/hs-http-conduit 2.1.4_1 --> 2.1.8
www/hs-http-date 0.0.4_8 --> 0.0.6.1
www/hs-http-reverse-proxy 0.4.0.1_1 --> 0.4.2
www/hs-http-server 1.0.4_1 --> 1.0.6
www/hs-http-types 0.8.5_1 --> 0.8.6
www/hs-oeis 0.3.5_1 --> 0.3.6
www/hs-path-pieces 0.1.4_1 --> 0.2.0
www/hs-recaptcha 0.1.0.2_1 --> 0.1.0.3
www/hs-shakespeare 2.0.1.1_1 --> 2.0.5
www/hs-snap 0.13.2.8_1 --> 0.14.0.6
www/hs-snap-core 0.9.6.3_1 --> 0.9.7.2
www/hs-snap-server 0.9.4.5_1 --> 0.9.5.1
www/hs-wai 3.0.1.1_1 --> 3.0.3.0
www/hs-wai-app-static 3.0.0_1 --> 3.1.1
www/hs-wai-extra 3.0.1.2_1 --> 3.0.10
www/hs-wai-logger 2.2.0_1 --> 2.2.4.1
www/hs-warp 3.0.0.5_1 --> 3.1.3
www/hs-warp-tls 3.0.0_1 --> 3.1.1
www/hs-webkit 0.12.6.1_1 --> 0.13.1.3
www/hs-xss-sanitize 0.3.5.2_1 --> 0.3.5.6
www/hs-yesod 1.2.6.1_1 --> 1.4.1.5
www/hs-yesod-auth 1.3.4_1 --> 1.4.6
www/hs-yesod-auth-hashdb 1.3.0.1_1 --> 1.4.2.2
www/hs-yesod-bin 1.2.12.3_1 --> 1.4.13.3
www/hs-yesod-core 1.2.19_1 --> 1.4.13
www/hs-yesod-form 1.3.14_1 --> 1.4.4.1
www/hs-yesod-persistent 1.2.3_1 --> 1.4.0.3
www/hs-yesod-static 1.2.4_1 --> 1.5.0.2
www/hs-yesod-test 1.2.3.2_1 --> 1.4.3.1
x11-toolkits/hs-GLURaw 1.4.0.1_1 --> 1.5.0.1
x11-toolkits/hs-GLUT 2.5.1.1_1,1 --> 2.7.0.1,1
x11-toolkits/hs-OpenGL 2.9.2.0_1,1 --> 2.12.0.1,1
x11-toolkits/hs-OpenGLRaw 1.5.0.0_1 --> 2.5.1.0
x11-toolkits/hs-gtk 0.12.5.7_1 --> 0.13.9
x11-toolkits/hs-gtk2hs 0.12.5_1,1 --> 0.13,1
x11-toolkits/hs-gtksourceview2 0.12.5.0_1 --> 0.13.1.3
x11-toolkits/hs-pango 0.12.5.3_1 --> 0.13.1.0
x11-toolkits/hs-vte 0.12.5.0_1 --> 0.13.0.2
x11-toolkits/hs-wx 0.90.1.0_1 --> 0.91.0.0
x11-toolkits/hs-wxc 0.90.1.1_1 --> 0.91.0.0
x11-toolkits/hs-wxcore 0.90.1.1_1 --> 0.91.0.0
x11-toolkits/hs-wxdirect 0.90.1.1_1 --> 0.91.0.0
x11-wm/hs-xmonad 0.11_10 --> 0.11.1
x11-wm/hs-xmonad-contrib 0.11.3_2 --> 0.11.4
x11/hs-xmobar 0.21_1 --> 0.23.1
Removed ports (14):
devel/hs-MaybeT Support for computations with failures (deprecated)
devel/hs-geniplate Use template Haskell to generate Uniplate-like
functions (upstream support is discontinued)
devel/hs-glade Binding to the glade library (upstream support is
discontinued)
devel/hs-haskell-platform The Haskell Platform (it is not tracked any more)
devel/hs-ranges Ranges and various functions on them (deprecated)
devel/hs-testpack Test Utility Pack for HUnit and QuickCheck
(upstream is unmaintained)
graphics/hs-soegtk GUI functions as used in the book "The Haskell
School of Expression" (upstream support is
discontinued)
lang/hs-epic Compiler for a simple functional language (it is
not needed any more)
math/hs-nats Natural numbers (it has been merged into the base
library of GHC)
multimedia/hs-gstreamer Binding to the GStreamer open source multimedia
framework (upstream support is discontinued) [2]
www/hs-scgi Haskell library for writing SCGI programs
(deprecated)
www/hs-yesod-platform Meta package for Yesod (upstream support is
discontinued)
www/hs-yesod-routes Effective routing for Yesod (upstream support is
discontinued)
x11-toolkits/hs-gtkglext Binding to the GTK+ OpenGL Extension (upstream
support is discontinued)
PR: 181049 [1]
PR: 197925 [2]
PR: 200684 [3]
Submitted by: arrowdodger <6yearold@gmail.com> [1]
Obtained from: FreeBSD Haskell
|
20:28 jlaffaye
Copy lang/go to lang/go14
Go 1.4 is the last Go release with its toolchain written in C.
Keep Go 1.4 arround to bootstrap future versions.
While I'm here, lift the restriction for armv6.
|
Saturday, 15 Aug 2015
|
15:59 danfe
- Resurrect lang/quack port, unbreak, and update to the latest version (0.47)
- Remove BROKEN on ia64 statement, it was never a first-class architecture
and officially killed in -CURRENT already
- Modernize and clean up the port while here, define LICENSE (GPLv2)
|
Thursday, 30 Jul 2015
|
22:21 brooks
Replace lang/clang-cheri with devel/llvm-cheri derived from devel/llvm-devel
and update to the latest versions in git.
Sponsored by: DARPA, AFRL
|
Tuesday, 14 Jul 2015
|
22:36 dumbbell
lang/rust-nightly: New port for the nightly version of Rust
Differential Revision: https://reviews.freebsd.org/D2798
Reviewed by: jonathan, kwm
Approved by: jonathan
|
Friday, 3 Jul 2015
|
17:16 adamw
Add lang/p5-Try-Catch, a stripped-down, faster implementation of
p5-Try-Tiny.
|
Friday, 26 Jun 2015
|
07:58 olgeni
Add lang/alchemist.el, Elixir tooling integration into Emacs.
It requires lang/elixir-mode.el for syntax highlighting and a few
more things.
|
07:51 olgeni
Add lang/elixir-mode.el, an Elixir mode for Emacs.
|
Wednesday, 24 Jun 2015
|
14:11 olgeni
Add lang/erlang-runtime18, an Erlang runtime for version 18.
- Copied from lang/erlang-runtime17.
|
13:32 marino
Add new file lang/spark (will become run-depends for GPS)
SPARK 2014 is a programming language and a set of verification tools
designed to meet the needs of high-assurance software development. SPARK
is based on Ada 2012, both subsetting the language to remove features that
defy verification, but also extending the system of contracts and aspects
to support modular, formal verification.
The new aspects support abstraction and refinement and facilitate deep
static analysis to be performed including information-flow analysis and
formal verification of an implementation against a specification.
SPARK is a much larger and more flexible language than its predecessor
SPARK 2005. The language can be configured to suit a number of application
domains and standards, from server-class high-assurance systems (such as
air-traffic management applications), to embedded, hard real-time,
critical systems (such as avionic systems complying with DO-178C Level A).
A major feature of SPARK is the support for a mixture of proof and other
verification methods such as testing, which facilitates the use of unit
proof in place of unit testing; an approach now formalized in DO-178C and
the DO-333 formal methods supplement. Certain units may be formally proven
and other units validated through testing.
|
Tuesday, 23 Jun 2015
|
08:38 ed
Add cloudabi-clang.
This port adds the necessary symbolic links to make Clang work as a
cross compiler for CloudABI. Clang can automatically derive its target
from argv[0]. We don't need to install another copy of Clang. It is
sufficient to invoke it the right way.
CloudABI support is not yet part of a released version of Clang. This is
why we still need to depend on llvm-devel. My intent is to stick to a
fixed compiler version at one point in time.
PR: 200954
Differential Revision: https://reviews.freebsd.org/D2885
Approved by: bapt
|
Wednesday, 17 Jun 2015
|
11:16 marino
Add new port lang/lua-ada
These are bindings to a Lua library for Ada. The gpr file is written for
the version of Lua that is default on the system that builds the port.
(see Mk/bsd.default-versions.mk)
There is no documentation available, but two examples with sources are
built and installed for illustration.
|
Wednesday, 10 Jun 2015
|
16:44 rene
Remove expired ports:
2015-05-10 databases/postgresql84-client: "EOL was reached in July 2014"
2015-05-10 databases/postgresql84-contrib: "EOL was reached in July 2014"
2015-05-10 databases/postgresql84-docs: "EOL was reached in July 2014"
2015-05-10 databases/postgresql84-plperl: "EOL was reached in July 2014"
2015-05-10 databases/postgresql84-plpython: "EOL was reached in July 2014"
2015-05-10 databases/postgresql84-pltcl: "EOL was reached in July 2014"
2015-06-02 deskutils/deskbar-applet: Broken since update to gnome3
2015-06-02 deskutils/gimmie: Broken since update to gnome3
2015-06-02 deskutils/glipper: Broken since update to gnome3
2015-06-02 deskutils/gnochm: Broken since update to gnome3
2015-06-02 deskutils/hamster-applet: Broken since update to gnome3
2015-06-02 deskutils/kupfer: Broken since update to gnome3
2015-06-02 deskutils/ontv: Broken since update to gnome3
2015-06-02 deskutils/timer-applet: Broken since update to gnome3 (Only the first 15 lines of the commit message are shown above )
|
Number of commits found: 1066 (showing only 100 on this page) |