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/coq | |
| 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/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/ |