diff options
| author | madpilot <madpilot@FreeBSD.org> | 2015-05-04 23:46:51 +0800 |
|---|---|---|
| committer | madpilot <madpilot@FreeBSD.org> | 2015-05-04 23:46:51 +0800 |
| commit | c04bac04b94d1b358c3cd74d226dfe4c7586dc12 (patch) | |
| tree | aa391452ea6a289ee70b33bcbec2503509a494d2 /math | |
| parent | 91bf08e228e22d630e384378dab60d5003d5ded8 (diff) | |
| download | freebsd-ports-gnome-c04bac04b94d1b358c3cd74d226dfe4c7586dc12.tar.gz freebsd-ports-gnome-c04bac04b94d1b358c3cd74d226dfe4c7586dc12.tar.zst freebsd-ports-gnome-c04bac04b94d1b358c3cd74d226dfe4c7586dc12.zip | |
- 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)
Diffstat (limited to 'math')
| -rw-r--r-- | math/alt-ergo/Makefile | 2 | ||||
| -rw-r--r-- | math/coq/Makefile | 2 | ||||
| -rw-r--r-- | math/ocaml-ocamlgraph/Makefile | 1 | ||||
| -rw-r--r-- | math/ocamlgsl/Makefile | 1 | ||||
| -rw-r--r-- | math/orpie/Makefile | 1 |
5 files changed, 5 insertions, 2 deletions
diff --git a/math/alt-ergo/Makefile b/math/alt-ergo/Makefile index 1c05080ec988..c63dbec97df6 100644 --- a/math/alt-ergo/Makefile +++ b/math/alt-ergo/Makefile @@ -3,7 +3,7 @@ PORTNAME= alt-ergo PORTVERSION= 0.95.2 -PORTREVISION= 1 +PORTREVISION= 2 CATEGORIES= math MASTER_SITES= http://alt-ergo.ocamlpro.com/http/alt-ergo-${PORTVERSION}/ diff --git a/math/coq/Makefile b/math/coq/Makefile index b995bb7b28cb..1135af1093a3 100644 --- a/math/coq/Makefile +++ b/math/coq/Makefile @@ -3,7 +3,7 @@ PORTNAME= coq PORTVERSION= 8.4.5 -PORTEPOCH= 1 +PORTEPOCH= 2 CATEGORIES= math MASTER_SITES= http://coq.inria.fr/distrib/V${COQVERSION}/files/ \ ftp://ftp.stack.nl/pub/users/johans/coq/ diff --git a/math/ocaml-ocamlgraph/Makefile b/math/ocaml-ocamlgraph/Makefile index 4463bb388bd9..1e9d28577daf 100644 --- a/math/ocaml-ocamlgraph/Makefile +++ b/math/ocaml-ocamlgraph/Makefile @@ -3,6 +3,7 @@ PORTNAME= ocamlgraph PORTVERSION= 1.8.6 +PORTREVISION= 1 CATEGORIES= math MASTER_SITES= http://ocamlgraph.lri.fr/download/ \ ftp://ftp.stack.nl/pub/users/johans/ocamlgraph/ diff --git a/math/ocamlgsl/Makefile b/math/ocamlgsl/Makefile index 16327a8f4684..6759b0f3293e 100644 --- a/math/ocamlgsl/Makefile +++ b/math/ocamlgsl/Makefile @@ -21,6 +21,7 @@ RUN_DEPENDS= ocamlfind:${PORTSDIR}/devel/ocaml-findlib USES= gmake USE_OCAML= YES USE_OCAML_FINDLIB= YES +USE_OCAML_CAMLP4= YES USE_OCAML_LDCONFIG= YES OCAML_PKGDIRS= gsl HAS_CONFIGURE= YES diff --git a/math/orpie/Makefile b/math/orpie/Makefile index 8a90b27f8342..b12c91f22374 100644 --- a/math/orpie/Makefile +++ b/math/orpie/Makefile @@ -16,6 +16,7 @@ LIB_DEPENDS= libgsl.so:${PORTSDIR}/math/gsl USES= gmake USE_OCAML= yes +USE_OCAML_CAMLP4=yes GNU_CONFIGURE= yes MAKE_JOBS_UNSAFE= yes |