The NetBSD Project

CVS log for pkgsrc/devel/verifast/Attic/Makefile

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

Request diff between arbitrary revisions


Keyword substitution: kv
Default branch: MAIN


Revision 1.41
Wed Jun 29 07:54:39 2022 UTC (2 years, 4 months ago) by wiz
Branches: MAIN
CVS tags: HEAD
FILE REMOVED
Changes since revision 1.40: +1 -1 lines
camlp4: remove

camlp4 is an outdated way to build packages with caml and does not work
with pkgsrc ocaml versions for more than a year.

Remove camlp4 and all packages using it.

Ok jaapb@

Revision 1.40: download - view: text, markup, annotated - select for diffs
Tue May 24 18:51:52 2022 UTC (2 years, 5 months ago) by jaapb
Branches: MAIN
CVS tags: pkgsrc-2022Q2-base, pkgsrc-2022Q2
Diff to: previous 1.39: preferred, colored
Changes since revision 1.39: +3 -3 lines
Recursive revbump associated with update of ocaml.

Also change of mk/ocaml.mk to lang/ocaml/ocaml.mk.

Revision 1.39: download - view: text, markup, annotated - select for diffs
Mon Apr 18 19:10:56 2022 UTC (2 years, 6 months ago) by adam
Branches: MAIN
Diff to: previous 1.38: preferred, colored
Changes since revision 1.38: +2 -2 lines
revbump for textproc/icu update

Revision 1.38: download - view: text, markup, annotated - select for diffs
Wed Dec 8 16:04:07 2021 UTC (2 years, 11 months ago) by adam
Branches: MAIN
CVS tags: pkgsrc-2022Q1-base, pkgsrc-2022Q1, pkgsrc-2021Q4-base, pkgsrc-2021Q4
Diff to: previous 1.37: preferred, colored
Changes since revision 1.37: +2 -2 lines
revbump for icu and libffi

Revision 1.37: download - view: text, markup, annotated - select for diffs
Wed Apr 21 11:41:31 2021 UTC (3 years, 6 months ago) by adam
Branches: MAIN
CVS tags: pkgsrc-2021Q3-base, pkgsrc-2021Q3, pkgsrc-2021Q2-base, pkgsrc-2021Q2
Diff to: previous 1.36: preferred, colored
Changes since revision 1.36: +2 -2 lines
revbump for textproc/icu

Revision 1.36: download - view: text, markup, annotated - select for diffs
Mon Mar 8 08:13:02 2021 UTC (3 years, 8 months ago) by jaapb
Branches: MAIN
CVS tags: pkgsrc-2021Q1-base, pkgsrc-2021Q1
Diff to: previous 1.35: preferred, colored
Changes since revision 1.35: +2 -2 lines
Recursive revbump associated with update of lang/ocaml

Revision 1.35: download - view: text, markup, annotated - select for diffs
Thu Nov 5 09:07:59 2020 UTC (4 years ago) by ryoon
Branches: MAIN
CVS tags: pkgsrc-2020Q4-base, pkgsrc-2020Q4
Diff to: previous 1.34: preferred, colored
Changes since revision 1.34: +2 -2 lines
*: Recursive revbump from textproc/icu-68.1

Revision 1.34: download - view: text, markup, annotated - select for diffs
Mon Aug 17 20:18:30 2020 UTC (4 years, 2 months ago) by leot
Branches: MAIN
CVS tags: pkgsrc-2020Q3-base, pkgsrc-2020Q3
Diff to: previous 1.33: preferred, colored
Changes since revision 1.33: +2 -2 lines
*: revbump after fontconfig bl3 changes (libuuid removal)

Revision 1.33: download - view: text, markup, annotated - select for diffs
Tue Jun 2 08:23:42 2020 UTC (4 years, 5 months ago) by adam
Branches: MAIN
CVS tags: pkgsrc-2020Q2-base, pkgsrc-2020Q2
Diff to: previous 1.32: preferred, colored
Changes since revision 1.32: +2 -2 lines
Revbump for icu

