The NetBSD Project

CVS log for pkgsrc/devel/pvs/Makefile

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

Request diff between arbitrary revisions


Default branch: MAIN


Revision 1.53 / (download) - annotate - [select for diffs], Sat May 14 22:25:34 2022 UTC (23 months ago) by dholland
Branch: MAIN
CVS Tags: pkgsrc-2024Q1-base, pkgsrc-2024Q1, pkgsrc-2023Q4-base, pkgsrc-2023Q4, pkgsrc-2023Q3-base, pkgsrc-2023Q3, pkgsrc-2023Q2-base, pkgsrc-2023Q2, pkgsrc-2023Q1-base, pkgsrc-2023Q1, pkgsrc-2022Q4-base, pkgsrc-2022Q4, pkgsrc-2022Q3-base, pkgsrc-2022Q3, pkgsrc-2022Q2-base, pkgsrc-2022Q2, HEAD
Changes since 1.52: +2 -2 lines
Diff to previous 1.52 (colored)

Bump all elisp packages for the CONFLICTS change.

Revision 1.52 / (download) - annotate - [select for diffs], Mon Nov 15 17:32:45 2021 UTC (2 years, 4 months ago) by wiz
Branch: MAIN
CVS Tags: pkgsrc-2022Q1-base, pkgsrc-2022Q1, pkgsrc-2021Q4-base, pkgsrc-2021Q4
Changes since 1.51: +2 -2 lines
Diff to previous 1.51 (colored)

pvs: revert unintended commit

Revision 1.51 / (download) - annotate - [select for diffs], Mon Nov 15 17:32:14 2021 UTC (2 years, 4 months ago) by wiz
Branch: MAIN
Changes since 1.50: +2 -2 lines
Diff to previous 1.50 (colored)

pvs: use BLAKE2s

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

Revision 1.50 / (download) - annotate - [select for diffs], Wed Apr 21 08:27:24 2021 UTC (2 years, 11 months ago) by wiz
Branch: MAIN
CVS Tags: pkgsrc-2021Q3-base, pkgsrc-2021Q3, pkgsrc-2021Q2-base, pkgsrc-2021Q2
Changes since 1.49: +1 -3 lines
Diff to previous 1.49 (colored)

pvs: remove dead master site

Revision 1.49 / (download) - annotate - [select for diffs], Sun Jan 26 17:31:02 2020 UTC (4 years, 2 months ago) by rillig
Branch: MAIN
CVS Tags: pkgsrc-2021Q1-base, pkgsrc-2021Q1, pkgsrc-2020Q4-base, pkgsrc-2020Q4, pkgsrc-2020Q3-base, pkgsrc-2020Q3, pkgsrc-2020Q2-base, pkgsrc-2020Q2, pkgsrc-2020Q1-base, pkgsrc-2020Q1
Changes since 1.48: +2 -2 lines
Diff to previous 1.48 (colored)

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.

Revision 1.48 / (download) - annotate - [select for diffs], Sat Mar 14 17:50:25 2015 UTC (9 years, 1 month ago) by tnn
Branch: MAIN
CVS Tags: pkgsrc-2019Q4-base, pkgsrc-2019Q4, pkgsrc-2019Q3-base, pkgsrc-2019Q3, pkgsrc-2019Q2-base, pkgsrc-2019Q2, pkgsrc-2019Q1-base, pkgsrc-2019Q1, pkgsrc-2018Q4-base, pkgsrc-2018Q4, pkgsrc-2018Q3-base, pkgsrc-2018Q3, pkgsrc-2018Q2-base, pkgsrc-2018Q2, pkgsrc-2018Q1-base, pkgsrc-2018Q1, pkgsrc-2017Q4-base, pkgsrc-2017Q4, pkgsrc-2017Q3-base, pkgsrc-2017Q3, pkgsrc-2017Q2-base, pkgsrc-2017Q2, pkgsrc-2017Q1-base, pkgsrc-2017Q1, pkgsrc-2016Q4-base, pkgsrc-2016Q4, pkgsrc-2016Q3-base, pkgsrc-2016Q3, pkgsrc-2016Q2-base, pkgsrc-2016Q2, pkgsrc-2016Q1-base, pkgsrc-2016Q1, pkgsrc-2015Q4-base, pkgsrc-2015Q4, pkgsrc-2015Q3-base, pkgsrc-2015Q3, pkgsrc-2015Q2-base, pkgsrc-2015Q2, pkgsrc-2015Q1-base, pkgsrc-2015Q1
Changes since 1.47: +2 -1 lines
Diff to previous 1.47 (colored)

