notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Ukraine
non port: math/coq/Makefile
SVNWeb

Number of commits found: 78

Mon, 9 May 2022
[ 11:05 Alexey Dokuchaev (danfe) search for other commits by this committer ]    commit hash:1da2c6c114ec1c5d279f42eb55287f3c60a5546c  1da2c6c 
math/coq: add missing run-time dependency on `math/ocaml-num'

This was missed in commit 317aa0442c99 when Num library was split
off the core OCaml distribution.

PR:	263860
Wed, 27 Apr 2022
[ 13:22 Piotr Kubaj (pkubaj) search for other commits by this committer ]    commit hash:0ecc15247433c78aaa70e1050991213742087a42  0ecc152 
math/coq: enable on powerpc
Sat, 16 Apr 2022
[ 07:19 Alexey Dokuchaev (danfe) search for other commits by this committer ]    commit hash:317aa0442c9942009c1f9c558f8fb6e49d4568ab  317aa04  (Only the first 10 of 27 ports in this commit are shown above. View all ports for this commit)
OCaml: transient update of the stack to version 4.07.1

This is the first step in modernizing our OCaml ports infrastructure,
as we had accumulated substantial technical debt over the years when
many of its consumer ports had not received proper care and updates.

It is currently considered as the lowest supported version (baseline)
in majority of open-source OCaml projects, which would help to pull
up other ports, e.g. `devel/ocaml-dune' in smaller, manageable pieces.

For conservative hackers among us and for compatibility with RHEL 8
which is also on it, having 4.07 in the tree would allow users stick
to that package (pkg lock it) if needed.

PR:		250408, 262781
Exp-run by:	antoine
Sun, 10 Apr 2022
[ 19:11 Charlie Li (vishwin) search for other commits by this committer ]    commit hash:d63665f7cd9c99880704a3c5bc221829cb009744  d63665f  (Only the first 10 of 892 ports in this commit are shown above. View all ports for this commit)
textproc/libxml2: bump all LIB_DEPENDS consumers

This is a separate commit to facilitate easier cherry-picking for
quarterly.

PR: 262853, 262940, 262877, 263126
Approved by: fluffy (mentor)
[ 18:27 Alexey Dokuchaev (danfe) search for other commits by this committer ]    commit hash:4c90e1b3af44ccf4d88df788767754e27c80366b  4c90e1b 
math/coq: force unsafe strings to unbreak against modern OCaml.
Thu, 7 Apr 2022
[ 22:12 Joseph Mingrone (jrm) search for other commits by this committer ]    commit hash:d9dcd9c6879d10fa6b229f2af549a99a51a934f8  d9dcd9c  (Only the first 10 of 85 ports in this commit are shown above. View all ports for this commit)
Emacs ports: Bump PORTREVISION after Emacs 28.1

Reviewed by:	ashish
Sponsored by:	The FreeBSD Foundation
Differential Revision:	https://reviews.freebsd.org/D34781
Sat, 26 Mar 2022
[ 08:27 Matthias Fechner (mfechner) search for other commits by this committer ]    commit hash:247c7db7513f1264922428278678da641c5a3f52  247c7db  (Only the first 10 of 867 ports in this commit are shown above. View all ports for this commit)
textproc/libxml2: bump all dependencies

This should make sure that all dependent ports will pick
up the new version commited with a13ec21cd733f67a9fc0dc00ab45268bdc236246
Mon, 10 Jan 2022
[ 15:15 Stefan E├čer (se) search for other commits by this committer ]    commit hash:bcaf25a8c8046b094f6b5ab5bc258333bc326ee1  bcaf25a  (Only the first 10 of 491 ports in this commit are shown above. View all ports for this commit)
Fix CONFLICTS entries of multiple ports

There have been lots of missing CONFLICTS_INSTALL entries, either
because conflicting ports were added without updating existing ports,
due to name changes of generated packages, due to mis-understanding
the format and semantics of the conflicts entries, or just due to
typoes in package names.

This patch is the result of a comparison of all files contained in
the official packages with each other. This comparison was based on
packages built with default options and may therefore have missed
further conflicts with optionally installed files.