Revision 1.32: download - view: text, markup, annotated - select for diffs
Sun Apr 12 08:28:34 2020 UTC (4 years, 7 months ago) by adam
Branches: MAIN
Diff to: previous 1.31: preferred, colored
Changes since revision 1.31: +2 -2 lines
Recursive revision bump after textproc/icu update

Revision 1.31: download - view: text, markup, annotated - select for diffs
Tue Mar 10 22:09:39 2020 UTC (4 years, 8 months ago) by wiz
Branches: MAIN
CVS tags: pkgsrc-2020Q1-base, pkgsrc-2020Q1
Diff to: previous 1.30: preferred, colored
Changes since revision 1.30: +2 -2 lines
librsvg: update bl3.mk to remove libcroco in rust case

recursive bump for the dependency change

Revision 1.30: download - view: text, markup, annotated - select for diffs
Sun Mar 8 16:49:19 2020 UTC (4 years, 8 months ago) by wiz
Branches: MAIN
Diff to: previous 1.29: preferred, colored
Changes since revision 1.29: +2 -2 lines
*: recursive bump for libffi

Revision 1.29: download - view: text, markup, annotated - select for diffs
Sat Jan 18 21:49:16 2020 UTC (4 years, 9 months ago) by jperkin
Branches: MAIN
Diff to: previous 1.28: preferred, colored
Changes since revision 1.28: +2 -2 lines
*: Recursive revision bump for openssl 1.1.1.

Revision 1.28: download - view: text, markup, annotated - select for diffs
Sun Jul 21 22:24:40 2019 UTC (5 years, 3 months ago) by wiz
Branches: MAIN
CVS tags: pkgsrc-2019Q4-base, pkgsrc-2019Q4, pkgsrc-2019Q3-base, pkgsrc-2019Q3
Diff to: previous 1.27: preferred, colored
Changes since revision 1.27: +2 -2 lines
*: recursive bump for gdk-pixbuf2-2.38.1

Revision 1.27: download - view: text, markup, annotated - select for diffs
Sat Jul 20 22:46:17 2019 UTC (5 years, 3 months ago) by wiz
Branches: MAIN
Diff to: previous 1.26: preferred, colored
Changes since revision 1.26: +2 -2 lines
*: recursive bump for nettle 3.5.1

Revision 1.26: download - view: text, markup, annotated - select for diffs
Sun May 5 22:49:48 2019 UTC (5 years, 6 months ago) by ryoon
Branches: MAIN
CVS tags: pkgsrc-2019Q2-base, pkgsrc-2019Q2
Diff to: previous 1.25: preferred, colored
Changes since revision 1.25: +2 -2 lines
Recursive rebvump from devel/nss

Revision 1.25: download - view: text, markup, annotated - select for diffs
Wed Apr 3 00:32:40 2019 UTC (5 years, 7 months ago) by ryoon
Branches: MAIN
Diff to: previous 1.24: preferred, colored
Changes since revision 1.24: +2 -2 lines
Recursive revbump from textproc/icu

Revision 1.24: download - view: text, markup, annotated - select for diffs
Sun Dec 9 18:52:26 2018 UTC (5 years, 11 months ago) by adam
Branches: MAIN
CVS tags: pkgsrc-2019Q1-base, pkgsrc-2019Q1, pkgsrc-2018Q4-base, pkgsrc-2018Q4
Diff to: previous 1.23: preferred, colored
Changes since revision 1.23: +2 -2 lines
revbump after updating textproc/icu

Revision 1.23: download - view: text, markup, annotated - select for diffs
Thu Nov 29 11:21:50 2018 UTC (5 years, 11 months ago) by prlw1
Branches: MAIN
Diff to: previous 1.22: preferred, colored
Changes since revision 1.22: +2 -2 lines
Revbump for libcanberra gstreamer change.

Revision 1.22: download - view: text, markup, annotated - select for diffs
Wed Nov 14 22:21:20 2018 UTC (5 years, 11 months ago) by kleink
Branches: MAIN
Diff to: previous 1.21: preferred, colored
Changes since revision 1.21: +2 -2 lines
Revbump after cairo 1.16.0 update.

