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

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

Request diff between arbitrary revisions

Default branch: MAIN

Revision 1.41, Wed Jun 29 07:54:39 2022 UTC (17 months ago) by wiz
Branch: MAIN
CVS Tags: HEAD
Changes since 1.40: +1 -1 lines
FILE REMOVED

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) - annotate - [select for diffs], Tue May 24 18:51:52 2022 UTC (18 months ago) by jaapb
Branch: MAIN
CVS Tags: pkgsrc-2022Q2-base, pkgsrc-2022Q2
Changes since 1.39: +3 -3 lines
Diff to previous 1.39 (colored)

Recursive revbump associated with update of ocaml.

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

Revision 1.39 / (download) - annotate - [select for diffs], Mon Apr 18 19:10:56 2022 UTC (19 months, 1 week ago) by adam
Branch: MAIN
Changes since 1.38: +2 -2 lines
Diff to previous 1.38 (colored)

revbump for textproc/icu update

Revision 1.38 / (download) - annotate - [select for diffs], Wed Dec 8 16:04:07 2021 UTC (23 months, 3 weeks ago) by adam
Branch: MAIN
CVS Tags: pkgsrc-2022Q1-base, pkgsrc-2022Q1, pkgsrc-2021Q4-base, pkgsrc-2021Q4
Changes since 1.37: +2 -2 lines
Diff to previous 1.37 (colored)

revbump for icu and libffi

Revision 1.37 / (download) - annotate - [select for diffs], Wed Apr 21 11:41:31 2021 UTC (2 years, 7 months ago) by adam
Branch: MAIN
CVS Tags: pkgsrc-2021Q3-base, pkgsrc-2021Q3, pkgsrc-2021Q2-base, pkgsrc-2021Q2
Changes since 1.36: +2 -2 lines
Diff to previous 1.36 (colored)

revbump for textproc/icu

Revision 1.36 / (download) - annotate - [select for diffs], Mon Mar 8 08:13:02 2021 UTC (2 years, 8 months ago) by jaapb
Branch: MAIN
CVS Tags: pkgsrc-2021Q1-base, pkgsrc-2021Q1
Changes since 1.35: +2 -2 lines
Diff to previous 1.35 (colored)

Recursive revbump associated with update of lang/ocaml

Revision 1.35 / (download) - annotate - [select for diffs], Thu Nov 5 09:07:59 2020 UTC (3 years ago) by ryoon
Branch: MAIN
CVS Tags: pkgsrc-2020Q4-base, pkgsrc-2020Q4
Changes since 1.34: +2 -2 lines
Diff to previous 1.34 (colored)

*: Recursive revbump from textproc/icu-68.1

Revision 1.34 / (download) - annotate - [select for diffs], Mon Aug 17 20:18:30 2020 UTC (3 years, 3 months ago) by leot
Branch: MAIN
CVS Tags: pkgsrc-2020Q3-base, pkgsrc-2020Q3
Changes since 1.33: +2 -2 lines
Diff to previous 1.33 (colored)

*: revbump after fontconfig bl3 changes (libuuid removal)

Revision 1.33 / (download) - annotate - [select for diffs], Tue Jun 2 08:23:42 2020 UTC (3 years, 5 months ago) by adam
Branch: MAIN
CVS Tags: pkgsrc-2020Q2-base, pkgsrc-2020Q2
Changes since 1.32: +2 -2 lines
Diff to previous 1.32 (colored)

Revbump for icu

Revision 1.32 / (download) - annotate - [select for diffs], Sun Apr 12 08:28:34 2020 UTC (3 years, 7 months ago) by adam
Branch: MAIN
Changes since 1.31: +2 -2 lines
Diff to previous 1.31 (colored)

Recursive revision bump after textproc/icu update

Revision 1.31 / (download) - annotate - [select for diffs], Tue Mar 10 22:09:39 2020 UTC (3 years, 8 months ago) by wiz
Branch: MAIN
CVS Tags: pkgsrc-2020Q1-base, pkgsrc-2020Q1
Changes since 1.30: +2 -2 lines
Diff to previous 1.30 (colored)

librsvg: update bl3.mk to remove libcroco in rust case

recursive bump for the dependency change

Revision 1.30 / (download) - annotate - [select for diffs], Sun Mar 8 16:49:19 2020 UTC (3 years, 8 months ago) by wiz
Branch: MAIN
Changes since 1.29: +2 -2 lines
Diff to previous 1.29 (colored)

*: recursive bump for libffi

Revision 1.29 / (download) - annotate - [select for diffs], Sat Jan 18 21:49:16 2020 UTC (3 years, 10 months ago) by jperkin
Branch: MAIN
Changes since 1.28: +2 -2 lines
Diff to previous 1.28 (colored)