Where possible, version numbers in conflicts entries have been
generalized, some times taking advantage of the fact that a port
(Only the first 15 lines of the commit message are shown above View all of this commit message)
Mon, 15 Nov 2021
[ 15:19 Joseph Mingrone (jrm) search for other commits by this committer ]    commit hash:061afcca16999e2e4e791d4517a918d0d606d692  061afcc  (Only the first 10 of 86 ports in this commit are shown above. View all ports for this commit)
USES=emacs: Chase package name changes

PR:		259259
Differential Revision:	https://reviews.freebsd.org/D32613
Fri, 1 Oct 2021
[ 22:55 Joseph Mingrone (jrm) search for other commits by this committer ]    commit hash:126e3bb1f15157e4624a26aed1d01393603b03e0  126e3bb  (Only the first 10 of 80 ports in this commit are shown above. View all ports for this commit)
*: Chase new major version (29) of editors/emacs-devel

Differential Revision:	https://reviews.freebsd.org/D32258
Wed, 7 Apr 2021
[ 08:09 Mathieu Arnold (mat) search for other commits by this committer ]    commit hash:cf118ccf875508b9a1c570044c93cfcc82bd455c  cf118cc  (Only the first 10 of 8873 ports in this commit are shown above. View all ports for this commit)
One more small cleanup, forgotten yesterday.
Reported by:	lwhsu
Tue, 6 Apr 2021
[ 14:31 Mathieu Arnold (mat) search for other commits by this committer ]    commit hash:305f148f482daf30dcf728039d03d019f88344eb  305f148  (Only the first 10 of 29333 ports in this commit are shown above. View all ports for this commit)
Remove # $FreeBSD$ from Makefiles.
Fri, 26 Mar 2021
[ 00:40 jrm search for other commits by this committer ] Original commit   Revision:569232 (Only the first 10 of 96 ports in this commit are shown above. View all ports for this commit)
editors/emacs: Update to 27.2

This is a bug-fix release with no new features.

https://www.gnu.org/software/emacs/news/NEWS.27.2

Reviewed by:	ashish
Differential Revision:	https://reviews.freebsd.org/D27700
Wed, 12 Aug 2020
[ 18:30 jrm search for other commits by this committer ] Original commit   Revision:544763 (Only the first 10 of 86 ports in this commit are shown above. View all ports for this commit)
editors/emacs: Update to version 27.1

Please refer to the 20200811 UPDATING entry when upgrading
dependent (*-emacs26-*) ports.

Port changes:

- depend on math/gmp
- match upstream by turning CAIRO, HARFBUZZ, and JSON options and on and
  turning MAGICK off by default
- remove OPENMP check for graphics/ImageMagick as the openmp is now
  included in base
- update EMACS_VER in Mk/Uses/emacs.mk
- bump USES=emacs ports or remove BROKEN for net-im/jabber.el and
  deskutils/howm, which now build

Submitted by:	HIROSE Yuuji <yuuji@gentei.org> (canna patch)
Reviewed by:	ashish
Differential Revision:	https://reviews.freebsd.org/D23966
Tue, 7 Jan 2020
[ 04:55 jrm search for other commits by this committer ] Original commit   Revision:522315 (Only the first 10 of 81 ports in this commit are shown above. View all ports for this commit)
editors/emacs-devel: Update to latest master branch commit, 4f2b415

This update includes an Emacs major version change from 27.0.50 to 28.0.50.
Ports that may depend on editors/emacs-devel must chase this update
with a PORTREVISION bump.

Submitted by:	ashish (maintainer)
Differential Revision:	https://reviews.freebsd.org/D23012
Fri, 8 Nov 2019
[ 14:11 tobik search for other commits by this committer ] Original commit   Revision:517068 (Only the first 10 of 17 ports in this commit are shown above. View all ports for this commit)
math: Add missing USES={gl,gnome,php,sdl,xorg}
Thu, 31 May 2018
[ 01:18 jrm search for other commits by this committer ] Original commit   Revision:471191 (Only the first 10 of 86 ports in this commit are shown above. View all ports for this commit)
USES=emacs ports: Bump PORTREVISION for editors/emacs 26.1 upgrade