Revision 1.21: download - view: text, markup, annotated - select for diffs
Mon Nov 12 16:10:23 2018 UTC (6 years ago) by jaapb
Branches: MAIN
Diff to: previous 1.20: preferred, colored
Changes since revision 1.20: +2 -2 lines
Revbumps associated with update of lang/ocaml.

Revision 1.20: download - view: text, markup, annotated - select for diffs
Mon Nov 12 03:51:55 2018 UTC (6 years ago) by ryoon
Branches: MAIN
Diff to: previous 1.19: preferred, colored
Changes since revision 1.19: +2 -2 lines
Recursive revbump from hardbuzz-2.1.1

Revision 1.19: download - view: text, markup, annotated - select for diffs
Wed Oct 24 21:11:50 2018 UTC (6 years ago) by leot
Branches: MAIN
Diff to: previous 1.18: preferred, colored
Changes since revision 1.18: +2 -2 lines
*: (belatedly) revbump for net/libsoup update

Thanks to <wiz>!

Revision 1.18: download - view: text, markup, annotated - select for diffs
Fri Jul 20 03:34:11 2018 UTC (6 years, 3 months ago) by ryoon
Branches: MAIN
CVS tags: pkgsrc-2018Q3-base, pkgsrc-2018Q3
Diff to: previous 1.17: preferred, colored
Changes since revision 1.17: +2 -2 lines
Recursive revbump from textproc/icu-62.1

Revision 1.17: download - view: text, markup, annotated - select for diffs
Thu Jul 19 15:15:26 2018 UTC (6 years, 3 months ago) by jaapb
Branches: MAIN
Diff to: previous 1.16: preferred, colored
Changes since revision 1.16: +2 -2 lines
Recursive revbump associated with the update of lang/ocaml to 4.07.

Revision 1.16: download - view: text, markup, annotated - select for diffs
Tue Apr 17 22:29:37 2018 UTC (6 years, 6 months ago) by wiz
Branches: MAIN
CVS tags: pkgsrc-2018Q2-base, pkgsrc-2018Q2
Diff to: previous 1.15: preferred, colored
Changes since revision 1.15: +2 -2 lines
Add p11-kit to gnutls/bl3.mk and bump dependencies.

Revision 1.15: download - view: text, markup, annotated - select for diffs
Mon Apr 16 14:34:22 2018 UTC (6 years, 6 months ago) by wiz
Branches: MAIN
Diff to: previous 1.14: preferred, colored
Changes since revision 1.14: +2 -2 lines
Recursive bump for new fribidi dependency in pango.

Revision 1.14: download - view: text, markup, annotated - select for diffs
Sat Apr 14 07:34:19 2018 UTC (6 years, 7 months ago) by adam
Branches: MAIN
Diff to: previous 1.13: preferred, colored
Changes since revision 1.13: +2 -2 lines
revbump after icu update

Revision 1.13: download - view: text, markup, annotated - select for diffs
Fri Apr 13 13:55:33 2018 UTC (6 years, 7 months ago) by jaapb
Branches: MAIN
Diff to: previous 1.12: preferred, colored
Changes since revision 1.12: +2 -1 lines
Revbump associated with the upgrade of lang/ocaml

(this is the upgrade from 4.06 to 4.06.1)

Revision 1.12: download - view: text, markup, annotated - select for diffs
Tue Mar 13 05:47:25 2018 UTC (6 years, 8 months ago) by dholland
Branches: MAIN
CVS tags: pkgsrc-2018Q1-base, pkgsrc-2018Q1
Diff to: previous 1.11: preferred, colored
Changes since revision 1.11: +1 -3 lines
Doesn't actually need an explicit depend run before building, with
other build changes already applied.

Revision 1.11: download - view: text, markup, annotated - select for diffs
Tue Mar 13 05:45:25 2018 UTC (6 years, 8 months ago) by dholland
Branches: MAIN
Diff to: previous 1.10: preferred, colored
Changes since revision 1.10: +17 -6 lines
Update to 18.02 to fix build with ocaml 4.06.

pkgsrc changes:
  - depends on z3; theoretically optional but build fails without it
  - needs ocaml-findlib now
  - use ocaml.mk

