FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

I am looking for an LTO tape library. Do you have one to spare?
Commit found by message id
Wed, 2 Aug 2006
[ 14:00:20 itetcu ] Original commit 
ocaml lang files touched by this commit The Objective Caml compiler and programming environment
- 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

Number of ports [& non-ports] in this commit: 1

show all files

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

This site
What is FreshPorts?
About the authors
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
chromiumAug 26
fileAug 21
py-djangoAug 21
py-django-develAug 21
py-django14Aug 21
py-django15Aug 21
php53Aug 18
phpmyadminAug 17
chromiumAug 13
serfAug 11
subversionAug 11
subversion17Aug 11
nginxAug 09
nginx-develAug 09
mingw32-opensslAug 06

6 vulnerabilities affecting 9 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds


Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 24036
Broken 143
Deprecated 183
Ignore 414
Forbidden 17
Restricted 212
No CDROM 94
Vulnerable 23
Expired 100
Set to expire 172
Interactive 0
new 24 hours 6
new 48 hours8
new 7 days33
new fortnight90
new month260


Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2014 Dan Langille. All rights reserved.