Or, mark ports that fail to build as BROKEN.
https://lists.freebsd.org/pipermail/freebsd-ports/2018-May/113518.html
Thu, 1 Feb 2018
[ 18:03 jrm search for other commits by this committer ] Original commit   Revision:460621 (Only the first 10 of 143 ports in this commit are shown above. View all ports for this commit)
Flavorize and modernize Emacs ports

- Convert USE_EMACS to USES=emacs
- Remove editors/emacs-nox11 (refer to nox flavors of editors/emacs and
  editors/emacs-devel)
- Permit default Emacs flavor to be specified in make.conf
- Rename japanese/migemo-emacs23 to japanese/migemo-emacs
- Update and simplify audio/emms and fix build on FreeBSD 10 [1]
- Update databases/bbdd and fix build on FreeBSD 10 [1]
- Update editors/emacs-devel
- Ensure Makefile shell commands that change directory are executed in a
  subshell
- Silence some portlint warnings

[1] By not depending on base texinfo

PR:		225404
Reviewed by:	antoine
Approved by:	portmgr (mat) ashish (maintainer)
Differential Revision:	https://reviews.freebsd.org/D13506
Thu, 30 Nov 2017
[ 06:13 linimon search for other commits by this committer ] Original commit   Revision:455167 (Only the first 10 of 189 ports in this commit are shown above. View all ports for this commit)
For ports that are marked BROKEN on armv6, and also fail to build on
armv7, mark them so.

This is part two of a multipart commit to bring armv7 ports to parity
with armv6.

Approved by:	portmgr (tier-2 blanket)
Obtained from:	lonesome.com -exp run
Tue, 12 Sep 2017
[ 15:38 ashish search for other commits by this committer ] Original commit   Revision:449697 (Only the first 10 of 78 ports in this commit are shown above. View all ports for this commit)
Chase Emacs update
Sat, 27 May 2017
[ 00:20 linimon search for other commits by this committer ] Original commit   Revision:441819 (Only the first 10 of 29 ports in this commit are shown above. View all ports for this commit)
Mark some ports failing on armv6, for errors classified as "???",
part 2.

While here, pet portlint.

Approved by:	portmgr (tier-2 blanket)
Sat, 31 Dec 2016
[ 23:05 hrs search for other commits by this committer ] Original commit   Revision:430173
Update to 8.6.  Fix PORTEPOCH accidentally removed in the previous commit.
[ 14:32 hrs search for other commits by this committer ] Original commit   Revision:430124
Update to 8.5.
[ 09:00 hrs search for other commits by this committer ] Original commit   Revision:430096
- Add missing dependencies.
- Strip installed binaries.
Wed, 14 Dec 2016
[ 21:48 johans search for other commits by this committer ] Original commit   Revision:428596 (Only the first 10 of 38 ports in this commit are shown above. View all ports for this commit)
Stepping down as maintainer for some ports.
Sat, 19 Nov 2016
[ 11:39 danfe search for other commits by this committer ] Original commit   Revision:426358
- Move license information from port description into LICENSE knobs
- Convert $arch-conditional BROKEN statement into BROKEN_$arch one
Mon, 23 May 2016
[ 20:35 amdmi3 search for other commits by this committer ] Original commit   Revision:415742 (Only the first 10 of 217 ports in this commit are shown above. View all ports for this commit)
Remove NLS, DOCS, EXAMPLES and IPV6 from OPTIONS_DEFAULT, they are enabled by
default anyway and don't need to be listed

Approved by:	portmgr blanket
Fri, 1 Apr 2016
[ 14:16 mat search for other commits by this committer ] Original commit   Revision:412348 (Only the first 10 of 2612 ports in this commit are shown above. View all ports for this commit)
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.

With hat:	portmgr
Sponsored by:	Absolight
Sat, 23 May 2015
[ 10:06 johans search for other commits by this committer ] Original commit   Revision:387123
Update Coq to 8.4pl6

PR:		200409
Submitted by:	yuri@rawbw.com
Mon, 4 May 2015
[ 15:46 madpilot search for other commits by this committer ] Original commit   Revision:385413 (Only the first 10 of 35 ports in this commit are shown above. View all ports for this commit)
- Add USE_OCAML_CAMLP4 and USE_OCAML_TK to bsd.ocaml.mk which add
  depends on the camlp4 language and labltk ocaml modules, which are
  now in separate ports.
