Age | Commit message (Collapse) | Author | Files | Lines |
|
Use perl5/module.mk
Get ride of a patch by passing zlib's files locations in MAKE_ENV
|
|
each platform anyway.
|
|
|
|
PVS is a verification system: that is, a specification language integrated
with support tools and a theorem prover. It is intended to capture the
state-of-the-art in mechanized formal methods and to be sufficiently rugged
that it can be used for significant applications.
For more details, please see http://pvs.csl.sri.com/ and
http://pvs.csl.sri.com/overview.html
This package was tested on NetBSD-1.6-i386 and Linux-i386, it might work
(but might need some modification) on NetBSD-1.6-sparc and SunOS as well.
For i386, NetBSD 1.6 is required -- on 1.5.x versions, it will (seemingly)
install fine but not work correctly in various instances.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
compiled using orbit-idl, which uses the C preprocessor to do its work, and
the C preprocessor has it's arguments transformed (correctly) by
buildlink2.
|
|
|
|
for the extra CPPFLAGS and LDFLAGS needed by packages that include these
buildlink2.mk files.
|
|
|
|
*.pc and binaries. Both these things are simply found by packages in their
true installed locations.
|
|
|
|
|
|
extension Makefile fragments, because they really don't have anything to
do with the buildlink[12] frameworks. Change all the Makefiles that use
application.buildlink.mk and extension.buildlink.mk to use application.mk
and extension.mk instead.
|
|
|
|
|
|
|
|
|
|
manual tells you to), instead of "-Lsrcdir -llib".
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
wrapper used by feh and other utilities.
|
|
bmake is now sync'd with NetBSD-1.6
mk-files have been overhauled to handle ELF on BSD systems.
|
|
script handling and using @RCD_SCRIPTS_SHELL@.
as discussed with jlam.
|
|
|
|
RT is an industrial-grade ticketing system. It lets a group of
people intelligently and efficiently manage requests submitted by
a community of users. RT is used by systems administrators, customer
support staffs, NOCs, developers and even marketing departments at
over a thousand sites around the world.
This version is backed by the postgres database.
|
|
RT is an industrial-grade ticketing system. It lets a group of
people intelligently and efficiently manage requests submitted by
a community of users. RT is used by systems administrators, customer
support staffs, NOCs, developers and even marketing departments at
over a thousand sites around the world.
This version is backed by the mysql database.
|
|
|
|
|
|
|
|
The libevent API provides a mechanism to execute a callback function when a
specific event occurs on a file descriptor or after a timeout has been
reached.
libevent is meant to replace the asynchronous event loop found in event
driven network servers. An application just needs to call event_dispatch()
and can then add or remove events dynamically without having to change the
event loop.
Currently, libevent supports kqueue(2) and select(2). Support for poll(2)
and /dev/poll is planned. The internal event mechanism is completely
independent of the exposed event API, and a simple update of libevent can
provide this new functionality without having to redesign the server
applications.
|
|
|
|
Provided in PR 18302 by Daniel Hagerty <hag@linnaean.org>
SableCC is a java based framework for compiler construction.
It generates LALR(1) parsers from an EBNF grammar syntax.
|
|
future when pkgsrc's libintl.so depends on libiconv.so, libtool will be
confused and use the wrong libintl when we want the system one.
|
|
support is activated in libsigc++.
|
|
|