mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-25 00:51:21 +00:00
Code Issues Releases Activity
ab4de0d3b8
freebsd-ports/lang/ocaml
History
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 lang/ocaml: Upgrade version 4.00.1 to 4.01.0 and stage 2014-04-26 17:20:32 +00:00
Makefile lang/ocaml: Remove DEF_OPT option (non-default option) 2014-06-10 23:40:37 +00:00
pkg-descr
pkg-plist lang/ocaml: Fix plist issues 2014-04-26 21:39:06 +00:00