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/alt-ergo/Makefile
SVNWeb

Number of commits found: 19

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
Thu, 29 Apr 2021
[ 20:15 Dmitry Marakasov (amdmi3) search for other commits by this committer ]    commit hash:541ea6df4e37d136287cfad02508149c4c8010ed  541ea6d 
math/alt-ergo: fix build
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.
Thu, 4 Feb 2021
[ 10:01 bapt search for other commits by this committer ] Original commit   Revision:564009
Remove the GUI option

The GUI is currently non functionnal on FreeBSD from my testing and depends
on deprecated gnome2 libraries
Mon, 18 May 2020
[ 00:58 linimon search for other commits by this committer ] Original commit   Revision:535698
Mark as BROKEN on powerpc64:

  /tmp/camlasm2822e8.s: Assembler messages:
  /tmp/camlasm2822e8.s:10348: Error: operand out of range (0x000000000000804c is
not between 0xffffffffffff8000 and 0x0000000000007ffc)
  /tmp/camlasm2822e8.s:32988: Error: operand out of range (0x000000000000805c is
not between 0xffffffffffff8000 and 0x0000000000007ffc)
Mon, 27 Jun 2016
[ 21:30 rene search for other commits by this committer ] Original commit   Revision:417685 (Only the first 10 of 94 ports in this commit are shown above. View all ports for this commit)
Reset ports maintained by bf@ until he has time again to work on them.

PR:		210474
Submitted by:	jbeich
With hat:	portmgr-secretary
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
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)
Sun, 7 Dec 2014
[ 00:07 antoine search for other commits by this committer ] Original commit   Revision:374163 (Only the first 10 of 13 ports in this commit are shown above. View all ports for this commit)
Canonicalize a few licenses
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, 25 Jun 2014
[ 05:35 bapt search for other commits by this committer ] Original commit   Revision:359185 (Only the first 10 of 304 ports in this commit are shown above. View all ports for this commit)
Convert GMAKE to MAKE_CMD
Please note that lots of invocation of MAKE_CMD here are wrong as they do not
properly respect MAKE_ENV and friends

With hat:	portmgr
Mon, 2 Jun 2014
[ 23:51 marino search for other commits by this committer ] Original commit   Revision:356261
math/alt-ergo: Update version 0.94 => 0.95.2 and support stage
Mon, 26 May 2014
[ 12:28 miwi search for other commits by this committer ] Original commit   Revision:355316 (Only the first 10 of 23 ports in this commit are shown above. View all ports for this commit)
- Convert gmake,bzip2 to USES

Approved by:	portmgr
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)
Mon, 18 Mar 2013
[ 16:11 bf search for other commits by this committer ] Original commit   Revision:314582
update master sites; trim headers; reposition LICENSE, WWW
Thu, 7 Mar 2013
[ 03:46 bf search for other commits by this committer ] Original commit   Revision:313560
switch to the new options format
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)
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
Wed, 21 Dec 2011
[ 02:58 bf search for other commits by this committer ] Original commit 
Add alt-ergo 0.94, an automatic theorem prover dedicated to program
verification.

Number of commits found: 19