math/ocaml-zarith1.13_2

math/ocaml-zarith: fix build on powerpc

Mk/**ocaml.mk: Convert remaining bsd.ocaml.mk to Uses/ocaml.mk

- Instead of USE_OCAML=yes use USES=ocaml. If empty USES=ocaml implies
  build and run
- Instead of USE_OCAMLFIND_PLIST use USES=ocaml:findplist which also
  implies USES=ocaml:findlib
- Instead of USE_OCAML_CAMLP4 use USES=ocaml:camlp4
- Instead of USE_OCAML_FINDLIB use USES=ocaml:findlib
- Instead of USE_OCAML_LDCONFIG use USES=ocaml:ldconfig
- Instead of USE_OCAML_WASH use USES=ocaml:wash
- Instead of NO_OCAML_BUILDDEPENDS use USES=ocaml:run
- Instead of NO_OCAML_RUNDDEPENDS use USES=ocaml:build
- Instead of USE_OCAML_TK use USES=ocaml:tk which actually implies
  USES=ocaml:tkbuild and USES=ocaml:tkrun
- Instead of NO_OCAMLTK_BUILDDEPENDS use USES=ocaml:tkrun
- Instead of NO_OCAMLTK_RUNDEPENDS use USES=ocaml:tkbuild
- USES=ocaml:dune remains unchanged
- Prepare to add/remove keywords easily

Approved by: mat (portmgr)
Reviewed by: freebsd@dev.thsi.be
Differential Revision: https://reviews.freebsd.org/D48227

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]
- devel/ocaml-result: Set package version, strip shared objects [5]
- devel/ocaml-sexplib: Resurrect and update to 0.16.0.
- devel/ocaml-stdio: Update to 0.17.0
- security/ocaml-cryptokit: Update to 1.19, add LICENSE, other
  improvements
- security/ocaml-ssl: Update to 0.7.0, install stublibs in package
  directory [6]
- x11-toolkits/ocaml-graphics: Reorder Makefile, silence patch
  command
- Bump PORTREVISION on ports requiring it after update.

Adding ports:

- devel/ocaml-cstruct
- devel/ocaml-compiler-libs [7]
- devel/ocaml-ppx_derivers [7]
- devel/ocaml-ppxlib [7]
- devel/ocaml-domain-name
- devel/ocaml-ocplib-endian [8]
- devel/ocaml-parsexp
- devel/ocaml-ppx_sexp_conv
- security/ocaml-lwt_ssl [9]

Resetting maintainership from michipili@gmail.com due to multiple
timeouts and long term unresponsiveness.

Assigning maintainership of lang/ocaml to author of this patch.
Many thanks to him for his work!

PR:			278300 [1], 278791 [2], 277818 [3], 277781 [4],
			277775 [6], 277779 [7], 277780 [8], 277782 [9]
Approved by:		michipili@gmail.com (maintainer timeout) [1],
			danfe@FreeBSD.org (maintainer timeout) [3] [4] [6],
			fixit, avoid breakage [5]
Differential Revision:	https://reviews.freebsd.org/D45254

lang/ocaml: Update to 4.14.1

The 'force-safe-string; setting is NOT enabled, as opposed to the
new upstream default. OCaml users are encouraged to migrate to safe
strings as soon as possible.

- The X11 library isn't part of lang/ocaml anymore, users should
install x11-toolkits/ocaml-graphics.
- Add new 'ocaml' USES
- Bump PORTREVISION on dependent ports, due to ABI Change.

The update includes the following updates to existing ports (needed
to keep them working):

- devel/ocaml-camlp4: Updated to 4.14+1
- devel/ocaml-camlp5: Updated to 8.02.01, homepage updated
- devel/ocaml-dune: Patch to allow overriding the stublibs directory,
  strip binary and shared libraries
- devel/ocaml-findlib: Improve port
- devel/ocaml-lwt: Fix build with OCaml 4.14
- deve/ocaml-re: Update to 1.11.0, use new dune USES
- devel/ocaml-sdl: Fix build with new ocaml
- games/freetennis: Fix build, tidy Makefile
- graphics/ocaml-images: Updated to 5.0.4, new homepage, use new
  dune USES, undeprecate
- graphics/ocaml-lablgl: Moved into site-lib, dynamic objects
  stripped, add missing GL dependencies
- math/coq: Updated to 8.19.0
- math/ocaml-zarith: strip shared libraries, fixed usage of
  USE_OCAML_LDCONFIG, use new dune USES
- math/teyjus: Fix build
- net/unison240: Fix build with new compiler
- net/unison248: Fix build with new compiler, add MAKE_JOBS_UNSAFE
- net-p2p/mldonkey: Fix build with new compiler, fix build on i386
- sysutils/ledit: Updated to 2.06, install native binary, Use github,
  fix man page installation
- www/geneweb: Build fix for OCaml and Camlp5 updates
- x11-toolkits/ocaml-lablgtk2: Fix build with new compiler
- x11-toolkits/ocaml-lablgtk3: Updated to 3.1.4, added ocaml-camlp-stream
  dependency, build fix patch
- x11-toolkits/ocaml-labltk: Updated to 8.06.12, Improve Makefile

Added the following ports:

- devel/ocaml-astring
- devel/ocaml-base
- devel/ocaml-bos
- devel/ocaml-camlp-streams
- devel/ocaml-csexp
- devel/ocaml-fmt
- devel/ocaml-fpath
- devel/ocaml-logs
- devel/ocaml-mtime
- devel/ocaml-pcre2
- devel/ocaml-rresult
- devel/ocaml-seq
- devel/ocaml-stdio
- x11-toolkits/ocaml-graphics

PR:                     250408 [1], 262781 [1], 262788 [3], 262789 [1],
			262792 [1], 263006 [1], 263162 [3], 263206 [2],
			276893 [1], 276945 [4], 276953 [1], 277026 [5],
			277241 [1], 277242 [1], 277243 [1], 277244 [1],
			277245 [1], 277246 [1], 277247 [1], 277248 [1],
			277249 [1], 277250 [1], 277251 [1], 277252 [1],
			277253 [1], 277254 [1], 277255 [1], 277256 [4],
			277257 [1], 277258 [1]
Approved by:		maintainer timeout [1],
			yuri (maintainer) [2],
			overcome by events, fixit [3],
			madpilot (maintainer) [4]
Reviewed by:		madpilot
Exp-run by:		antoine [5]
Differential Revision:	https://reviews.freebsd.org/D43861

math/ocaml-zarith: update ZArith to version 1.13

Reported by:	portscout

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]
- devel/ocaml-dune: Update to 3.7.1 [2]
- devel/ocaml-findlib: Update to 1.9.6 [3]
- devel/ocaml-ipaddr: Update to 3.1.0
- devel/ocaml-parmap: Update to 1.2.4, use dune for build [4]
- devel/ocaml-ppx-tools: Update to 6.6, use dune for build
- graphics/ocaml-cairo: Update to 0.6.4
- net-p2p/mldonkey: Update to 3.1.7-2 [2]
- net/unison: Remove ocaml 4.07 compatibility patches
- net/unison232: Mark broken, fails to build with newer ocaml [5]
- security/ocaml-ssl: Update to 0.5.13 [2]
- x11-toolkits/ocaml-labltk: Update to 8.06.7 [2]

Dune now requires full path as argument to --libdir, so various
ports have been patched accordingly.

Bumping PORTREVISION for all dependent ports that were not updated.

PR:			272067
Approved by:		michipili@gmail.com (maintainer timeout),
			eduardo (maintainer timeout) [1],
			danfe [2],
			hrs (maintainer timeout) [3],
			dumbbell (maintainer timeout) [4],
			mandree (implicit) [5]
Differential Revision:	https://reviews.freebsd.org/D40599

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)

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.

This commit implements such a proposal and moves one of the WWW: entries
of each pkg-descr file into the respective port's Makefile. A heuristic
attempts to identify the most relevant URL in case there is more than
one WWW: entry in some pkg-descr file. URLs that are not moved into the
Makefile are prefixed with "See also:" instead of "WWW:" in the pkg-descr
files in order to preserve them.

There are 1256 ports that had no WWW: entries in pkg-descr files. These
ports will not be touched in this commit.

The portlint port has been adjusted to expect a WWW entry in each port
Makefile, and to flag any remaining "WWW:" lines in pkg-descr files as
deprecated.

Approved by:		portmgr (tcberner)

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
  *  Anton Berezin <tobez@FreeBSD.org>
  *  Anton Berezin <tobez@plab.ku.dk>
  *  Anton Berezin <tobez@tobez.org>
  *  Anton Shterenlikht
  *  Anton Shterenlikht <mexas@bris.ac.uk>
  *  Bob Eager <bob@eager.cx>
  *  Charlie Kester <corky1951@comcast.net>
  *  Cheng-Lung Sung <clsung@FreeBSD.org>
  *  Cheng-Lung Sung <clsung@dragon2.net>
  *  Chris D. Faulhaber <jedgar@fxp.org>
  *  Christopher J. Ruwe
  *  Christopher Key <cjk32@cam.ac.uk>
  *  Chuck Hein <geekdude@pacbell.net>
  *  Cyrille Szymanski <cnszym@gmail.com>
  *  Dan Rue <drue@therub.org>
  *  Danilo Egea Gondolfo <danilo@FreeBSD.org>
  *  David Naylor <dbn@FreeBSD.org>
  *  David Naylor <naylor.b.david@gmail.com>
  *  Dereckson <dereckson@gmail.com>
  *  Devin Teske <dteske@FreeBSD.org>
  *  Dmitry Sivachenko <demon@FreeBSD.org>
  *  Dmitry Sivachenko <mitya@yandex-team.ru>
  *  Don Croyle <croyle@gelemna.org>
  *  Douglas K. Rand (rand@meridian-enviro.com)
  *  Dylan Simon <dylan@dylex.net>
  *  Edwin Groothuis <edwin@mavetju.org>
  *  Eijiro Shibusawa <ej-sib@ice.uec.ac.jp>
  *  Emanuel Haupt <ehaupt@FreeBSD.org>
  *  Eoin Lawless (eoin@maths.tcd.ie)
  *  Eric A. Griff <eagriff@global2000.net>
  *  Eric van Gyzen <vangyzen@stat.duke.edu>
  *  Ewgenij Gawrilow <gawrilow@math.tu-berlin.de>
  *  Fernan Aguero <fernan@iib.unsam.edu.ar>
  *  Foxfair Hu <foxfair@FreeBSD.org>
  *  Frederic Han <han@math.jussieu.fr>
  *  Gabor Kovesdan <gabor@FreeBSD.org>
  *  Gea-Suan Lin <gslin@gslin.org>
  *  George Reid <greid@ukug.uk.freebsd.org>
  *  Giuseppe Pilichi aka Jacula Modyun <jacula@gmail.com>
  *  Greg Larkin <glarkin@FreeBSD.org>
  *  Guangyuan Yang <ygy@FreeBSD.org>
  *  Gustau Perez i Querol <gustau.perez@gmail.com>
  *  Heinz Tschabitscher
  *  Horia Racoviceanu <horia@racoviceanu.com>
  *  Hye-Shik Chang <perky@fallin.lv>
  *  Iblis Lin <iblis@hs.ntnu.edu.tw>
  *  Issei Suzuki <issei@jp.FreeBSD.ORG>
  *  Janni
  *  Jason Harris <jharris@widomaker.com>
  *  Javad Kouhi <javad.kouhi@gmail.com>
  *  Jean-Yves Lefort <jylefort@FreeBSD.org>
  *  Jin-Shan Tseng <tjs@cdpa.nsysu.edu.tw>
  *  Joe Marcus Clarke <marcus@FreeBSD.org>
  *  Johannes Dieterich <dieterich@ogolem.org>
  *  Johannes M Dieterich <jmd@FreeBSD.org>
  *  Johannes Meixner <johannes@perceivon.net>
  *  John Marino <marino@FreeBSD.org>
  *  Joseph Koshy <jkoshy@FreeBSD.org>
  *  Ju Pengfei <ju.pengfei@gmail.com>
  *  Jukka A. Ukkonen <jau@iki.fi>
  *  Kay Lehmann <kay_lehmann@web.de>
  *  Kevin Lo <kevlo@FreeBSD.org>
  *  Klaus T. Aehlig <aehlig@linta.de>
  *  Kubilay Kocak <koobs@FreeBSD.org>
  *  Kurt Jaeger <fbsd-ports@opsec.eu>
  *  Lars Engels <lme@FreeBSD.org>
  *  Lars Koeller <Lars.Koeller@Uni-Bielefeld.DE>
  *  Lars Koeller <Lars.Koeller@Uni-Bielefeld.de>
  *  Li-Wen Hsu <lwhsu@FreeBSD.org>
  *  Li-Wen Hsu <lwhsu@lwhsu.org>
  *  M. L. Dodson, <bdodson@scms.utmb.edu>
  *  Maho Nakata <maho@FreeBSD.org>
  *  Mario S F Ferreira <lioux@FreeBSD.org>
  *  Mario S F Ferreira <lioux@linf.unb.br> et al.
  *  Mario Sergio Fujikawa Ferreira <lioux@FreeBSD.org>
  *  Mark Felder <feld@FreeBSD.org>
  *  Mark R V Murray <markm@FreeBSD.org>
  *  Martin Matuska <mm@FreeBSD.org>
  *  Matthew Seaman <matthew@FreeBSD.org>
  *  Maurice Castro <maurice@serc.rmit.edu.au>
  *  Maxim Sobolev <sobomax@FreeBSD.org>
  *  Maxime Henrion <mux@FreeBSD.org>
  *  Michael Haro <mharo@FreeBSD.org>
  *  Michael Johnson <ahze@FreeBSD.org>
  *  Michael Johnson <ahze@ahze.net>
  *  Michael Neumann <mneumann@ntecs.de>
  *  Muhammad Moinur Rahmanh <5u623l20@gmail.com>
  *  NAKATA Maho <chat95@mbox.kyoto-inet.or.jp>
  *  NAKATA, Maho <maho@FreeBSD.org>
  *  Nakata Maho <maho@FreeBSD.org>
  *  Nicola Vitale <nivit@email.it>
  *  Olivier Duchateau
  *  Pedro F. Giffuni
  *  Pedro F. Giffuni <giffunip@asme.org>
  *  Pedro Giffuni
  *  Pedro Giffuni <giffunip@asme.org>
  *  Pedro Giffuni <pfg@FreeBSD.org>
  *  Peter Pentchev <roam@FreeBSD.org>
  *  Philip Paeps <philip@FreeBSD.org>
  *  Pierre-Paul Lavoie <ppl@nbnet.nb.ca>
  *  Pietro Cerutti <gahr@FreeBSD.org>
  *  Piotr Rybicki <meritus@innervision.pl>
  *  Po-Chuan Hsieh <sunpoet@FreeBSD.org>
  *  Rainer Hurling <rhurlin@gwdg.de>
  *  Robert Jenssen
  *  Robin Schilham
  *  Rod Taylor <ports@rbt.ca>
  *  Roman Neuhauser <neuhauser@sigpipe.cz>
  *  Sander Vesik <sander@haldjas.folklore.ee>
  *  Scott Flatman <sf@dsinw.com>
  *  Seamus Venasse <svenasse@polaris.ca>
  *  Sergey A. Osokin <osa@FreeBSD.org>
  *  Sergey Akifyev <asa@agava.com>
  *  Sergey Akifyev <asa@gascom.ru>
  *  Sergey Skvortsov <skv@FreeBSD.org>
  *  Sergey Skvortsov <skv@protey.ru>
  *  Shell Hung <shell@shellhung.org>
  *  Shin-ya MURAKAMI <murashin@gfd-dennou.org>
  *  Stas Timokhin <devel@stasyan.com>
  *  Stefan A. Deutscher (sad@mailaps.org)
  *  Stefan Esser <se@StefanEsser.FreeBSD.org>
  *  Stephen Montgomery-Smith <stephen@FreeBSD.edu>
  *  Stephen Montgomery-Smith <stephen@FreeBSD.org>
  *  Stephen Montgomery-Smith <stephen@math.missouri.edu>
  *  Stephen Montgomery-Smith <stephen@missouri.edu>
  *  Steve Wills <steve@mouf.net>
  *  Steve Wills <swills@FreeBSD.org>
  *  Steven Kreuzer <skreuzer@FreeBSD.org>
  *  Steven Kreuzer <skreuzer@f2o.org>
  *  Sunpoet Po-Chuan Hsieh <sunpoet@FreeBSD.org>
  *  TAKATSU Tomonari <tota@FreeBSD.org>
  *  Thierry Thomas (<thierry@pompo.net>)
  *  Thierry Thomas <thierry@pompo.net>
  *  Thomas Gellekum <tg@FreeBSD.org>
  *  Thomas Sandford <freebsduser@paradisegreen.co.uk>
  *  Timothy Bourke <timbob@bigpond.com>
  *  Tony Maher
  *  Tz-Huan Huang <tzhuan@csie.org>
  *  Vsevolod Stakhov <vsevolod@FreeBSD.org>
  *  Vsevolod Stakhov <vsevolod@highsecure.ru>
  *  Waitman Gobble <waitman@waitman.net>
  *  Wen Heping <wen@FreeBSD.org>
  *  Wen Heping <wenheping@gmail.com>
  *  Will Andrews <andrews@technologist.com>
  *  Yi-Hsuan Hsin <mhsin@mhsin.org>
  *  Ying-Chieh Liao <ijliao@FreeBSD.org>
  *  Yinghong.Liu <relaxbsd@gmail.com>
  *  Yoshiaki UCHIKAWA <yoshiaki@kt.rim.or.jp>
  *  Yukihiro Nakai <Nakai@technologist.com>
  *  Yuri Victorovich <yuri@FreeBSD.org>
  *  Yuri Victorovich <yuri@rawbw.com>
  *  Yuri Victorovich <yuri@tsoft.com>
  *  Zhen REN <bg1tpt@gmail.com>
  *  amir.husaini@gmail.com
  *  arved
  *  asami
  *  b.f. <bf@FreeBSD.org>
  *  bart <lbartoletti@FreeBSD.org>
  *  bauerm
  *  bf <bf2006a@yahoo.com>
  *  bf <bf@FreeBSD.org>
  *  bf@FreeBSD.org
  *  bremner@unb.ca
  *  chinsan
  *  chuckr@FreeBSD.org
  *  dawe <daweonline@gmail.com>
  *  dbader@ece.unm.edu
  *  dd
  *  demon@FreeBSD.org
  *  dikshie
  *  eserte
  *  fenner
  *  gahr
  *  giffunip
  *  gmarco@giovannelli.it
  *  gurkan@phys.ethz.ch
  *  ijliao
  *  janek@gaja.ipan.lublin.pl
  *  jhs@berklix.com / asami (original)
  *  jmz
  *  js@jeannot.org
  *  keith@FreeBSD.org
  *  ljo
  *  mr
  *  nobu@rd.isac.co.jp
  *  pauls@utdallas.edu
  *  pusto@web.de
  *  reg@shale.csir.co.za
  *  rfarmer@predatorlabs.net
  *  stephen@FreeBSD.org
  *  thierry@pompo.net
  *  tobez
  *  will
  * # Created by Matthias Fechner <mfechner@FreeBSD.org>

With hat:	portmgr

math/ocaml-zarith: update the version 1.12, take maintainership.

Remove # $FreeBSD$ from Makefiles.

- Update to version 1.4.1 - Employ USES+=localbase:ldflags - Remove excessive whitespace

math/ocaml-zarith: Unbreak after ocaml-findlib change

Use the same technique madpilot used on x11-toolkits/ocaml-lablgtk2
to restore the build after the (unexpected) changed to the output
of ocamlfindlib during its update to 1.7.1

- Mark BROKEN:

ocamlfind: Bad configuration: Cannot mkdir /wrkdirs/usr/ports/math/ocaml-zarith/work/stage/usr/local/lib/ocaml/site-lib:/usr/local/lib/ocaml/zarith because a path component does not exist or is not a directory

- Fix license - Add LICENSE_FILE - Fix build on arm

Release some of my ports back to the heap

Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.

With hat:	portmgr
Sponsored by:	Absolight

math/ocaml-zarith: set BROKEN_armv6

- Switch to options helpers - While here, add some NO_ARCHes and couple missing PORT_OPTIONS=DOCS

Approved by:	portmgr blanket

Cleanup plist

Add new Ocaml port: math/ocaml-zarith

This is a new requirement for the latest veersion of alt-ergo.

     ================================================================

The Zarith library implements arithmetic and logical operations over
arbitrary precision numbers.  It uses GMP to efficiently implement
arithmetic over large numbers.  Small integers are represented as Caml
unboxed integers for speed and space economy.

WWW: http://forge.ocamlcore.org/projects/zarith