Commit graph

8 commits

Author SHA1 Message Date
Ion-Mihai Tetcu
6309d0dc06 Don't depend on X11 when WITHOUT_X11 was defined, even if X11 exists on
target machine.

PR:		ports/102261
Submitted by:	Stanislav Sedov (maintainer)
Requested by:	John E Hein <jhein@timing.com>
2006-08-19 09:38:45 +00:00
Andrew Pantyukhin
c143dec854 - Update to 3.09.2
- Add MASTER_SITE_GENTOO
- Unqoute a BROKEN

PR:		ports/97555
Submitted by:	sat
Tested by:	Joseph Koshy <jkoshy@freebsd.org>, Denis Shaposhnikov <dsh@vlink.ru>,
		Holger Lamm <holger@e-gitt.net>, Hubert Tournier <hubert.tournier@online.fr>,
		Dan Pelleg <daniel+unison@pelleg.org> (many thanks are due)
2006-06-14 21:46:40 +00:00
Renato Botelho
5807826ac5 - Update to 3.09.0
PR:		ports/89780
Submitted by:	maintainer
2005-12-01 15:46:34 +00:00
Mikhail Teterin
3df8eb7768 OCaml folks use $(ARCH) in Makefiles to mean, what configure identified
as the architecture (and wrote out ${WRKSRC}/config/Makefile).
Our make, however, ignores assigments to this variable. Fortunately for
most concerned, make's ARCH is the same as configure's. Except on
sparc64.
This update fixes this problem as well as
	. adds a hunk to patch-configure to enable profiling on all
	  platforms;
	. modifies REPLINPLACE_ARGS to not even create .bak files instead
	  of removing them later.

at the moment, the build still dies on Panther due to a segfault in the
freshly built ocamlc.opt. It may be due to Panther's running 6-current,
however and there is no other sparc64 to check...

Notified by:	kris	(the sparc vs. sparc64 issue)
2005-07-03 06:02:21 +00:00
Volker Stolz
526d3996ba Update to 3.08.0
PR:		ports/69254
Submitted by:	Eugene Ossintsev (maintainer)
2004-07-19 21:13:24 +00:00
Tilman Keskinoz
7c99d4cdef Fix build on IA64, while I am here. 2004-02-02 12:53:27 +00:00
Tilman Keskinoz
d596711e41 Fix build on AMD64
Submitted by:	stephane via maintainer
2004-02-02 12:02:04 +00:00
Sergei Kolobov
359a13588b - Added a patch to the original OCaml's configure script
to fix building the port when using WITHOUT_X11 knob.
- Fixed Makefiles to avoid gmake-isms.
- Fix pkg-plist

PR:		60219
Submitted by:	maintainer
Noticed by:	Dmitry Morozovsky <marck@rinet.ru>,
		Marwan Burelle <Marwan.Burelle@ens.fr>
2003-12-14 15:53:51 +00:00