freebsd-ports/lang/ocaml
Ion-Mihai Tetcu 92f54efd68 - Add support for threaded Tk by passing PTHREAD_LIBS to configure in -tklibs
swith. This allows build with threaded Tk (otherwise configure fails to use
  Tk). Also depend on threaded Tk by default in case of THREADS support - with
  non-pthread tk library it will not be stable enough
- Add OPTIONS
- Enable builds of non-threaded targets
- Depend on X in case if X is installed, since configure does this by default.
- Rename patchfiles to make portlint happy
- Eliminate the number of reinplace patterns (remove duplicates, optimize)
- Move manpage list in the separate files
- Pass pthread flags to compiler (PTHREAD_CFLAGS/LIBS safety)
- Remove some ugly hacks on setting permissions etc (eliminated by setting
  correct permission in COPY_TREE macros)
- Eliminate duplicate entries in PLIST in case of unstalling optimized binaries,
  also optimize this part
- Remove unused PLIST_SUB variable
- Miscelanios cleanups in Makefile
- Pass maintainership to submitter

The following files was added:
- files/man1
- files/manlinks
- files/mann
- files/patch-camlp4-man_Makefile
- files/patch-camlp4_lib_Makefile
- files/patch-ocamldoc_Makefile
- files/patch-stdlib_Makefile

I removed the following files:
- files/patch-camlp4-man::Makefile
- files/patch-camlp4::lib::Makefile
- files/patch-ocamldoc::Makefile
- files/patch-stdlib::Makefile

Also add bsd.ocaml.mk until it will be included in Mk/

PR:		ports/101122
Submitted by:	Stanislav Sedov
2006-08-02 14:00:20 +00:00
..
files - Add support for threaded Tk by passing PTHREAD_LIBS to configure in -tklibs 2006-08-02 14:00:20 +00:00
bsd.ocaml.mk - Add support for threaded Tk by passing PTHREAD_LIBS to configure in -tklibs 2006-08-02 14:00:20 +00:00
distinfo - Update to 3.09.2 2006-06-14 21:46:40 +00:00
Makefile - Add support for threaded Tk by passing PTHREAD_LIBS to configure in -tklibs 2006-08-02 14:00:20 +00:00
pkg-descr
pkg-plist - Add support for threaded Tk by passing PTHREAD_LIBS to configure in -tklibs 2006-08-02 14:00:20 +00:00