Age | Commit message (Collapse) | Author | Files | Lines |
|
"solaris-sparc" emulation so that NetBSD/sparc and NetBSD/sparc64 and
use this package.
|
|
Patch provided by Sergey Svishchev in private mail.
|
|
shortly.
|
|
it will live with other "check" targets run after package installation.
Get rid of SHLIB_HANDLING, whose meaning had mutated over the years
from one thing to another. Currently, it is used to basically note
whether the system's "ldd" command can be usefully run on the package's
binaries and libraries. Rename this variable to CHECK_SHLIBS_SUPPORTED
for more clarity.
CHECK_SHLIBS is now a variable set exclusively by the user in /etc/mk.conf
to note whether the check for missing run-time search paths is performed
after a package is installed. It defaults to "no" unless PKG_DEVELOPER
is set.
|
|
|
|
need them, for example RESTRICTED and SUBST_MESSAGE.*.
|
|
and replace with appropriate references to PKGINFODIR instead.
* Properly account for split info files during installation.
* Move info file listings directly into the package PLISTs.
This fixes info-file-related PLIST problems.
|
|
|
|
|
|
It is more consistent with the tex.buildlink3.mk name. Also, if a package
really needs latex, it just has to set TEX_ACCEPTED to latex distributions
altough today, all TEX_ACCEPTED possibilities are latex distributions
|
|
|
|
NO_BUILD, USE_LIBTOOL.
|
|
According to http://pvs.csl.sri.com/announcements/pvs3.2-release-notes.shtml
this contains a number of bug fixes as well as the following improvements
and added features:
-Startup Script Update
-Theory Interpretation Enhancements
-References to Mapped Entities
-Cleaning up Specifications
-Binary Files
-Generating HTML
-Default Strategies
-Better handling of TCCs in Proofs
-typepred! rule and all-typepreds strategy
-grind-with-ext and reduce-with-ext
-New forward chain commands
-TeX Substitutions
-add-declaration and IMPORTINGs
-Prelude additions
|
|
1) Simplify the way how an emacs version is picked when no emacs
is installed, but a user try to install an Emacs Lisp package.
Just pick up the version set as EMACS_TYPE than searching for
versions already installed etc. If the EMACS_TYPE version is
not supported by the Emacs Lisp Package, just fail. EMACS_TYPE
be default to GNU Emacs 21.
(In other words, users should set EMACS_TYPE as they want.
Otherwise GNU Emacs 21 is used.)
2) All Emacs Lisp Packages *must* prepend EMACS_PKGNAME_PREFIX to
a) the PKGNAME itself, and b) PKGNAME in its dependency lines.
EMACS_PKGNAME_PREFIX is expanded to "xemacs-" when XEmacs is
used. This keeps dependency graph of Emacs-Lisp-packages-
installed-for-XEmacs consistent.
3) Document EMACS_* variables as much as possible.
4) Provide more cookies for PLIST. Maybe utilized later.
Note that the 2) change doesn't affect the default, GNU Emacs 21
behaviour. So no version / revision bumps in this commit.
|
|
|
|
|
|
|
|
DEPENDS instead of buildlinking tk. Also relax the tk requirement so
that it can be used with Tk-8.4.
Bump PKGREVISION due to the dependency change.
|
|
adjust patterns used in ONLY_FOR_PLATFORM/NOT_FOR_PLATFORM to reflect
this.
|
|
|
|
Buildlink files: RECOMMENDED version changed to current version.
|
|
|
|
with 8.4 will be updated to depend on x11/tk after Tk update.
|
|
|
|
|
|
|
|
|
|
Set the INFO_DIR to pvs/doc/release-notes where the info file
pvs-release-notes.info gets installed.
Patch the info file so install-info finds a section and an entry in it
for the directory file.
|
|
from the website.)
|
|
|
|
CHECK_SHLIBS=NO
SHLIB_HANDLING=NO
as suggested by wiz in an attempt to fix problems seen in
the recent bulk-builds.
(Note: I can't reproduce the problem and IIRC previous bulk-
builds did not have them, either, so these fixes are very
speculative.)
|
|
|
|
PKGREVISION.
Also use buildlink2 and emacs.mk for simplicity.
|
|
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.
|