checking finite state systems against specifications
the temporal logic CTL (Computational Tree Logic).
PR: ports/59429
Submitted by: Marc van Woerkom <marc.vanwoerkom@fernuni-hagen.de>
- Install xttMod.tmpl, which may be used by XFree86-4-Server soon
- Use #!/usr/bin/env perl to increase chances of finding perl. Perl should be
unnecessarry once we get XFree86 4.4.0.
PR: ports/60005 (perl)
Submitted by: nik
script was renamed to solve a conflict with archivers/rpm) to fix possible
build problems.
I've tested this with lang/icc. Any new errors because of this commit in
one of the modified ports may be because the ports previously may have used
rpm2cpio from archivers/rpm instead of the used {EXTRACT,BUILD}_DEPENDS
archivers/rpm2cpio.
the documentation is now handled correctly in pkg-plist.
. Use EXAMPLESDIR and JAVAJARDIR in Makefile and pkg-plist.
PR: 59022
Submitted by: Herve Quiroz <herve.quiroz@esil.univ-mrs.fr> (maintainer)
the extensive changes. Of course there are the usual bugfixes.
Also fix the mastersites and WWW url.
PR: ports/54754, ports/55747
Submitted by: Shu-yu Guo <shu@rufuran.org>, Michal F. Hanula
<frankie@7f000001.org>
Committed on behalf of wjv@, who is letting real life take precedence
over FreeBSD right now.
AS31 is a good tool for building small 8051-based projects that are
written in 100% 8051 assembly language.
PR: ports/59549
Submitted by: Volker Stolz <stolz@i2.informatik.rwth-aachen.de>
you need to write network-centric, web-enabled and
internationalized applications in C++. It enables you to:
* create network clients and servers using either raw socket
facilities or higher-level protocols such as HTTP and FTP.
* create multi-threaded applications and manage synchronization
between threads using simple but effective threading
abstractions which are common to all platforms.
* use the full Unicode character range, using built-in
character types and standard string classes.
* use byte and character streams and manipulate files using an
API inspired by the excellent java.io package.
* take advantage of its open architecture by registering your
own (or third-party) classes to perform custom processing.
* write portable applications and extension libraries. OpenTop
is an ideal base on which to deliver cross-platform
solutions, benefitting independent software vendors and
corporate IT departments.
* integrate XML into your C++ applications with the C++ XML
Toolkit extension library.
PR: 59887
Submitted by: Sergey Matveychuk <sem@ciam.ru>
