Age | Commit message (Collapse) | Author | Files | Lines |
|
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.
|