- Update x11-toolkits/ocaml-lablgtk2 to 2.18.3
- Update graphics/ocaml-lablgl to 1.05
- Make unison ports use USE_OCAML
- Convert ports to the new flags where needed
- Bump PORTREVISION on ports depending on ocaml-lablgtk2, those need to be
rebuilt

PR:			199845
Submitted by:		jbeich@
Differential Revision:	https://reviews.freebsd.org/D2434
Approved by:		portmgr (mat)
Mon, 22 Dec 2014
[ 10:45 johans search for other commits by this committer ] Original commit   Revision:375227
Update to Coq 8.4pl5
Wed, 10 Sep 2014
[ 20:50 gerald search for other commits by this committer ] Original commit   Revision:367888 (Only the first 10 of 3171 ports in this commit are shown above. View all ports for this commit)
Update the default version of GCC in the Ports Collection from GCC 4.7.4
to GCC 4.8.3.

Part II, Bump PORTREVISIONs.

PR:		192025
Tested by:	antoine (-exp runs)
Approved by:	portmgr (implicit)
Wed, 3 Sep 2014
[ 16:54 antoine search for other commits by this committer ] Original commit   Revision:367220
Fix packaging
Wed, 23 Jul 2014
[ 13:04 bapt search for other commits by this committer ] Original commit   Revision:362673
Switch to texlive
Tue, 1 Jul 2014
[ 07:04 eadler search for other commits by this committer ] Original commit   Revision:359963
multiple: avoid RUN_DEPENDS=${BUILD_DEPENDS} anti-pattern
	The ports infrastructure may insert additional content into the
	BUILD_DEPENDS variable which is not supposed to be a run depend.

Approved by:	portmgr (bapt)
Sat, 11 Jan 2014
[ 09:31 johans search for other commits by this committer ] Original commit   Revision:339411
- Update coq to 8.4.3
- Enable stage support
- Simplify options handling
Fri, 20 Sep 2013
[ 20:55 bapt search for other commits by this committer ] Original commit   Revision:327746 (Only the first 10 of 665 ports in this commit are shown above. View all ports for this commit)
Add NO_STAGE all over the place in preparation for the staging support (cat:
math)
Thu, 13 Jun 2013
[ 10:57 johans search for other commits by this committer ] Original commit   Revision:320753
- Add build dependency due to tex changes

PR:		ports/179372
Submitted by:	John Marino <draco@marino.st>
Sat, 11 May 2013
[ 17:58 hrs search for other commits by this committer ] Original commit   Revision:317899 (Only the first 10 of 152 ports in this commit are shown above. View all ports for this commit)
Rectify USE_TEX to support both of teTeX and TeXLive.

TEX_DEFAULT:
	A knob to choose teTeX or TeXLive.  One can specify in /etc/make.conf.

USE_TEX:
	A knob for port developers.  Valid keywords are listed in
	bsd.tex.mk.
Mon, 6 May 2013
[ 02:00 hrs search for other commits by this committer ] Original commit   Revision:317455 (Only the first 10 of 150 ports in this commit are shown above. View all ports for this commit)
Remove *_DEPENDS from ports which depend on teTeX and add USE_TEX=tetex
instead to make migration to TeXLive easier.
Tue, 30 Apr 2013
[ 14:50 johans search for other commits by this committer ] Original commit   Revision:316937
Update coq to 8.4.2
Tue, 5 Mar 2013
[ 20:22 bf search for other commits by this committer ] Original commit   Revision:313476 (Only the first 10 of 19 ports in this commit are shown above. View all ports for this commit)
update x11-toolkits/ocaml-lablgtk2 to 2.16.0+bugfixes, and adjust
dependent ports

PR:		144982, 149958
Reviewed by:	johans (earlier version of the patch)
Sun, 17 Feb 2013
[ 10:43 johans search for other commits by this committer ] Original commit   Revision:312410
- Update coq to 8.4 pl1 [1]
  http://coq.inria.fr/coq-84
- Remove local patch that is now included upstream
- Add ocaml-findlib as build dependency

