Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
Commit | Credits | Log message |
0.95.2_6 22 May 2024 17:16:28
![commit hash: bb2bea65dbac365184f0efd68e9b79201fe5c533 commit hash: bb2bea65dbac365184f0efd68e9b79201fe5c533](/images/git.png) ![commit hash: bb2bea65dbac365184f0efd68e9b79201fe5c533 commit hash: bb2bea65dbac365184f0efd68e9b79201fe5c533](/images/codeberg.svg) ![commit hash: bb2bea65dbac365184f0efd68e9b79201fe5c533 commit hash: bb2bea65dbac365184f0efd68e9b79201fe5c533](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Guido Falsi (madpilot) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) Author: Benjamin Jacobs |
ocaml: Updates to ocaml compiler and several ocaml ports
- Update devel/ocaml to 4.14.2 [1]
- Specify runtime dependency on GNU AS as full path, this fixes
build on armv6 - armv7 [1] [2]
- converters/ocaml-base64: Update to 3.5.1, add LICENSE, other
improvements
- converters/ocaml-jsonm: Strip shared objects [3]
- databases/ocaml-dbm: Update to 1.3, move to gitlub, other
improvements
- devel/menhir: Update to 20231231
- devel/ocaml-base: Unbreak non-x86 [2]
- devel/ocaml-camlp-streams: Silence patch and strip commands
- devel/ocaml-ipaddr: Update to 5.5.0
- devel/ocaml-lwt: Update to 5.7.0 [4] (Only the first 15 lines of the commit message are shown above ) |
0.95.2_5 24 Feb 2024 18:21:01
![commit hash: 1189805d578b011434ec604dd72b4058877b2e42 commit hash: 1189805d578b011434ec604dd72b4058877b2e42](/images/git.png) ![commit hash: 1189805d578b011434ec604dd72b4058877b2e42 commit hash: 1189805d578b011434ec604dd72b4058877b2e42](/images/codeberg.svg) ![commit hash: 1189805d578b011434ec604dd72b4058877b2e42 commit hash: 1189805d578b011434ec604dd72b4058877b2e42](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Muhammad Moinur Rahman (bofh) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/alt-ergo: Moved man to share/man
Approved by: portmgr (blanket) |
0.95.2_4 05 Jul 2023 09:55:16
![commit hash: 2b40e4609399858e2bfbddcf961bd7c947f6ed2c commit hash: 2b40e4609399858e2bfbddcf961bd7c947f6ed2c](/images/git.png) ![commit hash: 2b40e4609399858e2bfbddcf961bd7c947f6ed2c commit hash: 2b40e4609399858e2bfbddcf961bd7c947f6ed2c](/images/codeberg.svg) ![commit hash: 2b40e4609399858e2bfbddcf961bd7c947f6ed2c commit hash: 2b40e4609399858e2bfbddcf961bd7c947f6ed2c](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Guido Falsi (madpilot) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
lang/ocaml: Update to 4.08.1
This update allows (and for some requires) to also update dependencies
to newer versions. Where possible I updated to the latest version.
The ocaml port now is MAKE_JOBS safe.
Changes to dependent ports included in this commit:
- devel/ocaml-sexplib: Rename to devel/ocaml-sexplib0 adapting to
upstream. Update to 0.16.0
- devel/coccinelle: Update to 1.1.1, moved to github
- devel/ocaml-camlp4: Update to 4.08+1
- devel/ocaml-camomile: Use dune for build, adapt port
- devel/ocaml-cppo: Fix lib files installation [1] (Only the first 15 lines of the commit message are shown above ) |
07 Sep 2022 21:58:51
![commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4 commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4](/images/git.png) ![commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4 commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4](/images/codeberg.svg) ![commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4 commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Stefan Eßer (se) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
Remove WWW entries moved into port Makefiles
Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.
This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.
Approved by: portmgr (tcberner) |
0.95.2_3 07 Sep 2022 21:10:59
![commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52 commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52](/images/git.png) ![commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52 commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52](/images/codeberg.svg) ![commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52 commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Stefan Eßer (se) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
Add WWW entries to port Makefiles
It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.
Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.
There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above ) |
0.95.2_3 20 Jul 2022 14:22:24
![commit hash: f53eb28489aa8f30712cd8772d1a0e05c394a5da commit hash: f53eb28489aa8f30712cd8772d1a0e05c394a5da](/images/git.png) ![commit hash: f53eb28489aa8f30712cd8772d1a0e05c394a5da commit hash: f53eb28489aa8f30712cd8772d1a0e05c394a5da](/images/codeberg.svg) ![commit hash: f53eb28489aa8f30712cd8772d1a0e05c394a5da commit hash: f53eb28489aa8f30712cd8772d1a0e05c394a5da](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Tobias C. Berner (tcberner) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math: remove 'Created by' lines
A big Thank You to the original contributors of these ports:
* Aaron Dalton <aaron@FreeBSD.org>
* Aaron Dalton <aaron@daltons.ca>
* Alessando Sagratini <ale_sagra@hotmail.com>
* Alex Dupre <ale@FreeBSD.org>
* Alexey Dokuchaev <danfe@FreeBSD.org>
* Amarendra Godbole <amarendra.godbole@gmail.com>
* Anders Nordby <anders@FreeBSD.org>
* Andreas Fehlner (fehlner@gmx.de)
* Andrew L. Neporada <andrew@chg.ru>
* Andrey <gugu@zoo.rambler.ru>
* Andrey Zakhvatov (Only the first 15 lines of the commit message are shown above ) |
0.95.2_3 16 Apr 2022 07:19:46
![commit hash: 317aa0442c9942009c1f9c558f8fb6e49d4568ab commit hash: 317aa0442c9942009c1f9c558f8fb6e49d4568ab](/images/git.png) ![commit hash: 317aa0442c9942009c1f9c558f8fb6e49d4568ab commit hash: 317aa0442c9942009c1f9c558f8fb6e49d4568ab](/images/codeberg.svg) ![commit hash: 317aa0442c9942009c1f9c558f8fb6e49d4568ab commit hash: 317aa0442c9942009c1f9c558f8fb6e49d4568ab](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Alexey Dokuchaev (danfe) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
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 |
0.95.2_3 29 Apr 2021 20:15:20
![commit hash: 541ea6df4e37d136287cfad02508149c4c8010ed commit hash: 541ea6df4e37d136287cfad02508149c4c8010ed](/images/git.png) ![commit hash: 541ea6df4e37d136287cfad02508149c4c8010ed commit hash: 541ea6df4e37d136287cfad02508149c4c8010ed](/images/codeberg.svg) ![commit hash: 541ea6df4e37d136287cfad02508149c4c8010ed commit hash: 541ea6df4e37d136287cfad02508149c4c8010ed](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Dmitry Marakasov (amdmi3) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/alt-ergo: fix build |
0.95.2_3 06 Apr 2021 14:31:07
![commit hash: 305f148f482daf30dcf728039d03d019f88344eb commit hash: 305f148f482daf30dcf728039d03d019f88344eb](/images/git.png) ![commit hash: 305f148f482daf30dcf728039d03d019f88344eb commit hash: 305f148f482daf30dcf728039d03d019f88344eb](/images/codeberg.svg) ![commit hash: 305f148f482daf30dcf728039d03d019f88344eb commit hash: 305f148f482daf30dcf728039d03d019f88344eb](/images/github.svg) ![files touched by this commit files touched by this commit](/images/logs.gif) |
Mathieu Arnold (mat) ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
Remove # $FreeBSD$ from Makefiles. |
0.95.2_3 04 Feb 2021 10:01:17
![Revision:564009 Revision:564009](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
bapt ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
Remove the GUI option
The GUI is currently non functionnal on FreeBSD from my testing and depends
on deprecated gnome2 libraries |
0.95.2_2 18 May 2020 00:58:50
![Revision:535698 Revision:535698](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
linimon ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
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) |
0.95.2_2 27 Jun 2016 21:30:34
![Revision:417685 Revision:417685](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
rene ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
Reset ports maintained by bf@ until he has time again to work on them.
PR: 210474
Submitted by: jbeich
With hat: portmgr-secretary |
0.95.2_2 01 Apr 2016 14:16:20
![Revision:412348 Revision:412348](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
mat ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.
With hat: portmgr
Sponsored by: Absolight |
0.95.2_2 04 May 2015 15:46:52
![Revision:385413 Revision:385413](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
madpilot ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
- 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) |
0.95.2_1 07 Dec 2014 00:07:48
![Revision:374163 Revision:374163](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
antoine ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
Canonicalize a few licenses |
0.95.2_1 13 Nov 2014 23:24:01
![Revision:372546 Revision:372546](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
antoine ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
Cleanup plist |
0.95.2_1 10 Sep 2014 20:50:37
![Revision:367888 Revision:367888](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
gerald ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
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) |
0.95.2 25 Jun 2014 05:35:32
![Revision:359185 Revision:359185](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
bapt ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
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 |
0.95.2 02 Jun 2014 23:51:07
![Revision:356261 Revision:356261](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
marino ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
math/alt-ergo: Update version 0.94 => 0.95.2 and support stage |
0.94_2 26 May 2014 12:28:34
![Revision:355316 Revision:355316](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
miwi ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
- Convert gmake,bzip2 to USES
Approved by: portmgr |
0.94_2 20 Sep 2013 20:55:06
![Revision:327746 Revision:327746](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
bapt ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
Add NO_STAGE all over the place in preparation for the staging support (cat:
math) |
0.94_2 18 Mar 2013 16:11:34
![Revision:314582 Revision:314582](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
bf ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
update master sites; trim headers; reposition LICENSE, WWW |
0.94_2 07 Mar 2013 03:46:47
![Revision:313560 Revision:313560](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
bf ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
switch to the new options format |
0.94_2 05 Mar 2013 20:22:03
![Revision:313476 Revision:313476](/images/subversion.png) ![files touched by this commit files touched by this commit](/images/logs.gif) |
bf ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
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) |
0.94_1 01 Jun 2012 05:26:28
![files touched by this commit files touched by this commit](/images/logs.gif) |
dinoex ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
- update png to 1.5.10 |
0.94 21 Dec 2011 02:58:24
![files touched by this commit files touched by this commit](/images/logs.gif) |
bf ![search for other commits by this committer search for other commits by this committer](/images/search.jpg) |
Add alt-ergo 0.94, an automatic theorem prover dedicated to program
verification. |