No upstream changelog that I can find besides the github history.

Revision 1.10: download - view: text, markup, annotated - select for diffs
Mon Mar 12 11:16:21 2018 UTC (6 years, 8 months ago) by wiz
Branches: MAIN
Diff to: previous 1.9: preferred, colored
Changes since revision 1.9: +2 -2 lines
Recursive bumps for fontconfig and libzip dependency changes.

Revision 1.9: download - view: text, markup, annotated - select for diffs
Sun Jan 28 20:10:47 2018 UTC (6 years, 9 months ago) by wiz
Branches: MAIN
Diff to: previous 1.8: preferred, colored
Changes since revision 1.8: +2 -2 lines
Bump PKGREVISION for gdbm shlib major bump

Revision 1.8: download - view: text, markup, annotated - select for diffs
Wed Jan 10 16:53:11 2018 UTC (6 years, 10 months ago) by jaapb
Branches: MAIN
Diff to: previous 1.7: preferred, colored
Changes since revision 1.7: +2 -2 lines
Recursive revbump associated with the update to OCaml 4.06.

Revision 1.7: download - view: text, markup, annotated - select for diffs
Thu Nov 30 16:45:23 2017 UTC (6 years, 11 months ago) by adam
Branches: MAIN
CVS tags: pkgsrc-2017Q4-base, pkgsrc-2017Q4
Diff to: previous 1.6: preferred, colored
Changes since revision 1.6: +2 -2 lines
Revbump after textproc/icu update

Revision 1.6: download - view: text, markup, annotated - select for diffs
Thu Nov 23 17:19:52 2017 UTC (6 years, 11 months ago) by wiz
Branches: MAIN
Diff to: previous 1.5: preferred, colored
Changes since revision 1.5: +2 -2 lines
recursive bump for libxkbcommon removal from at-spi2-core

Revision 1.5: download - view: text, markup, annotated - select for diffs
Tue Sep 26 17:49:10 2017 UTC (7 years, 1 month ago) by wiedi
Branches: MAIN
Diff to: previous 1.4: preferred, colored
Changes since revision 1.4: +2 -2 lines
verifast: fix build on SunOS

The changes for NetBSD also works on SunOS

Revision 1.4: download - view: text, markup, annotated - select for diffs
Mon Sep 18 09:53:19 2017 UTC (7 years, 1 month ago) by maya
Branches: MAIN
CVS tags: pkgsrc-2017Q3-base, pkgsrc-2017Q3
Diff to: previous 1.3: preferred, colored
Changes since revision 1.3: +2 -2 lines
revbump for requiring ICU 59.x

Revision 1.3: download - view: text, markup, annotated - select for diffs
Sat Sep 9 21:57:46 2017 UTC (7 years, 2 months ago) by dholland
Branches: MAIN
Diff to: previous 1.2: preferred, colored
Changes since revision 1.2: +2 -2 lines
Don't randomly use the implementation namespace. Fixes clang build.

Also, pass MAKE_JOBS as the number of CPUs to use when testing, as
otherwise it gets 0 and apparently interprets that as "infinitely
many".

XXX: The test suite should not really be run as part of the build.

Revision 1.2: download - view: text, markup, annotated - select for diffs
Fri Sep 8 09:51:23 2017 UTC (7 years, 2 months ago) by jaapb
Branches: MAIN
Diff to: previous 1.1: preferred, colored
Changes since revision 1.1: +2 -1 lines
Recursive revbump associated with update of ocaml to 4.05

Revision 1.1: download - view: text, markup, annotated - select for diffs
Wed Jul 12 01:54:16 2017 UTC (7 years, 4 months ago) by ryoon
Branches: MAIN
Import verifast-17.06 as devel/verifast.

VeriFast is a research prototype of a tool for modular formal
verification of correctness properties of single-threaded and
multithreaded C and Java programs annotated with preconditions and
postconditions written in separation logic.

This is recommended by Kiwamu Okabe in Japan NetBSD Users' Group BOF 2017
at the University of Tokyo.

Diff request

This form allows you to request diffs 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.

Log view options

CVSweb <webmaster@jp.NetBSD.org>