diff options
| author | Guido Falsi <madpilot@FreeBSD.org> | 2015-05-04 15:46:51 +0000 |
|---|---|---|
| committer | Guido Falsi <madpilot@FreeBSD.org> | 2015-05-04 15:46:51 +0000 |
| commit | 2c44e6acd06e2874b82746cb9dcdc785097b4203 (patch) | |
| tree | aa391452ea6a289ee70b33bcbec2503509a494d2 /math/coq | |
| parent | Objective Caml interface to Tk (diff) | |
- 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)
Notes
Notes:
svn path=/head/; revision=385413
Diffstat (limited to 'math/coq')
| -rw-r--r-- | math/coq/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
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/ |