PR:             ports/176056
Submitted by:   Jaap Boender <jaapb@kerguelen.org>
Thu, 28 Jun 2012
[ 16:12 johans search for other commits by this committer ] Original commit 
Convert to new options framework
Fri, 1 Jun 2012
[ 05:26 dinoex search for other commits by this committer ] Original commit  (Only the first 10 of 4371 ports in this commit are shown above. View all ports for this commit)
- update png to 1.5.10
Sun, 25 Mar 2012
[ 09:21 johans search for other commits by this committer ] Original commit 
- Update coq to 8.3.3
- Fix build with new camlp5 (patch from official repo)
- Remove BROKEN tag

Feature safe:   yes
Wed, 14 Mar 2012
[ 20:11 pav search for other commits by this committer ] Original commit 
- Mark BROKEN: does not compile
  OCAMLC    pretyping/pretype_errors.mli
  OCAMLOPT  pretyping/pretype_errors.ml
  File "pretyping/pretype_errors.ml", line 48, characters 4-109:
  Error: Unbound constructor Stdpp.Exc_located
  gmake[1]: *** [pretyping/pretype_errors.cmx] Error 2

Reported by:    pointyhat
Feature safe:   yes
Fri, 11 Nov 2011
[ 02:53 linimon search for other commits by this committer ] Original commit 
Mark as broken on powerpc: fails to link.

Hat:            portmgr
Feature safe:   yes
Mon, 2 May 2011
[ 12:44 makc search for other commits by this committer ] Original commit  (Only the first 10 of 195 ports in this commit are shown above. View all ports for this commit)
Bump PORTREVISION after open-mofit update
Mon, 25 Apr 2011
[ 17:48 johans search for other commits by this committer ] Original commit 
Update coq to 8.3.2
Mon, 18 Apr 2011
[ 17:19 johans search for other commits by this committer ] Original commit 
Correct PORTVERSION: pl (patch level) releases follow a main release

Reported by:            erwin
Sat, 12 Feb 2011
[ 12:30 johans search for other commits by this committer ] Original commit 
- Update coq to 8.3pl1
- Remove obsoleted patch (fixed in dist)
Fri, 10 Dec 2010
[ 17:23 johans search for other commits by this committer ] Original commit 
Fix build with new ocaml preprocessor (patch from upstream)

Reported by:    pointyhat via pav
Tue, 9 Nov 2010
[ 07:09 johans search for other commits by this committer ] Original commit 
- Update coq to 8.3
- Add a patch to fix threading issues

Submitted by:   AUGER Cedric <Cedric.Auger@lri.fr>
Fri, 25 Jun 2010
[ 06:53 johans search for other commits by this committer ] Original commit 
- Update to version 8.2pl1
- Bump EPOCH due to different versioning style
- Build and install documentation

PR:             ports/148034
Submitted by:   Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>
Feature safe:   yes
Sun, 28 Mar 2010
[ 06:47 dinoex search for other commits by this committer ] Original commit  (Only the first 10 of 4470 ports in this commit are shown above. View all ports for this commit)
- update to 1.4.1
Reviewed by:    exp8 run on pointyhat
Supported by:   miwi
Tue, 23 Feb 2010
[ 18:06 johans search for other commits by this committer ] Original commit  (Only the first 10 of 27 ports in this commit are shown above. View all ports for this commit)
Update my mail address to @FreeBSD.org

Feature safe:   yes
Fri, 5 Feb 2010
[ 11:46 dinoex search for other commits by this committer ] Original commit  (Only the first 10 of 4271 ports in this commit are shown above. View all ports for this commit)
- update to jpeg-8
Fri, 31 Jul 2009
[ 13:57 dinoex search for other commits by this committer ] Original commit  (Only the first 10 of 3009 ports in this commit are shown above. View all ports for this commit)
- bump all port that indirectly depends on libjpeg and have not yet been bumped
or updated
Requested by:   edwin
Mon, 16 Mar 2009
[ 07:38 johans search for other commits by this committer ] Original commit 
Update to 8.2.1
Fri, 6 Jun 2008
[ 13:44 edwin search for other commits by this committer ] Original commit  (Only the first 10 of 76 ports in this commit are shown above. View all ports for this commit)
Bump portrevision due to upgrade of devel/gettext.