*: Recursive revision bump for openssl 1.1.1.

Revision 1.28 / (download) - annotate - [select for diffs], Sun Jul 21 22:24:40 2019 UTC (4 years, 4 months ago) by wiz
Branch: MAIN
CVS Tags: pkgsrc-2019Q4-base, pkgsrc-2019Q4, pkgsrc-2019Q3-base, pkgsrc-2019Q3
Changes since 1.27: +2 -2 lines
Diff to previous 1.27 (colored)

*: recursive bump for gdk-pixbuf2-2.38.1

Revision 1.27 / (download) - annotate - [select for diffs], Sat Jul 20 22:46:17 2019 UTC (4 years, 4 months ago) by wiz
Branch: MAIN
Changes since 1.26: +2 -2 lines
Diff to previous 1.26 (colored)

*: recursive bump for nettle 3.5.1

Revision 1.26 / (download) - annotate - [select for diffs], Sun May 5 22:49:48 2019 UTC (4 years, 6 months ago) by ryoon
Branch: MAIN
CVS Tags: pkgsrc-2019Q2-base, pkgsrc-2019Q2
Changes since 1.25: +2 -2 lines
Diff to previous 1.25 (colored)

Recursive rebvump from devel/nss

Revision 1.25 / (download) - annotate - [select for diffs], Wed Apr 3 00:32:40 2019 UTC (4 years, 7 months ago) by ryoon
Branch: MAIN
Changes since 1.24: +2 -2 lines
Diff to previous 1.24 (colored)

Recursive revbump from textproc/icu

Revision 1.24 / (download) - annotate - [select for diffs], Sun Dec 9 18:52:26 2018 UTC (4 years, 11 months ago) by adam
Branch: MAIN
CVS Tags: pkgsrc-2019Q1-base, pkgsrc-2019Q1, pkgsrc-2018Q4-base, pkgsrc-2018Q4
Changes since 1.23: +2 -2 lines
Diff to previous 1.23 (colored)

revbump after updating textproc/icu

Revision 1.23 / (download) - annotate - [select for diffs], Thu Nov 29 11:21:50 2018 UTC (5 years ago) by prlw1
Branch: MAIN
Changes since 1.22: +2 -2 lines
Diff to previous 1.22 (colored)

Revbump for libcanberra gstreamer change.

Revision 1.22 / (download) - annotate - [select for diffs], Wed Nov 14 22:21:20 2018 UTC (5 years ago) by kleink
Branch: MAIN
Changes since 1.21: +2 -2 lines
Diff to previous 1.21 (colored)

Revbump after cairo 1.16.0 update.

Revision 1.21 / (download) - annotate - [select for diffs], Mon Nov 12 16:10:23 2018 UTC (5 years ago) by jaapb
Branch: MAIN
Changes since 1.20: +2 -2 lines
Diff to previous 1.20 (colored)

Revbumps associated with update of lang/ocaml.

Revision 1.20 / (download) - annotate - [select for diffs], Mon Nov 12 03:51:55 2018 UTC (5 years ago) by ryoon
Branch: MAIN
Changes since 1.19: +2 -2 lines
Diff to previous 1.19 (colored)

Recursive revbump from hardbuzz-2.1.1

Revision 1.19 / (download) - annotate - [select for diffs], Wed Oct 24 21:11:50 2018 UTC (5 years, 1 month ago) by leot
Branch: MAIN
Changes since 1.18: +2 -2 lines
Diff to previous 1.18 (colored)

*: (belatedly) revbump for net/libsoup update

Thanks to <wiz>!

Revision 1.18 / (download) - annotate - [select for diffs], Fri Jul 20 03:34:11 2018 UTC (5 years, 4 months ago) by ryoon
Branch: MAIN
CVS Tags: pkgsrc-2018Q3-base, pkgsrc-2018Q3
Changes since 1.17: +2 -2 lines
Diff to previous 1.17 (colored)

Recursive revbump from textproc/icu-62.1

Revision 1.17 / (download) - annotate - [select for diffs], Thu Jul 19 15:15:26 2018 UTC (5 years, 4 months ago) by jaapb
Branch: MAIN
Changes since 1.16: +2 -2 lines
Diff to previous 1.16 (colored)

Recursive revbump associated with the update of lang/ocaml to 4.07.

Revision 1.16 / (download) - annotate - [select for diffs], Tue Apr 17 22:29:37 2018 UTC (5 years, 7 months ago) by wiz
Branch: MAIN
CVS Tags: pkgsrc-2018Q2-base, pkgsrc-2018Q2
Changes since 1.15: +2 -2 lines
Diff to previous 1.15 (colored)

Add p11-kit to gnutls/bl3.mk and bump dependencies.