master site is gone, add a mirror

Revision 1.47 / (download) - annotate - [select for diffs], Fri Mar 6 19:36:33 2015 UTC (9 years, 1 month ago) by tnn
Branch: MAIN
Changes since 1.46: +6 -1 lines
Diff to previous 1.46 (colored)

add a comment for the next person who ventures here

Revision 1.46 / (download) - annotate - [select for diffs], Sun Feb 17 19:18:00 2013 UTC (11 years, 1 month ago) by dholland
Branch: MAIN
CVS Tags: pkgsrc-2014Q4-base, pkgsrc-2014Q4, pkgsrc-2014Q3-base, pkgsrc-2014Q3, pkgsrc-2014Q2-base, pkgsrc-2014Q2, pkgsrc-2014Q1-base, pkgsrc-2014Q1, pkgsrc-2013Q4-base, pkgsrc-2013Q4, pkgsrc-2013Q3-base, pkgsrc-2013Q3, pkgsrc-2013Q2-base, pkgsrc-2013Q2, pkgsrc-2013Q1-base, pkgsrc-2013Q1
Changes since 1.45: +2 -2 lines
Diff to previous 1.45 (colored)

Revbump all elisp packages after emacs changes.

Revision 1.45 / (download) - annotate - [select for diffs], Wed Oct 31 11:19:27 2012 UTC (11 years, 5 months ago) by asau
Branch: MAIN
CVS Tags: pkgsrc-2012Q4-base, pkgsrc-2012Q4
Changes since 1.44: +1 -3 lines
Diff to previous 1.44 (colored)

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

Revision 1.44 / (download) - annotate - [select for diffs], Fri Oct 12 08:15:26 2012 UTC (11 years, 6 months ago) by obache
Branch: MAIN
Changes since 1.43: +2 -4 lines
Diff to previous 1.43 (colored)

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

Revision 1.43 / (download) - annotate - [select for diffs], Sat Feb 19 00:42:21 2011 UTC (13 years, 1 month ago) by minskim
Branch: MAIN
CVS Tags: pkgsrc-2012Q3-base, pkgsrc-2012Q3, pkgsrc-2012Q2-base, pkgsrc-2012Q2, pkgsrc-2012Q1-base, pkgsrc-2012Q1, pkgsrc-2011Q4-base, pkgsrc-2011Q4, pkgsrc-2011Q3-base, pkgsrc-2011Q3, pkgsrc-2011Q2-base, pkgsrc-2011Q2, pkgsrc-2011Q1-base, pkgsrc-2011Q1
Changes since 1.42: +3 -4 lines
Diff to previous 1.42 (colored)

pvs needs tex-amsmath, not the entire teTeX.

Revision 1.42 / (download) - annotate - [select for diffs], Mon Feb 14 23:31:34 2011 UTC (13 years, 2 months ago) by wiz
Branch: MAIN
Changes since 1.41: +2 -2 lines
Diff to previous 1.41 (colored)

Quell a pkglint warning.

Revision 1.41 / (download) - annotate - [select for diffs], Thu Aug 6 01:44:50 2009 UTC (14 years, 8 months ago) by minskim
Branch: MAIN
CVS Tags: pkgsrc-2010Q4-base, pkgsrc-2010Q4, pkgsrc-2010Q3-base, pkgsrc-2010Q3, pkgsrc-2010Q2-base, pkgsrc-2010Q2, pkgsrc-2010Q1-base, pkgsrc-2010Q1, pkgsrc-2009Q4-base, pkgsrc-2009Q4, pkgsrc-2009Q3-base, pkgsrc-2009Q3
Changes since 1.40: +2 -2 lines
Diff to previous 1.40 (colored)

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

Revision 1.40 / (download) - annotate - [select for diffs], Tue May 19 08:59:11 2009 UTC (14 years, 11 months ago) by wiz
Branch: MAIN
CVS Tags: pkgsrc-2009Q2-base, pkgsrc-2009Q2
Changes since 1.39: +2 -2 lines
Diff to previous 1.39 (colored)

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

Revision 1.39 / (download) - annotate - [select for diffs], Tue Mar 17 21:40:45 2009 UTC (15 years, 1 month ago) by darcy
Branch: MAIN
CVS Tags: pkgsrc-2009Q1-base, pkgsrc-2009Q1
Changes since 1.38: +2 -2 lines
Diff to previous 1.38 (colored)