The affected ports are the ones with gettext as a run-dependency
according to ports/INDEX-7 (5007 of them) and the ones with USE_GETTEXT
in Makefile (29 of them).

PR:             ports/124340
Submitted by:   edwin@
Approved by:    portmgr (pav)
Wed, 16 Apr 2008
[ 22:10 johans search for other commits by this committer ] Original commit 
- Due to depency updates, camlp5 (fresh port) is now required as well:
  Include this dependency and bump portrevision
Sun, 6 Apr 2008
[ 17:40 johans search for other commits by this committer ] Original commit 
- Update to 8.1pl3
- Take advantage of USE_OCAML
- Update MASTER_SITES
Mon, 30 Jul 2007
[ 07:36 johans search for other commits by this committer ] Original commit 
Update to 8.1.1  (bugfix release)
Sat, 19 May 2007
[ 20:32 flz search for other commits by this committer ] Original commit  (Only the first 10 of 7868 ports in this commit are shown above. View all ports for this commit)
- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}.
Sun, 25 Mar 2007
[ 18:44 johans search for other commits by this committer ] Original commit 
- Update to 8.1
- Grab maintainership
- Remove FreeBSD-specific workaround that shouldn't be needed anymore
Thu, 16 Mar 2006
[ 15:31 pav search for other commits by this committer ] Original commit 
- Update to 8.0pl3

PR:             ports/93954
Submitted by:   Johan van Selst <johans@stack.nl>
Mon, 6 Mar 2006
[ 20:30 kris search for other commits by this committer ] Original commit 
BROKEN: Does not build

Approved by:    portmgr (implicit)
Wed, 7 Dec 2005
[ 15:59 vs search for other commits by this committer ] Original commit 
Unbreak: Add vendor-patch for ocaml 3.09
Mon, 5 Dec 2005
[ 09:49 vs search for other commits by this committer ] Original commit 
Bump PORTREVISION to regenerate the package with the newly enabled IDE on the
cluster

Suggested by: kris
[ 09:16 vs search for other commits by this committer ] Original commit 
Enable IDE by default.
Sat, 29 Oct 2005
[ 20:14 mnag search for other commits by this committer ] Original commit 
Drop MAINTAINER

PR:             88197
Submitted by:   Rene Ladan <r.c.ladan@student.tue.nl> (maintainer)
Wed, 2 Feb 2005
[ 11:34 vs search for other commits by this committer ] Original commit 
Update to 8.0p2

PR:             ports/76977
Submitted by:   Rene Laden (maintainer)
Tue, 18 Jan 2005
[ 16:44 vs search for other commits by this committer ] Original commit 
Fix packaging

PR:             ports/75787
Submitted by:   maintainer
Mon, 20 Dec 2004
[ 21:37 sem search for other commits by this committer ] Original commit 
- Unbreak on amd64
  (Johan van Selst succesfully ran the test-suite
  on an amd64 running 6-CURRENT and ocaml-3.08.2)

PR:             ports/75334
Submitted by:   maintainer
Mon, 29 Nov 2004
[ 09:34 tobez search for other commits by this committer ] Original commit 
Mark broken on ia64 and amd64.

PR:             74502
Submitted by:   maintainer
Mon, 8 Nov 2004
[ 21:57 pav search for other commits by this committer ] Original commit 
- Add optional CoqIde support (depends on lablgtk2)
- Correct PORTVERSION to match actual source version
- Cosmetics

PR:             ports/73634
Submitted by:   Rene Ladan <r.c.ladan@student.tue.nl> (maintainer)
Sat, 16 Oct 2004
[ 00:55 pav search for other commits by this committer ] Original commit 
Add coq, a formal proof management system: a proof done with Coq is
mechanically checked by the machine.

In particular, Coq allows:
* the definition of functions or predicates,
* to state mathematical theorems and software specifications,
* to develop interactively formal proofs of these theorems,
* to check these proofs by a small certification "kernel".

PR:             ports/72718
Submitted by:   Rene Ladan <r.c.ladan@student.tue.nl>

Number of commits found: 78