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

2 files changed, 0 insertions, 40 deletions

diff --git a/math/coq/files/patch-Makefile.build b/math/coq/files/patch-Makefile.build
deleted file mode 100644
index 15fa789877ed..000000000000
--- a/math/coq/files/patch-Makefile.build
+++ /dev/null
@@ -1,29 +0,0 @@
---- Makefile.build.orig	2016-12-08 15:13:52 UTC
-+++ Makefile.build
-@@ -101,7 +101,7 @@ TIMER=$(if $(TIMED), $(STDTIME), $(TIMECMD))
- #   TIME="%C (%U user, %S sys, %e total, %M maxres)"
- 
- COQOPTS=$(COQ_XML) $(NATIVECOMPUTE)
--BOOTCOQC=$(TIMER) $(COQTOPEXE) -boot $(COQOPTS) -compile
-+BOOTCOQC=$(TIMER) env CAML_LD_LIBRARY_PATH=$${PWD}/kernel/byterun $(COQTOPEXE) -boot $(COQOPTS) -compile
- 
- LOCALINCLUDES=$(addprefix -I , $(SRCDIRS) )
- MLINCLUDES=$(LOCALINCLUDES) -I $(MYCAMLP4LIB)
-@@ -334,7 +334,7 @@ coqbinaries: $(COQMKTOP) $(COQTOPEXE) $(COQTOPBYTE) \
- ifeq ($(BEST),opt)
- $(COQTOPEXE): $(COQMKTOP) $(LINKCMX) $(LIBCOQRUN) $(TOPLOOPCMA:.cma=.cmxs)
- 	$(SHOW)'COQMKTOP -o $@'	
--	$(HIDE)$(COQMKTOP) -boot -opt $(OPTFLAGS) $(LINKMETADATA) -o $@
-+	$(HIDE)$(COQMKTOP) -boot -opt $(filter-out -unsafe-string, $(OPTFLAGS)) $(LINKMETADATA) -o $@
- 	$(STRIP) $@
- 	$(CODESIGN) $@
- else
-@@ -344,7 +344,7 @@ endif
- 
- $(COQTOPBYTE): $(COQMKTOP) $(LINKCMO) $(LIBCOQRUN) $(TOPLOOPCMA)
- 	$(SHOW)'COQMKTOP -o $@'	
--	$(HIDE)$(COQMKTOP) -boot -top $(BYTEFLAGS) -o $@
-+	$(HIDE)$(COQMKTOP) -boot -top $(filter-out -unsafe-string, $(BYTEFLAGS)) -o $@
- 
- # coqmktop
- 
diff --git a/math/coq/files/patch-Makefile.install b/math/coq/files/patch-Makefile.install
deleted file mode 100644
index 6597b7133aa0..000000000000
--- a/math/coq/files/patch-Makefile.install
+++ /dev/null
@@ -1,11 +0,0 @@
---- Makefile.install.orig	2016-12-08 15:13:52 UTC
-+++ Makefile.install
-@@ -29,7 +29,7 @@ install-doc-no:
- .PHONY: install install-doc-all install-doc-no
- 
- #These variables are intended to be set by the caller to make
--#COQINSTALLPREFIX=
-+COQINSTALLPREFIX=${DESTDIR}
- #OLDROOT=
- 
-   # Can be changed for a local installation (to make packages).