CVS log for pkgsrc/devel/pvs/Makefile

Up to [cvs.NetBSD.org] / pkgsrc / devel / pvs

Request diff between arbitrary revisions

Keyword substitution: kv
Default branch: MAIN

Bump all elisp packages for the CONFLICTS change.

pvs: revert unintended commit

pvs: use BLAKE2s

I don't have the solaris distfile, so that stays at RMD160

pvs: remove dead master site

all: migrate homepages from http to https

pkglint -r --network --only "migrate"

As a side-effect of migrating the homepages, pkglint also fixed a few
indentations in unrelated lines. These and the new homepages have been
checked manually.

master site is gone, add a mirror

add a comment for the next person who ventures here

Revbump all elisp packages after emacs changes.

Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.

Update primary master site's host name, from HOMEPAGE.
Drop 2nd and 3rd sites from MASTER_SITES (ver3.2 is not hosted).
PR 47059.

pvs needs tex-amsmath, not the entire teTeX.

Quell a pkglint warning.

PKGREVISION bump for elisp packages because of bytecode format changes
in emacs23.

Use standard location for LICENSE line (in MAINTAINER/HOMEPAGE/COMMENT
block). Uncomment some commented out LICENSE lines while here.

Correct email address for generic MAINTAINER.

Give up maintainership, as I have not so much as looked at pkgsrc in
well over a year now.  Sorry. :-(

Revert previous; pvs includes mk/tex.buildlink3.mk which is not related to
Emacs lisp files.

Introduce EMACS_BUILDLINK to decide if Emacs lisp file wrappers are really
created or not.  Packages that include other ELP's buildlink3.mk must define
EMACS_BUILDLINK.  Other packages don't create wrappers, which reduces build
time a lot.

Move mk/emacs.mk to editors/emacs/modules.mk.

Don't call pkg_info to get the installed Emacs version; always use the
version matching EMACS_TYPE set by users.  Be DEPENDS to it.  This should
address pkg/37146 by Aleksey Cheusov.

While here convert some emacs lisp packages to user-destdir.

Second round of explicit pax dependencies. As reminded by tnn@,
many packages used to use ${PAX}. Use the common way of directly calling
pax, it is created as tool after all.

Mechanical changes to add DESTDIR support to packages that install
their files via a custom do-install target.

Convert to use the emulator framework and properly support the
"solaris-sparc" emulation so that NetBSD/sparc and NetBSD/sparc64 and
use this package.

Whitespace cleanup, courtesy of pkglint.
Patch provided by Sergey Svishchev in private mail.

Remove teTeX2 from TEX_ACCEPTED, because the teTeX2 packages will be removed
shortly.

Move the check-shlibs target from bsd.pkg.mk to bsd.pkg.check.mk where
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.

Remove references to teTeX1.

Removed the superfluous "quotes" and 'quotes' from variables that don't
need them, for example RESTRICTED and SUBST_MESSAGE.*.

* Nuke all references to and definitions of INFO_DIR in package Makefiles
  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.

Recursive revision bump / recommended bump for gettext ABI change.

Builds on DragonFly.

Rename LATEX_ACCEPTED and LATEX_DEFAULT to TEX_ACCEPTED and TEX_DEFAULT
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

convert to use tex.buidllink3.mk

Replaced "# defined" with "yes" in Makefile variables like GNU_CONFIGURE,
NO_BUILD, USE_LIBTOOL.

Update pvs to 3.2:
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

Rework emacs.mk:

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.

Create directories before installing files into them.

Remove USE_BUILDLINK3 and NO_BUILDLINK; these are no longer used.

This package depends on x11/tk because it installs a wish script; use
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.

there will not be a NetBSD-1.[7-9] but will be a NetBSD-[2-9].*
adjust patterns used in ONLY_FOR_PLATFORM/NOT_FOR_PLATFORM to reflect
this.

Convert to buildlink3.

PKGREVISION bump after openssl-security-fix-update to 0.9.6m.
Buildlink files: RECOMMENDED version changed to current version.

Let ONLY_FOR_PLATFORM recognize NetBSD 2.0 and future versions.

Enable tk84 and replace x11/tk with x11/tk83.  Packages compatible
with 8.4 will be updated to depend on x11/tk after Tk update.

Move WRKSRC definition away from the first paragraph in a Makefile.

USE_NEW_TEXINFO is unnecessary now.

s/netbsd.org/NetBSD.org/

Convert to USE_NEW_TEXINFO.
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.

Upgrade to 3.1, a bug-fix release. (Not much more information available
from the website.)

Place WRKSRC where it belongs, to make pkglint happy; ok'ed by wiz.

Add
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.)

Add a mirror

Upgrade to 3.0 (previous version was actually 3.0-beta.) -> bump
PKGREVISION.
Also use buildlink2 and emacs.mk for simplicity.

Initial import of devel/pvs into pkgsrc:

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.

Initial revision