Gnome 3.14.1 and Cinnamon 2.2.16 are supported on FreeBSD 9.3-RELEASE and up.
This commit removes the old GNOME 2 desktop, bindings and some ports that
can't be compiled. A few ports where updated to more recent versions to
allow them to compile with this update.
Apart from updating ports to newer versions
GDM is more integrated with gnome-shell now, and handles several things for
the GNOME desktop such as screen locking. If you want to use GNOME 3 via
startx, you will have to add your own lock screen/screensaver. For example xscreensaver
can be used for sessions started without GDM.
Shell Extensions can be installed via https://extensions.gnome.org/ , we have
ported a few that can't be installed via this way.
The old gnome-utils and gnome-games ports where split up into single ports
and where converted to meta-ports.
gnome-terminal requires a UTF-8 locale to run, gdm handles this already, but
if you use startx you need to do this yourself.
Upgrade instructions:
Delete the old and conflicting packages:
# pkg delete clutter gnome-utils gnome-panel gnome-keyring vala-vapigen \
guile gcalctool gnome-media libgnomekbd
# pkg delete gnome-screensaver gnome-applets bug-buddy evolution-exchange \
evolution-webcal gnome-system-tools seahorse-plugins gnome-control-center
For package users the following lines will be enough:
# pkg upgrade
# pkg install gnome3
For ports users should do the following:
# portmaster -a
# portmaster x11/gnome3
We are currently aware of two issues. The first issue is a bug in the
file monitoring code in the glib20 port. This bug causes glib programs
to crash when files in a monitored directory are added or removed.
Upstream is aware of the problem, but since the problem is quite complex
there is no solution yet. This problem isn't restricted to BSD.
The second issue is that on certain video cards totem will display a
purple/pink overlay on the video. It not clear yet where the issues
comes from.
Major thanks goes to Gustau Perez for being a driving force behind getting
GNOME 3 up to speed again. Also thanks to Antoine Brodin for running the exp-runs.
This update was also made possible by:
Joe Maloney
Kris Moore
Beeblebrox
Ryan Lortie
Antoine Jacoutot
and everyone I missed
2014-11-07 math/elmer-umfpack: Obsoleted by cad/elmerfem
2014-11-07 science/elmer-eio: Obsoleted by cad/elmerfem
2014-11-07 science/elmer-matc: Obsoleted by cad/elmerfem
2014-11-07 science/elmer-meshgen2d: Obsoleted by cad/elmerfem
2014-11-07 science/elmergrid: Obsoleted by cad/elmerfem
pyfst provides a Python interface to the excellent OpenFst library.
Most of the essential functionality of the library is exposed through a
simplified API, allowing quick prototyping of algorithms using finite-state
methods and easy visual debugging of the results obtained by applying
FST operations.
WWW: http://pyfst.github.io
- Create a slave port to build a package with this option
- Switch to an external plist, because many files are added.
PR: ports/193810
Submitted by: /me
Approved by: bf (maintainer, by private mail)
The octave-forge package is the result of The GNU Octave Repositry project,
which is intended to be a central location for custom scripts, functions and
extensions for GNU Octave. contains the source for all the functions plus
build and install scripts.
This is stk.
----------------------------------------------------------------------------
The STK is a (not so) Small Toolbox for Kriging. Its primary focus in on
the interpolation/regression technique known as kriging, which is very
closely related to Splines and Radial Basis Functions, and can be
interpreted as a non-parametric Bayesian method using a Gaussian Process
(GP) prior. The STK also provides tools for the sequential and
non-sequential design of experiments. Even though it is, currently, mostly
geared towards the Design and Analysis of Computer Experiments (DACE), the
STK can be useful for other applications areas (such as Geostatistics,
Machine Learning, Non-parametric Regression, etc.).
Moses is a statistical machine translation system that allows you to
automatically train translation models for any language pair. All you
need is a collection of translated texts (parallel corpus). Once you have a
trained model, an efficient search algorithm quickly finds the highest
probability translation among the exponential number of choices.
WWW: http://www.statmt.org/moses/
Ipopt (Interior Point OPTimizer, pronounced eye-pea-Opt) is a software
package for large-scale nonlinear optimization.
Ipopt is written in C++ and is released as open source code under the
Eclipse Public License (EPL). It is available from the COIN-OR
initiative. The code has been written by Carl Laird and Andreas Wächter,
who is the COIN project leader for Ipopt.
The Ipopt distribution can be used to generate a library that can be
linked to one's own C++, C, or Fortran code, as well as a solver
executable for the AMPL modeling environment. The package includes
interfaces to CUTEr optimization testing environment, as well as the
MATLAB and R programming environments. IPOPT can be used on Linux/UNIX,
Mac OS X and Windows platforms.
An excellent reference for this library can be found in:
Wächter and L. T. Biegler, On the Implementation of a Primal-Dual Interior
Point Filter Line Search Algorithm for Large-Scale Nonlinear Programming,
Mathematical Programming 106(1), pp. 25-57, 2006
WWW: https://projects.coin-or.org/Ipopt
PR: 168290
Submitted by: Pedro F. Giffuni <pfg@FreeBSD.org>
- Remove from devel/Makefile
- Add to math/Makefile
- Update CATEGORIES for both ports
- Add MOVED entries
While I'm here, sort MOVED entries causing MOVEDlint.awk error [1]
after r365599 [2]
[1] 6470: date going backwards from 2014-08-20 to 2014-08-15
[2] https://svnweb.freebsd.org/changeset/ports/365599
Suggested by: vsevolod
PDAL is a BSD licensed library for translating and manipulating
point cloud data of various formats. It is a library that is
analogous to the GDAL raster library. PDAL is focussed on reading,
writing, and translating point cloud data from the ever-growing
constellation of data formats that are being developed for working
with multi-dimensional emitted-pulse scanning systems. While PDAL is
not explicitly limited to working with LiDAR data formats, its
initial rollout is focused in that area.
WWW: http://www.pdal.io/
PR: 192329
Submitted by: coder@tuxfamily.org (maintainer)
MPIR is an open source multiprecision integer (bignum) library forked from the
GMP (GNU Multi Precision) project. It consists of much code from past GMP
releases, in combination with much original contributed code.
MPIR is constructed by a developer and vendor friendly community of
professional and amateur mathematicians, computer scientists and hobbyists.
WWW: http://www.mpir.org
The Helsinki Finite-State Transducer toolkit is intended for processing
natural language morphologies. The toolkit is demonstrated by wide-coverage
implementations of a number of languages of varying morphological complexity.
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
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
Foma is a compiler, programming language, and C library for constructing
finite-state automata and transducers for various uses. It has specific
support for many natural language processing applications such as producing
morphological analyzers. Although NLP applications are probably the main use
of foma, it is sufficiently generic to use for a large number of purposes.
2014-04-12 net/pvm++: Unmaintained since 2001
2014-04-12 devel/ixlib: Unmaintained since 2001
2014-04-12 mail/althea: Unmaintained since 2001
2014-04-12 graphics/claraocr: Unmaintained since 2001
2014-04-12 graphics/qvplay: Unmaintained since 2001
2014-04-12 print/guitartex: Unmaintained since 2001
2014-04-12 print/pnm2ppa: Unmaintained since 2001
2014-04-12 graphics/opendis: Unmaintained since 2001
2014-04-12 net/gnome-mud: Unmaintained since 2001
2014-04-12 graphics/maverik: Unmaintained since 2001
2014-04-12 biology/rasmol: Unmaintained since 2001
2014-04-12 mail/mail2procmailrc: Unmaintained since 2001
2014-04-12 science/felt: Unmaintained since 2001
2014-04-12 textproc/pardiff: Unmaintained since 2001
2014-04-12 lang/klone: Unmaintained since 2001
2014-04-12 net/rmsg: Unmaintained since 2001
2014-04-12 net/sharity-light: Unmaintained since 2001
2014-04-12 biology/genpak: Unmaintained since 2001
2014-04-12 net/forg: Unmaintained since 2001
2014-04-12 misc/txt2regex: Unmaintained since 2001
2014-04-12 textproc/ipdf: Unmaintained since 2001
2014-04-12 graphics/plotmtv: Unmaintained since 2001
2014-04-12 devel/happydoc: Unmaintained since 2001
2014-04-12 print/cpp2latex: Unmaintained since 2001
2014-04-12 graphics/svg2swf: Unmaintained since 2001
2014-04-12 devel/flick: Unmaintained since 2001
2014-04-12 mail/smail: Unmaintained since 2001
2014-04-12 net/net-http: Unmaintained since 2001
2014-04-12 security/cfv: Unmaintained since 2001
2014-04-12 graphics/camediaplay: Unmaintained since 2001
2014-04-12 math/umatrix: Unmaintained since 2001
2014-03-10 www/p5-CGI-modules: No more public distfiles
2014-04-10 www/p5-WWW-Link: Depends on expired www/p5-CGI-modules
2014-03-10 www/sbox-dtc: No more public distfiles
2014-04-10 sysutils/dtc: Depends on expired www/sbox-dtc
2014-03-10 textproc/glimpse: No more public distfiles
2014-04-10 ftp/ftplocate: Depends on expired textproc/glimpse
2014-04-10 misc/tkman: Depends on expired textproc/glimpse
2014-04-09 devel/asl: Unmaintained since 1997
2014-04-09 net/pcnfsd: Unmaintained since 1997
2014-04-10 cad/chipmunk: Unmaintained since 1999
2014-04-10 graphics/comix: Insists on installing in /usr/local, and uses nautilus2 which is deprecated.
2014-04-10 www/mambo: Broken for more than 6 months
2014-04-10 devel/lua-rds-parser: Broken for more than 6 months
2014-04-10 editors/the: Unmaintained since 1999
2014-04-10 japanese/exmh2: Unmaintained since 1999
2014-04-10 net/freewais-sf: Unmaintained since 1999
2014-04-10 editors/elvis: Unmaintained since 1999
2014-04-10 japanese/sed: Unmaintained since 1999
2014-04-10 x11-fm/xfm: Unmaintained since 1999
2014-04-10 print/rtf2latex: Unmaintained since 1999
2014-04-10 graphics/fbm: Unmaintained since 1999
2014-04-11 devel/p5-Penguin-Easy: Unmaintained since 2000
2014-04-11 emulators/prodosemu: Unmaintained since 2000
2014-04-11 security/gtkportscan: Unmaintained since 2000
2014-04-11 graphics/xmfract: Unmaintained since 2000
2014-04-11 databases/xmbase-grok: Unmaintained since 2000
2014-04-11 emulators/svr4_base: Unmaintained since 2000
2014-04-11 math/freefem: Unmaintained since 2000
2014-04-11 graphics/tiff2png: Unmaintained since 2000
2014-04-11 math/wingz: Unmaintained since 2000
2014-04-11 lang/STk: Unmaintained since 2000
2014-04-11 graphics/kdc2tiff: Unmaintained since 2000
2014-04-11 math/xlispstat: Unmaintained since 2000
2014-04-11 databases/typhoon: Unmaintained since 2000
2014-04-11 graphics/dc20ctrl: Unmaintained since 2000
2014-04-11 www/fhttpd: Unmaintained since 2000
2014-04-11 graphics/xmorph: Unmaintained since 2000
2014-04-11 editors/axe: Unmaintained since 2000
2014-04-11 www/cgic: Unmaintained since 2000
2014-03-27 audio/pysol-sound-server: Broken, abondonware, use pysolfc
2014-03-27 games/pysol-cardsets: Broken, abondonware, use pysolfc
2014-03-27 games/pysol-music: Broken, abondonware, use pysolfc
2014-03-27 games/pysol: Broken, abondonware, use pysolfc
2014-03-28 devel/ros_tutorials: Depends on expiring devel/ros_comm
2014-03-28 math/ros-geometry: Depends on expiring devel/ros_comm
2014-03-28 devel/ros-nxt: Depends on expiring devel/ros_comm
2014-03-28 devel/ros-rx: Depends on expiring devel/ros_comm
2014-03-28 devel/R-cran-vcd: New port without proper maintainer
2014-03-28 devel/ros-documentation: Depends on expiring devel/ros_comm
2014-03-28 devel/ros-common_msgs: Depends on expiring devel/ros_comm
2014-03-28 devel/ros_comm: Broken for more than 6 months
1/2/4-byte Integer, single/double-precision Real/Complex, and Ruby Object. This
extension library incorporates fast calculation and easy manipulation of large
numerical arrays into the Ruby language. NArray has features similar to NumPy,
but NArray has vector and matrix subclasses.
WWW: http://narray.rubyforge.org/
PR: ports/187917
Submitted by: Shin-ya MURAKAMI <murashin@gfd-dennou.org>
The octave-forge package is the result of The GNU Octave Repositry project,
which is intended to be a central location for custom scripts, functions and
extensions for GNU Octave. contains the source for all the functions plus
build and install scripts.
This is divand.
This is a powerful Computer-Algebra System written in it's own version of
LISP with quite a long history behind it.
PR: ports/186855
Submitted by: Pedro Giffuni <giffunip@tutopia.com>
base representation than normal. In base n arithmetic you have n
symbols which have a representation. I was going to call them
"glyphs", but being text strings they are not really. On Tye McQueen's
whimsical suggestion I settled on the name Math::Fleximal, the set of
text representations is called a "flex", and the representation of
individual digits are the "flecks". These names are somewhat
unofficial...
This allows you to do basic arithmetic using whatever digits you want,
and to convert from one to another.
WWW: http://search.cpan.org/dist/Math-Fleximal/
Submitted by: Matthew Seaman <matthew@FreeBSD.org>
It's dedicated to trading software developers requiring to perform technical
analysis of financial market data. Alongside many indicators like ADX, MACD,
RSI, Stochastic, TRIX the candlestick pattern recognition and several vector
arithmetic and algebraic functions are present.
WWW: http://pecl.php.net/package/trader/
PR: ports/186226
Submitted by: Jim Ohlstein <jim@ohlste.in>
adds support for MEX compilation, adds a man page, and improves the user
interface using auto-admin tools.
PR: ports/184607
Submitted by: Jason Bacon <jwbacon (at) tds.net>
The octave-forge package is the result of The GNU Octave Repositry project,
which is intended to be a central location for custom scripts, functions and
extensions for GNU Octave. contains the source for all the functions plus
build and install scripts.
This is image-acquisition.
This is a port of the new VTK 6.x series. It is an early effort which should
be used with care. Python support is present but commented out, pending some
more thorough test.
WWW: http://vtk.org/
The octave-forge package is the result of The GNU Octave Repositry project,
which is intended to be a central location for custom scripts, functions and
extensions for GNU Octave. contains the source for all the functions plus
build and install scripts.
OpenFst is a library for constructing, combining, optimizing, and
searching weighted finite-state transducers (FSTs). Weighted finite-state
transducers are automata where each transition has an input label, an
output label, and a weight. The more familiar finite-state acceptor
is represented as a transducer with each transition's input and output
label equal. Finite-state acceptors are used to represent sets of
strings (specifically, regular or rational sets); finite-state transducers
are used to represent binary relations between pairs of strings
(specifically, rational transductions). The weights can be used to represent
the cost of taking a particular transition.
