6 Commits

Author	SHA1	Message	Date
daniel	10baa618a2	update to lablgtk-3.1.1 to fix the build and unlock coq	2021-02-11 04:17:32 +00:00
chrisz	fced6274ca	update x11/lablgtk3 to 3.1.0 ... ok krw@	2020-05-22 19:56:40 +00:00
chrisz	2dd0fda6b6	Update OCaml to 4.09 ... reviewed ports wise and help with @pkgpath, ok by sthen@ reviewed and help with bytecode-only plists, minor nits and ok by jca@ tested on sparc 64 by @jca tested on aarch64 by Kurt Miller tested on amd64 by me Thanks for reviews and testing!	2019-09-26 09:46:09 +00:00
chrisz	9ca08e2b6a	add RUN_DEPENDS for graphics/ocaml-cairo, move C libraries to LIB_DEPENDS. ... This should fix failing math/coq.	2019-09-08 07:21:21 +00:00
chrisz	86ca65f57a	hardcode OCaml library path into dune binary. ... This makes findlib superfluous when using dune. "get it in" naddy@	2019-08-17 13:29:42 +00:00
chrisz	4b7fade954	import x11/lablgtk3 ... improvements by @sthen, ok by @krw	2019-08-04 19:13:19 +00:00