1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-23 04:23:08 +00:00
freebsd-ports/lang/ocaml
John Marino e3a3698100 lang/ocaml: Remove DEF_OPT option (non-default option)
The option reacts poorly with ocamlp4, and phasing out DEF_OPT
completely will prevent a lot of breakage with ports that also
interact with ocamlp4.

PR:		189176
Submitted by:	Anil Madhavapeddy
Prepared by:	maintainer (Michael Gruenewald)
2014-06-10 23:40:37 +00:00
..
files lang/ocaml: Remove DEF_OPT option (non-default option) 2014-06-10 23:40:37 +00:00
distinfo
Makefile lang/ocaml: Remove DEF_OPT option (non-default option) 2014-06-10 23:40:37 +00:00
pkg-descr
pkg-plist