Port details |
- ocaml-sem POSIX semaphores for OCaml
- 0.0.2_6 devel =2 0.0.2_6Version of this port present on the latest quarterly branch.
- There is no maintainer for this port.
- Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org
- Port Added: 2005-04-23 12:36:03
- Last Update: 2024-05-22 17:16:28
- Commit Hash: bb2bea6
- People watching this port, also watch:: jdictionary, py311-Automat, py311-python-gdsii, py39-PyOpenGL, p5-Sane
- License: BSD3CLAUSE
- WWW:
- https://ocaml-sem.sourceforge.net/
- Description:
- POSIX semaphores for OCaml. The library mimics things found under "man sem"
and "man sem_open".
- ¦ ¦ ¦ ¦
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- ocaml-sem>0:devel/ocaml-sem
- To install the port:
- cd /usr/ports/devel/ocaml-sem/ && make install clean
- To add the package, run one of these commands:
- pkg install devel/ocaml-sem
- pkg install ocaml-sem
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: ocaml-sem
- Flavors: there is no flavor information for this port.
- distinfo:
- SHA256 (sem-0.0.2.tar.bz2) = a8eb75c8f13d43b67e50c7760c1f7c483020b8ed76dc13b8c083e7b9a9f94103
SIZE (sem-0.0.2.tar.bz2) = 13372
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- ocamlc : lang/ocaml
- ocamlfind : devel/ocaml-findlib
- gmake>=4.4.1 : devel/gmake
- Runtime dependencies:
-
- ocamlc : lang/ocaml
- ocamlfind : devel/ocaml-findlib
- Patch dependencies:
-
- ocamlc : lang/ocaml
-
- There are no ports dependent upon this port
Configuration Options:
- ===> The following configuration options are available for ocaml-sem-0.0.2_6:
DOCS=on: Build and/or install documentation
===> Use 'make config' to modify these settings
- Options name:
- devel_ocaml-sem
- USES:
- gmake tar:bzip2
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
Commit | Credits | Log message |
0.0.2_6 22 May 2024 17:16:28 |
Guido Falsi (madpilot) Author: Benjamin Jacobs |
ocaml: Updates to ocaml compiler and several ocaml ports
- Update devel/ocaml to 4.14.2 [1]
- Specify runtime dependency on GNU AS as full path, this fixes
build on armv6 - armv7 [1] [2]
- converters/ocaml-base64: Update to 3.5.1, add LICENSE, other
improvements
- converters/ocaml-jsonm: Strip shared objects [3]
- databases/ocaml-dbm: Update to 1.3, move to gitlub, other
improvements
- devel/menhir: Update to 20231231
- devel/ocaml-base: Unbreak non-x86 [2]
- devel/ocaml-camlp-streams: Silence patch and strip commands
- devel/ocaml-ipaddr: Update to 5.5.0
- devel/ocaml-lwt: Update to 5.7.0 [4] (Only the first 15 lines of the commit message are shown above ) |
0.0.2_5 11 Mar 2024 21:50:58 |
Guido Falsi (madpilot) Author: Benjamin Jacobs |
lang/ocaml: Update to 4.14.1
The 'force-safe-string; setting is NOT enabled, as opposed to the
new upstream default. OCaml users are encouraged to migrate to safe
strings as soon as possible.
- The X11 library isn't part of lang/ocaml anymore, users should
install x11-toolkits/ocaml-graphics.
- Add new 'ocaml' USES
- Bump PORTREVISION on dependent ports, due to ABI Change.
The update includes the following updates to existing ports (needed
to keep them working):
- devel/ocaml-camlp4: Updated to 4.14+1 (Only the first 15 lines of the commit message are shown above ) |
0.0.2_4 01 Nov 2023 22:11:47 |
Rodrigo Osorio (rodrigo) |
*/*: Update WWW to use HTTPS for sourceforge.net projects
Homepage link is permanent redirected to its HTTPS counterpart |
0.0.2_4 05 Jul 2023 09:55:16 |
Guido Falsi (madpilot) |
lang/ocaml: Update to 4.08.1
This update allows (and for some requires) to also update dependencies
to newer versions. Where possible I updated to the latest version.
The ocaml port now is MAKE_JOBS safe.
Changes to dependent ports included in this commit:
- devel/ocaml-sexplib: Rename to devel/ocaml-sexplib0 adapting to
upstream. Update to 0.16.0
- devel/coccinelle: Update to 1.1.1, moved to github
- devel/ocaml-camlp4: Update to 4.08+1
- devel/ocaml-camomile: Use dune for build, adapt port
- devel/ocaml-cppo: Fix lib files installation [1] (Only the first 15 lines of the commit message are shown above ) |
07 Sep 2022 21:58:51 |
Stefan Eßer (se) |
Remove WWW entries moved into port Makefiles
Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.
This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.
Approved by: portmgr (tcberner) |
0.0.2_3 07 Sep 2022 21:10:59 |
Stefan Eßer (se) |
Add WWW entries to port Makefiles
It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.
Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.
There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above ) |
0.0.2_3 20 Jul 2022 14:21:35 |
Tobias C. Berner (tcberner) |
devel: remove 'Created by' lines
A big Thank You to the original contributors of these ports:
* "Waitman Gobble" <uzimac@da3m0n8t3r.com>
* <jkoshy@FreeBSD.org>
* Aaron Dalton <aaron@FreeBSD.org>
* Aaron Dalton <aaron@daltons.ca>
* Aaron H. K. Diep <ahkdiep@gmail.com>
* Aaron Hurt <ahurt@anbcs.com>
* Abel Chow <abel_chow@yahoo.com>
* Adam McLaurin
* Adam Saponara <as@php.net>
* Adam Weinberger <adamw@FreeBSD.org>
* Ade Lovett <ade@FreeBSD.org> (Only the first 15 lines of the commit message are shown above ) |
0.0.2_3 06 Apr 2021 14:31:07 |
Mathieu Arnold (mat) |
Remove # $FreeBSD$ from Makefiles. |
0.0.2_3 02 Jun 2016 09:03:49 |
amdmi3 |
- Add LICENSE
- Switch to options helpers
- Add WWW: |
0.0.2_3 31 Jul 2015 12:28:39 |
amdmi3 |
- Add missing file to plist
MFH: 2015Q3 (blanket) |
0.0.2_2 27 Oct 2014 10:40:08 |
bapt |
Cleanup plist |
0.0.2_2 11 Jul 2014 14:21:59 |
vanilla |
add OPTIONS_DEFINE, remove pkg-install. |
0.0.2_2 11 Jul 2014 13:24:17 |
vanilla |
Stagify. |
0.0.2_2 04 Jul 2014 12:06:07 |
bapt |
Resetting maintainership on ports that have not been staged and without any
pending PR (related to stage)
With hat: portmgr |
0.0.2_2 01 Jun 2014 10:28:07 |
marino |
devel/ocaml-sem: fix tar:bizp2 type
Approved by: portmgr (implicit) |
0.0.2_2 29 May 2014 15:09:43 |
miwi |
- Convert gmake, bzip2 to USES
Approved by: portmgr |
0.0.2_2 20 Sep 2013 17:13:47 |
bapt |
Add NO_STAGE all over the place in preparation for the staging support (cat:
devel part 3) |
0.0.2_2 22 Oct 2011 23:50:23 |
eadler |
- remove maintainer tags from pkg-descr
Approved by: portmgr
Approved by: bapt (mentor) |
0.0.2_2 03 Jul 2011 14:59:23 |
ohauer |
-remove MD5 |
0.0.2_2 05 Apr 2011 22:23:33 |
stas |
- Bump portrevisions on all ocaml libraries, as it appears that compiled
interface files (.cmi) are not backward compatible with a newer ocaml
version.
PR: ports/156195
Suggested by: mandree |
0.0.2_1 20 Nov 2009 22:53:09 |
pav |
- Mark MAKE_JOBS_UNSAFE
Reported by: pointyhat |
0.0.2_1 22 Aug 2009 00:18:43 |
amdmi3 |
- Switch SourceForge ports to the new File Release System: categories starting
with D |
0.0.2_1 07 Apr 2009 21:46:08 |
itetcu |
Fix plist with -DNOPORT*.
Prompted by: QAT QA run
Approved by: maintainer timeout on QATMail |
0.0.2_1 19 May 2007 20:32:57 |
flz |
- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}. |
0.0.2 22 Jan 2006 08:30:12 |
edwin |
SHA256ify
Approved by: krion@ |
0.0.2 28 Nov 2005 06:49:40 |
fenner |
Remove FreeBSD distfiles mirrors, since they're in ${MASTER_SITE_BACKUP},
and add the sourceforge download mirrors.
Approved by: Paul Argentoff (MAINTAINER) |
0.0.2 27 May 2005 17:59:31 |
pav |
- Fix mode of ld.conf file to match new ocaml's world order
Reported by: krismail |
0.0.2 04 May 2005 16:49:25 |
pav |
- Update to 0.0.2
Submitted by: Paul Argentoff <argentoff@gmail.com> (maintainer) |
0.0.1 23 Apr 2005 12:35:36 |
pav |
OCaml library implementing an interface to FreeBSD's POSIX semaphores.
PR: ports/80108
Submitted by: Paul Argentoff <argentoff@gmail.com> |