Revision 1.15 / (download) - annotate - [select for diffs], Mon Apr 16 14:34:22 2018 UTC (5 years, 7 months ago) by wiz
Branch: MAIN
Changes since 1.14: +2 -2 lines
Diff to previous 1.14 (colored)

Recursive bump for new fribidi dependency in pango.

Revision 1.14 / (download) - annotate - [select for diffs], Sat Apr 14 07:34:19 2018 UTC (5 years, 7 months ago) by adam
Branch: MAIN
Changes since 1.13: +2 -2 lines
Diff to previous 1.13 (colored)

revbump after icu update

Revision 1.13 / (download) - annotate - [select for diffs], Fri Apr 13 13:55:33 2018 UTC (5 years, 7 months ago) by jaapb
Branch: MAIN
Changes since 1.12: +2 -1 lines
Diff to previous 1.12 (colored)

Revbump associated with the upgrade of lang/ocaml

(this is the upgrade from 4.06 to 4.06.1)

Revision 1.12 / (download) - annotate - [select for diffs], Tue Mar 13 05:47:25 2018 UTC (5 years, 8 months ago) by dholland
Branch: MAIN
CVS Tags: pkgsrc-2018Q1-base, pkgsrc-2018Q1
Changes since 1.11: +1 -3 lines
Diff to previous 1.11 (colored)

Doesn't actually need an explicit depend run before building, with
other build changes already applied.

Revision 1.11 / (download) - annotate - [select for diffs], Tue Mar 13 05:45:25 2018 UTC (5 years, 8 months ago) by dholland
Branch: MAIN
Changes since 1.10: +17 -6 lines
Diff to previous 1.10 (colored)

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) - annotate - [select for diffs], Mon Mar 12 11:16:21 2018 UTC (5 years, 8 months ago) by wiz
Branch: MAIN
Changes since 1.9: +2 -2 lines
Diff to previous 1.9 (colored)

Recursive bumps for fontconfig and libzip dependency changes.

Revision 1.9 / (download) - annotate - [select for diffs], Sun Jan 28 20:10:47 2018 UTC (5 years, 10 months ago) by wiz
Branch: MAIN
Changes since 1.8: +2 -2 lines
Diff to previous 1.8 (colored)

Bump PKGREVISION for gdbm shlib major bump

Revision 1.8 / (download) - annotate - [select for diffs], Wed Jan 10 16:53:11 2018 UTC (5 years, 10 months ago) by jaapb
Branch: MAIN
Changes since 1.7: +2 -2 lines
Diff to previous 1.7 (colored)

Recursive revbump associated with the update to OCaml 4.06.

Revision 1.7 / (download) - annotate - [select for diffs], Thu Nov 30 16:45:23 2017 UTC (6 years ago) by adam
Branch: MAIN
CVS Tags: pkgsrc-2017Q4-base, pkgsrc-2017Q4
Changes since 1.6: +2 -2 lines
Diff to previous 1.6 (colored)

Revbump after textproc/icu update

Revision 1.6 / (download) - annotate - [select for diffs], Thu Nov 23 17:19:52 2017 UTC (6 years ago) by wiz
Branch: MAIN
Changes since 1.5: +2 -2 lines
Diff to previous 1.5 (colored)

recursive bump for libxkbcommon removal from at-spi2-core

Revision 1.5 / (download) - annotate - [select for diffs], Tue Sep 26 17:49:10 2017 UTC (6 years, 2 months ago) by wiedi
Branch: MAIN
Changes since 1.4: +2 -2 lines
Diff to previous 1.4 (colored)

verifast: fix build on SunOS

The changes for NetBSD also works on SunOS

Revision 1.4 / (download) - annotate - [select for diffs], Mon Sep 18 09:53:19 2017 UTC (6 years, 2 months ago) by maya
Branch: MAIN
CVS Tags: pkgsrc-2017Q3-base, pkgsrc-2017Q3
Changes since 1.3: +2 -2 lines
Diff to previous 1.3 (colored)

revbump for requiring ICU 59.x

Revision 1.3 / (download) - annotate - [select for diffs], Sat Sep 9 21:57:46 2017 UTC (6 years, 2 months ago) by dholland
Branch: MAIN
Changes since 1.2: +2 -2 lines
Diff to previous 1.2 (colored)

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) - annotate - [select for diffs], Fri Sep 8 09:51:23 2017 UTC (6 years, 2 months ago) by jaapb
Branch: MAIN
Changes since 1.1: +2 -1 lines
Diff to previous 1.1 (colored)

Recursive revbump associated with update of ocaml to 4.05

Revision 1.1 / (download) - annotate - [select for diffs], Wed Jul 12 01:54:16 2017 UTC (6 years, 4 months ago) by ryoon
Branch: 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.

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.