Correct email address for generic MAINTAINER.

Revision 1.38 / (download) - annotate - [select for diffs], Fri Jan 23 21:14:18 2009 UTC (15 years, 2 months ago) by jschauma
Branch: MAIN
Changes since 1.37: +2 -2 lines
Diff to previous 1.37 (colored)

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

Revision 1.37 / (download) - annotate - [select for diffs], Mon Oct 13 08:33:13 2008 UTC (15 years, 6 months ago) by uebayasi
Branch: MAIN
CVS Tags: pkgsrc-2008Q4-base, pkgsrc-2008Q4
Changes since 1.36: +0 -2 lines
Diff to previous 1.36 (colored)

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

Revision 1.36 / (download) - annotate - [select for diffs], Mon Oct 13 08:07:02 2008 UTC (15 years, 6 months ago) by uebayasi
Branch: MAIN
Changes since 1.35: +2 -0 lines
Diff to previous 1.35 (colored)

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.

Revision 1.35 / (download) - annotate - [select for diffs], Sat Oct 11 09:31:55 2008 UTC (15 years, 6 months ago) by uebayasi
Branch: MAIN
Changes since 1.34: +2 -2 lines
Diff to previous 1.34 (colored)

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.

Revision 1.34 / (download) - annotate - [select for diffs], Mon May 26 02:13:18 2008 UTC (15 years, 10 months ago) by joerg
Branch: MAIN
CVS Tags: pkgsrc-2008Q3-base, pkgsrc-2008Q3, pkgsrc-2008Q2-base, pkgsrc-2008Q2, cwrapper, cube-native-xorg-base, cube-native-xorg
Changes since 1.33: +4 -2 lines
Diff to previous 1.33 (colored)

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.

Revision 1.33 / (download) - annotate - [select for diffs], Mon Mar 3 17:45:36 2008 UTC (16 years, 1 month ago) by jlam
Branch: MAIN
CVS Tags: pkgsrc-2008Q1-base, pkgsrc-2008Q1
Changes since 1.32: +7 -5 lines
Diff to previous 1.32 (colored)

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

Revision 1.32 / (download) - annotate - [select for diffs], Wed Aug 22 17:28:09 2007 UTC (16 years, 7 months ago) by jlam
Branch: MAIN
CVS Tags: pkgsrc-2007Q4-base, pkgsrc-2007Q4, pkgsrc-2007Q3-base, pkgsrc-2007Q3
Changes since 1.31: +18 -31 lines
Diff to previous 1.31 (colored)

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

Revision 1.31 / (download) - annotate - [select for diffs], Thu Feb 22 19:26:24 2007 UTC (17 years, 1 month ago) by wiz
Branch: MAIN
CVS Tags: pkgsrc-2007Q2-base, pkgsrc-2007Q2, pkgsrc-2007Q1-base, pkgsrc-2007Q1
Changes since 1.30: +5 -5 lines
Diff to previous 1.30 (colored)

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

Revision 1.30 / (download) - annotate - [select for diffs], Thu Aug 10 03:21:39 2006 UTC (17 years, 8 months ago) by minskim
Branch: MAIN
CVS Tags: pkgsrc-2006Q4-base, pkgsrc-2006Q4, pkgsrc-2006Q3-base, pkgsrc-2006Q3
Changes since 1.29: +2 -2 lines
Diff to previous 1.29 (colored)

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

Revision 1.29 / (download) - annotate - [select for diffs], Mon May 22 22:22:02 2006 UTC (17 years, 10 months ago) by jlam
Branch: MAIN
CVS Tags: pkgsrc-2006Q2-base, pkgsrc-2006Q2
Changes since 1.28: +2 -3 lines
Diff to previous 1.28 (colored)

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.

Revision 1.28 / (download) - annotate - [select for diffs], Sat May 13 03:44:23 2006 UTC (17 years, 11 months ago) by minskim
Branch: MAIN
Changes since 1.27: +2 -2 lines
Diff to previous 1.27 (colored)

Remove references to teTeX1.

Revision 1.27 / (download) - annotate - [select for diffs], Sat Apr 22 09:22:08 2006 UTC (17 years, 11 months ago) by rillig
Branch: MAIN
Changes since 1.26: +2 -2 lines
Diff to previous 1.26 (colored)

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

