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?
non port: head/devel/ocaml-opam/distinfo
SVNWeb

Number of commits found: 3

Thu, 27 Mar 2014
[ 19:19 marino ] Original commit 
349354 devel/ocaml-opam/Makefile
349354 devel/ocaml-opam/distinfo
349354 devel/ocaml-opam/files
349354 devel/ocaml-opam/files/patch-Makefile
349354 devel/ocaml-opam/pkg-plist
devel/ocaml-opam: Update 1.1.0 -> 1.1.1 and unbreak

Updating to the latest point version did not fix the problems.  The
first is that now the built tool ocp-build requires TERM to be set in
the environment, otherwise it returns non-zero result with an error
message (hidden by /dev/null in first instance) and breaks the build.

Later the build failed the FS because it was saving preferences at $HOME.
Adding -no-user-prefs switch to the command seems to suppress that.

Finally, the GNU makefile is not jobs safe, so indicate that.  The GNU
makefile does not participate much in the overall build.
Mon, 20 Jan 2014
[ 14:48 marino ] Original commit 
340403 devel/ocaml-opam/Makefile
340403 devel/ocaml-opam/distinfo
340403 devel/ocaml-opam/pkg-plist
devel/ocaml-opam: Update to versions from 1.0 to 1.1

This also has benefit of fixing the problem where a .conf file was
created in ${HOME} which is illegal and the reason ocaml-opam never
made it into dports.  The original complaint of the PR could not be
reproduced, however.

PR:		ports/180753
Fixed by:	maintainer (Joris G.)
Mon, 1 Jul 2013
[ 20:07 wg ] Original commit 
322144 devel/Makefile
322144 devel/ocaml-opam
322144 devel/ocaml-opam/Makefile
322144 devel/ocaml-opam/distinfo
322144 devel/ocaml-opam/pkg-descr
devel/ocaml-opam: Source-based package manager for OCaml

OPAM is a source-based package manager for OCaml. It supports multiple
simultaneous compiler installations, flexible package constraints, and
a Git-friendly development workflow.

WWW: http://opam.ocamlpro.com/index.html

PR:		ports/179462
Submitted by:	Joris Giovannangeli <joris.gio@gmail.com>

Number of commits found: 3

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
dbusSep 17
nginxSep 16
nginx-develSep 16
phpmyadminSep 13
ossec-hids-clientSep 11
ossec-hids-localSep 11
ossec-hids-serverSep 11
chromiumSep 09
trafficserverSep 05
apache22*Sep 03
apache22-event-mpm*Sep 03
apache22-itk-mpm*Sep 03
apache22-peruser-mpm*Sep 03
apache22-worker-mpm*Sep 03
chromiumAug 26

7 vulnerabilities affecting 15 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 24094
Broken 121
Deprecated 90
Ignore 385
Forbidden 17
Restricted 203
No CDROM 94
Vulnerable 22
Expired 2
Set to expire 85
Interactive 0
new 24 hours 3
new 48 hours7
new 7 days37
new fortnight139
new month242

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