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

10 files changed, 10 insertions, 6 deletions

diff --git a/math/alt-ergo/Makefile b/math/alt-ergo/Makefile
index 0eb4c007e0cc..7fc95e14929f 100644
--- a/math/alt-ergo/Makefile
+++ b/math/alt-ergo/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	alt-ergo
 PORTVERSION=	0.95.2
-PORTREVISION=	3
+PORTREVISION=	4
 CATEGORIES=	math
 MASTER_SITES=	http://alt-ergo.ocamlpro.com/http/alt-ergo-${PORTVERSION}/
 
diff --git a/math/coq/Makefile b/math/coq/Makefile
index 1a9360d81df7..90145272748b 100644
--- a/math/coq/Makefile
+++ b/math/coq/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	coq
 PORTVERSION=	8.6
-PORTREVISION=	17
+PORTREVISION=	18
 PORTEPOCH=	3
 CATEGORIES=	math
 MASTER_SITES=	http://coq.inria.fr/distrib/V${PORTVERSION}/files/ \
diff --git a/math/facile/Makefile b/math/facile/Makefile
index dd1e78c35299..e3bbb53da74e 100644
--- a/math/facile/Makefile
+++ b/math/facile/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	facile
 PORTVERSION=	1.1.3
-PORTREVISION=	1
+PORTREVISION=	2
 CATEGORIES=	math
 MASTER_SITES=	http://opti.recherche.enac.fr/facile/distrib/
 
diff --git a/math/ocaml-num/Makefile b/math/ocaml-num/Makefile
index 9587ea7e0c7c..1a628eb6f4c7 100644
--- a/math/ocaml-num/Makefile
+++ b/math/ocaml-num/Makefile
@@ -1,6 +1,7 @@
 PORTNAME=	num
 PORTVERSION=	1.4
 DISTVERSIONPREFIX=	v
+PORTREVISION=	1
 CATEGORIES=	math
 PKGNAMEPREFIX=	ocaml-
 
diff --git a/math/ocaml-ocamlgraph/Makefile b/math/ocaml-ocamlgraph/Makefile
index 5426cb9812f8..b305379a0e2a 100644
--- a/math/ocaml-ocamlgraph/Makefile
+++ b/math/ocaml-ocamlgraph/Makefile
@@ -1,5 +1,6 @@
 PORTNAME=	ocamlgraph
 PORTVERSION=	1.8.8
+PORTREVISION=	1
 CATEGORIES=	math
 MASTER_SITES=	http://ocamlgraph.lri.fr/download/ \
 		ftp://ftp.stack.nl/pub/users/johans/ocamlgraph/
diff --git a/math/ocaml-zarith/Makefile b/math/ocaml-zarith/Makefile
index c5620a507973..ab95d248427a 100644
--- a/math/ocaml-zarith/Makefile
+++ b/math/ocaml-zarith/Makefile
@@ -1,6 +1,7 @@
 PORTNAME=	${GH_PROJECT:tl}
 PORTVERSION=	1.12
 DISTVERSIONPREFIX=	release-
+PORTREVISION=	1
 CATEGORIES=	math
 PKGNAMEPREFIX=	ocaml-
 
diff --git a/math/ocamlgsl/Makefile b/math/ocamlgsl/Makefile
index 72e81eb64def..48dbfef36d1f 100644
--- a/math/ocamlgsl/Makefile
+++ b/math/ocamlgsl/Makefile
@@ -1,7 +1,7 @@
 PORTNAME=	ocaml-gsl
 DISTVERSIONPREFIX=v
 DISTVERSION=	1.19.1
-PORTREVISION=	6
+PORTREVISION=	7
 CATEGORIES=	math
 
 MAINTAINER=	michipili@gmail.com
diff --git a/math/orpie/Makefile b/math/orpie/Makefile
index 16f3bf3bb169..9c10c84dca83 100644
--- a/math/orpie/Makefile
+++ b/math/orpie/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	orpie
 PORTVERSION=	1.5.2
-PORTREVISION=	7
+PORTREVISION=	8
 CATEGORIES+=	math
 MASTER_SITES=	https://github.com/pelzlpj/orpie/releases/download/release-${PORTVERSION}/
 
diff --git a/math/scilab/Makefile b/math/scilab/Makefile
index 0168f1710ff6..f41c7c33ab4b 100644
--- a/math/scilab/Makefile
+++ b/math/scilab/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	scilab
 PORTVERSION=	6.1.1
-PORTREVISION=	9
+PORTREVISION=	10
 CATEGORIES=	math cad java
 MASTER_SITES=	https://cgit.scilab.org/scilab/snapshot/
 
diff --git a/math/teyjus/Makefile b/math/teyjus/Makefile
index d00dc5e3f374..cca9570b6563 100644
--- a/math/teyjus/Makefile
+++ b/math/teyjus/Makefile
@@ -2,6 +2,7 @@ PORTNAME=	teyjus
 DISTVERSIONPREFIX=	v
 DISTVERSION=	2.1-7
 DISTVERSIONSUFFIX=	-ge63f40a
+PORTREVISION=	1
 CATEGORIES=	math lang
 
 MAINTAINER=	yuri@FreeBSD.org