Revision 1.26 / (download) - annotate - [select for diffs], Mon Mar 20 18:15:38 2006 UTC (18 years, 1 month ago) by jlam
Branch: MAIN
CVS Tags: pkgsrc-2006Q1-base, pkgsrc-2006Q1
Changes since 1.25: +2 -3 lines
Diff to previous 1.25 (colored)

* 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.

Revision 1.25 / (download) - annotate - [select for diffs], Sun Feb 5 23:08:50 2006 UTC (18 years, 2 months ago) by joerg
Branch: MAIN
Changes since 1.24: +2 -1 lines
Diff to previous 1.24 (colored)

Recursive revision bump / recommended bump for gettext ABI change.

Revision 1.24 / (download) - annotate - [select for diffs], Mon Jan 23 16:50:55 2006 UTC (18 years, 2 months ago) by joerg
Branch: MAIN
Changes since 1.23: +2 -1 lines
Diff to previous 1.23 (colored)

Builds on DragonFly.

Revision 1.23 / (download) - annotate - [select for diffs], Fri Nov 11 18:50:24 2005 UTC (18 years, 5 months ago) by tonio
Branch: MAIN
CVS Tags: pkgsrc-2005Q4-base, pkgsrc-2005Q4
Changes since 1.22: +2 -2 lines
Diff to previous 1.22 (colored)

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

Revision 1.22 / (download) - annotate - [select for diffs], Tue Nov 8 18:52:30 2005 UTC (18 years, 5 months ago) by tonio
Branch: MAIN
Changes since 1.21: +3 -2 lines
Diff to previous 1.21 (colored)

convert to use tex.buidllink3.mk

Revision 1.21 / (download) - annotate - [select for diffs], Wed Sep 28 20:52:19 2005 UTC (18 years, 6 months ago) by rillig
Branch: MAIN
Changes since 1.20: +2 -2 lines
Diff to previous 1.20 (colored)

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

Revision 1.20 / (download) - annotate - [select for diffs], Fri Sep 2 02:27:11 2005 UTC (18 years, 7 months ago) by jschauma
Branch: MAIN
CVS Tags: pkgsrc-2005Q3-base, pkgsrc-2005Q3
Changes since 1.19: +2 -4 lines
Diff to previous 1.19 (colored)

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

Revision 1.19 / (download) - annotate - [select for diffs], Sun Aug 28 04:25:29 2005 UTC (18 years, 7 months ago) by uebayasi
Branch: MAIN
Changes since 1.18: +2 -1 lines
Diff to previous 1.18 (colored)

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.

Revision 1.18 / (download) - annotate - [select for diffs], Thu Jun 16 06:57:47 2005 UTC (18 years, 10 months ago) by jlam
Branch: MAIN
CVS Tags: pkgsrc-2005Q2-base, pkgsrc-2005Q2
Changes since 1.17: +3 -1 lines
Diff to previous 1.17 (colored)

Create directories before installing files into them.

Revision 1.17 / (download) - annotate - [select for diffs], Mon Apr 11 21:45:37 2005 UTC (19 years ago) by tv
Branch: MAIN
Changes since 1.16: +1 -2 lines
Diff to previous 1.16 (colored)

Remove USE_BUILDLINK3 and NO_BUILDLINK; these are no longer used.

Revision 1.16 / (download) - annotate - [select for diffs], Fri Dec 31 11:40:31 2004 UTC (19 years, 3 months ago) by minskim
Branch: MAIN
CVS Tags: pkgsrc-2005Q1-base, pkgsrc-2005Q1
Changes since 1.15: +3 -3 lines
Diff to previous 1.15 (colored)

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.

Revision 1.15 / (download) - annotate - [select for diffs], Fri Oct 1 10:37:33 2004 UTC (19 years, 6 months ago) by grant
Branch: MAIN
CVS Tags: pkgsrc-2004Q4-base, pkgsrc-2004Q4
Changes since 1.14: +2 -2 lines
Diff to previous 1.14 (colored)

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.

Revision 1.14 / (download) - annotate - [select for diffs], Sun May 9 20:19:44 2004 UTC (19 years, 11 months ago) by snj
Branch: MAIN
CVS Tags: pkgsrc-2004Q3-base, pkgsrc-2004Q3, pkgsrc-2004Q2-base, pkgsrc-2004Q2
Changes since 1.13: +3 -3 lines
Diff to previous 1.13 (colored)

