| Port details |
- caml-light Strongly typed functional language belonging to the ML family
- 0.75_4 lang
 =2      0.75_4Version of this port present on the latest quarterly branch.  DEPRECATED: Not staged. See http://lists.freebsd.org/pipermail/freebsd-ports-announce/2014-May/000080.html
 This port expired on: 2014-08-31
- 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: unknown
- Last Update: 2014-09-07 15:04:06
- SVN Revision: 367550
- People watching this port, also watch:: python, ocaml
- Also Listed In: elisp
- License: not specified in port
- WWW:
- http://caml.inria.fr/
- Description:
- Caml is a strongly-typed functional programming language from the
ML family, close to Standard ML but slightly different.
WWW: http://caml.inria.fr/
The Caml Light system comprises the following parts:
- An interactive system, based on a read-eval-print loop.
- A batch compiler and linker, `camlc'. The compiler
produces standalone executable programs.
- A medium-sized standard library.
- A tool to build libraries of frequently-used program modules.
- A parser generator and a lexical analyzer generator, in the
style of lex and yacc.
- Various programming tools:
- A source-level debugger with replay capabilities (``time travel'').
- An hypertext browser for modules.
- A simple Emacs editing mode, plus the ability to run the
- toplevel or the debugger under Emacs.
- Search by types on modules.
- Several interface libraries:
- Portable graphic primitives (simple line and text drawings).
- Interface with the Unix system calls.
- Arbitrary-precision rational arithmetic (extremely efficient).
- High-level string operations (regular expressions, ...).
 cgit ¦ GitHub ¦ GitHub ¦ GitLab ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - There is no configure plist information for this port.
- Dependency lines:
-
- No installation instructions:
- This port has been deleted.
- PKGNAME: caml
- Flavors: there is no flavor information for this port.
- distinfo:
- There is no distinfo for this port.
No package information for this port in our database- Sometimes this happens. Not all ports have packages. Perhaps there is a build error. Check the fallout link:
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- x11.pc : x11/libX11
- Runtime dependencies:
-
- x11.pc : x11/libX11
- There are no ports dependent upon this port
Configuration Options:- No options to configure
- Options name:
- N/A
- 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.75_4
07 Sep 2014 15:04:06
   |
marino |
Remove unstaged lang/caml-light |
0.75_4
25 Aug 2014 10:20:51
|
bapt |
Reset maintainership on nonstaged ports
With hat: portmgr |
0.75_4
05 Jul 2014 19:27:04
|
olgeni |
Remove indefinite articles and trailing periods from COMMENT, plus minor
COMMENT typos and surrounding whitespace fixes. A few Makefiles where not
included as they contain Latin-1 characters that break the Phabricator
workflow. Categories J-L.
CR: D305
Approved by: portmgr (swills) |
0.75_4
20 Sep 2013 19:53:10
|
bapt |
Add NO_STAGE all over the place in preparation for the staging support (cat:
lang) |
0.75_4
29 Jan 2012 13:11:51
|
miwi |
- Fix Build
PR: 162577
Submitted by: maintainer |
0.75_3
10 Jun 2011 16:20:47
|
bapt |
Over to new volunteer
Submitted by: Michael Grunewald <michael.grunewald@laposte.net> (new
maintainer by mail) |
0.75_3
15 Mar 2011 12:56:45
|
bapt |
update MASTER_SITE and WWW
while here remove MD5 |
0.75_3
19 Apr 2008 17:56:05
 |
miwi |
- Remove unneeded dependency from gtk12/gtk20 [1]
- Remove USE_XLIB/USE_X_PREFIX/USE_XPM in favor of USE_XORG
- Remove X11BASE support in favor of LOCALBASE or PREFIX
- Use USE_LDCONFIG instead of INSTALLS_SHLIB
- Remove unneeded USE_GCC 3.4+
Thanks to all Helpers:
Dmitry Marakasov, Chess Griffin, beech@, dinoex, rafan, gahr,
ehaupt, nox, itetcu, flz, pav
PR: 116263
Tested on: pointyhat
Approved by: portmgr (pav) |
0.75_3
10 Apr 2008 09:05:35
|
jkoshy |
Reset maintainership. |
0.75_3
23 Mar 2008 23:03:18
|
miwi |
- Remove USE_XLIB/USE_X_PREFIX/USE_XPM in favor of USE_XORG
- Bump PORTREVISION
Approved by: portmgr (xorg cleanup) |
0.75_2
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.75_1
06 Aug 2006 10:53:54
|
jkoshy |
- Honor CC, CFLAGS etc. [1]
- Use BSD_INSTALL_* macros to install files. [1]
- Make the port PREFIX clean.
PR: ports/101398 [1]
Submitted by: Stanislav Sedov <ssedov@mbsd.msk.ru> |
0.75
13 Dec 2005 16:23:44
|
jkoshy |
Add SA256 checksums. |
0.75
06 Mar 2004 14:54:05
|
jkoshy |
Upgrade to v0.75. Unbreak for non-i386 architectures. |
0.74
25 Feb 2004 10:13:04
|
kris |
BROKEN on !i386: Does not compile |
0.74
02 Aug 2003 15:33:39
|
jkoshy |
Unbreak for 5.x. |
0.74
04 Jun 2003 22:43:38
|
kris |
Move inclusion of bsd.port.pre.mk later in the file for conditional BROKEN
tag. Early inclusion caused problems for some ports, so to be safe I'm
updating all of them.
Pointy hat to: kris |
0.74
18 May 2003 12:20:31
|
kris |
BROKEN on 5.1: does not build |
0.74
07 Mar 2003 06:05:38
|
ade |
Clear moonlight beckons.
Requiem mors pacem pkg-comment,
And be calm ports tree.
E Nomini Patri, E Fili, E Spiritu Sancti. |
08 Oct 2000 04:17:26
    |
asami |
Convert category lang to new layout. |
As an Amazon Associate I earn from qualifying purchases.