Convert to buildlink3.

Revision 1.13 / (download) - annotate - [select for diffs], Fri Mar 26 02:27:38 2004 UTC (20 years ago) by wiz
Branch: MAIN
CVS Tags: pkgsrc-2004Q1-base, pkgsrc-2004Q1
Changes since 1.12: +2 -1 lines
Diff to previous 1.12 (colored)

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

Revision 1.12 / (download) - annotate - [select for diffs], Mon Mar 22 03:52:06 2004 UTC (20 years ago) by kristerw
Branch: MAIN
Changes since 1.11: +2 -2 lines
Diff to previous 1.11 (colored)

Let ONLY_FOR_PLATFORM recognize NetBSD 2.0 and future versions.

Revision 1.11 / (download) - annotate - [select for diffs], Mon Mar 8 20:27:14 2004 UTC (20 years, 1 month ago) by minskim
Branch: MAIN
Changes since 1.10: +2 -2 lines
Diff to previous 1.10 (colored)

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.

Revision 1.10 / (download) - annotate - [select for diffs], Tue Jan 20 12:13:29 2004 UTC (20 years, 2 months ago) by agc
Branch: MAIN
Changes since 1.9: +2 -2 lines
Diff to previous 1.9 (colored)

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

Revision 1.9 / (download) - annotate - [select for diffs], Sat Aug 9 10:44:47 2003 UTC (20 years, 8 months ago) by seb
Branch: MAIN
CVS Tags: pkgsrc-2003Q4-base, pkgsrc-2003Q4
Changes since 1.8: +1 -2 lines
Diff to previous 1.8 (colored)

USE_NEW_TEXINFO is unnecessary now.

Revision 1.8 / (download) - annotate - [select for diffs], Thu Jul 17 21:33:16 2003 UTC (20 years, 9 months ago) by grant
Branch: MAIN
Changes since 1.7: +2 -2 lines
Diff to previous 1.7 (colored)

s/netbsd.org/NetBSD.org/

Revision 1.7 / (download) - annotate - [select for diffs], Wed Jun 25 21:01:35 2003 UTC (20 years, 9 months ago) by seb
Branch: MAIN
Changes since 1.6: +5 -2 lines
Diff to previous 1.6 (colored)

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.

Revision 1.6 / (download) - annotate - [select for diffs], Mon Mar 31 20:49:36 2003 UTC (21 years ago) by jschauma
Branch: MAIN
Changes since 1.5: +7 -8 lines
Diff to previous 1.5 (colored)

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

Revision 1.5 / (download) - annotate - [select for diffs], Sat Mar 29 12:40:38 2003 UTC (21 years ago) by jmmv
Branch: MAIN
Changes since 1.4: +2 -2 lines
Diff to previous 1.4 (colored)

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

Revision 1.4 / (download) - annotate - [select for diffs], Sat Jan 4 22:00:08 2003 UTC (21 years, 3 months ago) by jschauma
Branch: MAIN
CVS Tags: netbsd-1-6-1-base, netbsd-1-6-1
Changes since 1.3: +3 -1 lines
Diff to previous 1.3 (colored)

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

Revision 1.3 / (download) - annotate - [select for diffs], Thu Dec 26 17:55:02 2002 UTC (21 years, 3 months ago) by jschauma
Branch: MAIN
Changes since 1.2: +2 -1 lines
Diff to previous 1.2 (colored)

Add a mirror

Revision 1.2 / (download) - annotate - [select for diffs], Fri Dec 20 21:37:37 2002 UTC (21 years, 3 months ago) by jschauma
Branch: MAIN
Changes since 1.1: +6 -3 lines
Diff to previous 1.1 (colored)

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

Revision 1.1.1.1 / (download) - annotate - [select for diffs] (vendor branch), Tue Sep 24 17:57:24 2002 UTC (21 years, 6 months ago) by jschauma
Branch: TNF
CVS Tags: pkgsrc
Changes since 1.1: +0 -0 lines
Diff to previous 1.1 (colored)

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.

Revision 1.1 / (download) - annotate - [select for diffs], Tue Sep 24 17:57:24 2002 UTC (21 years, 6 months ago) by jschauma
Branch: MAIN

Initial revision

This form allows you to request diff's between any two revisions of a file. You may select a symbolic revision name using the selection box or you may type in a numeric name using the type-in text box.




CVSweb <webmaster@jp.NetBSD.org>