| Commit message (Collapse) | Author | Age | Files | Lines |
|---|
| | |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
- Instead of USE_OCAML=yes use USES=ocaml. If empty USES=ocaml implies
build and run
- Instead of USE_OCAMLFIND_PLIST use USES=ocaml:findplist which also
implies USES=ocaml:findlib
- Instead of USE_OCAML_CAMLP4 use USES=ocaml:camlp4
- Instead of USE_OCAML_FINDLIB use USES=ocaml:findlib
- Instead of USE_OCAML_LDCONFIG use USES=ocaml:ldconfig
- Instead of USE_OCAML_WASH use USES=ocaml:wash
- Instead of NO_OCAML_BUILDDEPENDS use USES=ocaml:run
- Instead of NO_OCAML_RUNDDEPENDS use USES=ocaml:build
- Instead of USE_OCAML_TK use USES=ocaml:tk which actually implies
USES=ocaml:tkbuild and USES=ocaml:tkrun
- Instead of NO_OCAMLTK_BUILDDEPENDS use USES=ocaml:tkrun
- Instead of NO_OCAMLTK_RUNDEPENDS use USES=ocaml:tkbuild
- USES=ocaml:dune remains unchanged
- Prepare to add/remove keywords easily
Approved by: mat (portmgr)
Reviewed by: freebsd@dev.thsi.be
Differential Revision: https://reviews.freebsd.org/D48227
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
- 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]
- devel/ocaml-result: Set package version, strip shared objects [5]
- devel/ocaml-sexplib: Resurrect and update to 0.16.0.
- devel/ocaml-stdio: Update to 0.17.0
- security/ocaml-cryptokit: Update to 1.19, add LICENSE, other
improvements
- security/ocaml-ssl: Update to 0.7.0, install stublibs in package
directory [6]
- x11-toolkits/ocaml-graphics: Reorder Makefile, silence patch
command
- Bump PORTREVISION on ports requiring it after update.
Adding ports:
- devel/ocaml-cstruct
- devel/ocaml-compiler-libs [7]
- devel/ocaml-ppx_derivers [7]
- devel/ocaml-ppxlib [7]
- devel/ocaml-domain-name
- devel/ocaml-ocplib-endian [8]
- devel/ocaml-parsexp
- devel/ocaml-ppx_sexp_conv
- security/ocaml-lwt_ssl [9]
Resetting maintainership from michipili@gmail.com due to multiple
timeouts and long term unresponsiveness.
Assigning maintainership of lang/ocaml to author of this patch.
Many thanks to him for his work!
PR: 278300 [1], 278791 [2], 277818 [3], 277781 [4],
277775 [6], 277779 [7], 277780 [8], 277782 [9]
Approved by: michipili@gmail.com (maintainer timeout) [1],
danfe@FreeBSD.org (maintainer timeout) [3] [4] [6],
fixit, avoid breakage [5]
Differential Revision: https://reviews.freebsd.org/D45254
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
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
- devel/ocaml-camlp5: Updated to 8.02.01, homepage updated
- devel/ocaml-dune: Patch to allow overriding the stublibs directory,
strip binary and shared libraries
- devel/ocaml-findlib: Improve port
- devel/ocaml-lwt: Fix build with OCaml 4.14
- deve/ocaml-re: Update to 1.11.0, use new dune USES
- devel/ocaml-sdl: Fix build with new ocaml
- games/freetennis: Fix build, tidy Makefile
- graphics/ocaml-images: Updated to 5.0.4, new homepage, use new
dune USES, undeprecate
- graphics/ocaml-lablgl: Moved into site-lib, dynamic objects
stripped, add missing GL dependencies
- math/coq: Updated to 8.19.0
- math/ocaml-zarith: strip shared libraries, fixed usage of
USE_OCAML_LDCONFIG, use new dune USES
- math/teyjus: Fix build
- net/unison240: Fix build with new compiler
- net/unison248: Fix build with new compiler, add MAKE_JOBS_UNSAFE
- net-p2p/mldonkey: Fix build with new compiler, fix build on i386
- sysutils/ledit: Updated to 2.06, install native binary, Use github,
fix man page installation
- www/geneweb: Build fix for OCaml and Camlp5 updates
- x11-toolkits/ocaml-lablgtk2: Fix build with new compiler
- x11-toolkits/ocaml-lablgtk3: Updated to 3.1.4, added ocaml-camlp-stream
dependency, build fix patch
- x11-toolkits/ocaml-labltk: Updated to 8.06.12, Improve Makefile
Added the following ports:
- devel/ocaml-astring
- devel/ocaml-base
- devel/ocaml-bos
- devel/ocaml-camlp-streams
- devel/ocaml-csexp
- devel/ocaml-fmt
- devel/ocaml-fpath
- devel/ocaml-logs
- devel/ocaml-mtime
- devel/ocaml-pcre2
- devel/ocaml-rresult
- devel/ocaml-seq
- devel/ocaml-stdio
- x11-toolkits/ocaml-graphics
PR: 250408 [1], 262781 [1], 262788 [3], 262789 [1],
262792 [1], 263006 [1], 263162 [3], 263206 [2],
276893 [1], 276945 [4], 276953 [1], 277026 [5],
277241 [1], 277242 [1], 277243 [1], 277244 [1],
277245 [1], 277246 [1], 277247 [1], 277248 [1],
277249 [1], 277250 [1], 277251 [1], 277252 [1],
277253 [1], 277254 [1], 277255 [1], 277256 [4],
277257 [1], 277258 [1]
Approved by: maintainer timeout [1],
yuri (maintainer) [2],
overcome by events, fixit [3],
madpilot (maintainer) [4]
Reviewed by: madpilot
Exp-run by: antoine [5]
Differential Revision: https://reviews.freebsd.org/D43861
|
| |
|
|
| |
Reported by: portscout
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
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]
- devel/ocaml-dune: Update to 3.7.1 [2]
- devel/ocaml-findlib: Update to 1.9.6 [3]
- devel/ocaml-ipaddr: Update to 3.1.0
- devel/ocaml-parmap: Update to 1.2.4, use dune for build [4]
- devel/ocaml-ppx-tools: Update to 6.6, use dune for build
- graphics/ocaml-cairo: Update to 0.6.4
- net-p2p/mldonkey: Update to 3.1.7-2 [2]
- net/unison: Remove ocaml 4.07 compatibility patches
- net/unison232: Mark broken, fails to build with newer ocaml [5]
- security/ocaml-ssl: Update to 0.5.13 [2]
- x11-toolkits/ocaml-labltk: Update to 8.06.7 [2]
Dune now requires full path as argument to --libdir, so various
ports have been patched accordingly.
Bumping PORTREVISION for all dependent ports that were not updated.
PR: 272067
Approved by: michipili@gmail.com (maintainer timeout),
eduardo (maintainer timeout) [1],
danfe [2],
hrs (maintainer timeout) [3],
dumbbell (maintainer timeout) [4],
mandree (implicit) [5]
Differential Revision: https://reviews.freebsd.org/D40599
|
| |
|
|
|
|
|
|
|
|
| |
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)
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
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.
This commit implements such a proposal and moves one of the WWW: entries
of each pkg-descr file into the respective port's Makefile. A heuristic
attempts to identify the most relevant URL in case there is more than
one WWW: entry in some pkg-descr file. URLs that are not moved into the
Makefile are prefixed with "See also:" instead of "WWW:" in the pkg-descr
files in order to preserve them.
There are 1256 ports that had no WWW: entries in pkg-descr files. These
ports will not be touched in this commit.
The portlint port has been adjusted to expect a WWW entry in each port
Makefile, and to flag any remaining "WWW:" lines in pkg-descr files as
deprecated.
Approved by: portmgr (tcberner)
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
A big Thank You to the original contributors of these ports:
* Aaron Dalton <aaron@FreeBSD.org>
* Aaron Dalton <aaron@daltons.ca>
* Alessando Sagratini <ale_sagra@hotmail.com>
* Alex Dupre <ale@FreeBSD.org>
* Alexey Dokuchaev <danfe@FreeBSD.org>
* Amarendra Godbole <amarendra.godbole@gmail.com>
* Anders Nordby <anders@FreeBSD.org>
* Andreas Fehlner (fehlner@gmx.de)
* Andrew L. Neporada <andrew@chg.ru>
* Andrey <gugu@zoo.rambler.ru>
* Andrey Zakhvatov
* Anton Berezin <tobez@FreeBSD.org>
* Anton Berezin <tobez@plab.ku.dk>
* Anton Berezin <tobez@tobez.org>
* Anton Shterenlikht
* Anton Shterenlikht <mexas@bris.ac.uk>
* Bob Eager <bob@eager.cx>
* Charlie Kester <corky1951@comcast.net>
* Cheng-Lung Sung <clsung@FreeBSD.org>
* Cheng-Lung Sung <clsung@dragon2.net>
* Chris D. Faulhaber <jedgar@fxp.org>
* Christopher J. Ruwe
* Christopher Key <cjk32@cam.ac.uk>
* Chuck Hein <geekdude@pacbell.net>
* Cyrille Szymanski <cnszym@gmail.com>
* Dan Rue <drue@therub.org>
* Danilo Egea Gondolfo <danilo@FreeBSD.org>
* David Naylor <dbn@FreeBSD.org>
* David Naylor <naylor.b.david@gmail.com>
* Dereckson <dereckson@gmail.com>
* Devin Teske <dteske@FreeBSD.org>
* Dmitry Sivachenko <demon@FreeBSD.org>
* Dmitry Sivachenko <mitya@yandex-team.ru>
* Don Croyle <croyle@gelemna.org>
* Douglas K. Rand (rand@meridian-enviro.com)
* Dylan Simon <dylan@dylex.net>
* Edwin Groothuis <edwin@mavetju.org>
* Eijiro Shibusawa <ej-sib@ice.uec.ac.jp>
* Emanuel Haupt <ehaupt@FreeBSD.org>
* Eoin Lawless (eoin@maths.tcd.ie)
* Eric A. Griff <eagriff@global2000.net>
* Eric van Gyzen <vangyzen@stat.duke.edu>
* Ewgenij Gawrilow <gawrilow@math.tu-berlin.de>
* Fernan Aguero <fernan@iib.unsam.edu.ar>
* Foxfair Hu <foxfair@FreeBSD.org>
* Frederic Han <han@math.jussieu.fr>
* Gabor Kovesdan <gabor@FreeBSD.org>
* Gea-Suan Lin <gslin@gslin.org>
* George Reid <greid@ukug.uk.freebsd.org>
* Giuseppe Pilichi aka Jacula Modyun <jacula@gmail.com>
* Greg Larkin <glarkin@FreeBSD.org>
* Guangyuan Yang <ygy@FreeBSD.org>
* Gustau Perez i Querol <gustau.perez@gmail.com>
* Heinz Tschabitscher
* Horia Racoviceanu <horia@racoviceanu.com>
* Hye-Shik Chang <perky@fallin.lv>
* Iblis Lin <iblis@hs.ntnu.edu.tw>
* Issei Suzuki <issei@jp.FreeBSD.ORG>
* Janni
* Jason Harris <jharris@widomaker.com>
* Javad Kouhi <javad.kouhi@gmail.com>
* Jean-Yves Lefort <jylefort@FreeBSD.org>
* Jin-Shan Tseng <tjs@cdpa.nsysu.edu.tw>
* Joe Marcus Clarke <marcus@FreeBSD.org>
* Johannes Dieterich <dieterich@ogolem.org>
* Johannes M Dieterich <jmd@FreeBSD.org>
* Johannes Meixner <johannes@perceivon.net>
* John Marino <marino@FreeBSD.org>
* Joseph Koshy <jkoshy@FreeBSD.org>
* Ju Pengfei <ju.pengfei@gmail.com>
* Jukka A. Ukkonen <jau@iki.fi>
* Kay Lehmann <kay_lehmann@web.de>
* Kevin Lo <kevlo@FreeBSD.org>
* Klaus T. Aehlig <aehlig@linta.de>
* Kubilay Kocak <koobs@FreeBSD.org>
* Kurt Jaeger <fbsd-ports@opsec.eu>
* Lars Engels <lme@FreeBSD.org>
* Lars Koeller <Lars.Koeller@Uni-Bielefeld.DE>
* Lars Koeller <Lars.Koeller@Uni-Bielefeld.de>
* Li-Wen Hsu <lwhsu@FreeBSD.org>
* Li-Wen Hsu <lwhsu@lwhsu.org>
* M. L. Dodson, <bdodson@scms.utmb.edu>
* Maho Nakata <maho@FreeBSD.org>
* Mario S F Ferreira <lioux@FreeBSD.org>
* Mario S F Ferreira <lioux@linf.unb.br> et al.
* Mario Sergio Fujikawa Ferreira <lioux@FreeBSD.org>
* Mark Felder <feld@FreeBSD.org>
* Mark R V Murray <markm@FreeBSD.org>
* Martin Matuska <mm@FreeBSD.org>
* Matthew Seaman <matthew@FreeBSD.org>
* Maurice Castro <maurice@serc.rmit.edu.au>
* Maxim Sobolev <sobomax@FreeBSD.org>
* Maxime Henrion <mux@FreeBSD.org>
* Michael Haro <mharo@FreeBSD.org>
* Michael Johnson <ahze@FreeBSD.org>
* Michael Johnson <ahze@ahze.net>
* Michael Neumann <mneumann@ntecs.de>
* Muhammad Moinur Rahmanh <5u623l20@gmail.com>
* NAKATA Maho <chat95@mbox.kyoto-inet.or.jp>
* NAKATA, Maho <maho@FreeBSD.org>
* Nakata Maho <maho@FreeBSD.org>
* Nicola Vitale <nivit@email.it>
* Olivier Duchateau
* Pedro F. Giffuni
* Pedro F. Giffuni <giffunip@asme.org>
* Pedro Giffuni
* Pedro Giffuni <giffunip@asme.org>
* Pedro Giffuni <pfg@FreeBSD.org>
* Peter Pentchev <roam@FreeBSD.org>
* Philip Paeps <philip@FreeBSD.org>
* Pierre-Paul Lavoie <ppl@nbnet.nb.ca>
* Pietro Cerutti <gahr@FreeBSD.org>
* Piotr Rybicki <meritus@innervision.pl>
* Po-Chuan Hsieh <sunpoet@FreeBSD.org>
* Rainer Hurling <rhurlin@gwdg.de>
* Robert Jenssen
* Robin Schilham
* Rod Taylor <ports@rbt.ca>
* Roman Neuhauser <neuhauser@sigpipe.cz>
* Sander Vesik <sander@haldjas.folklore.ee>
* Scott Flatman <sf@dsinw.com>
* Seamus Venasse <svenasse@polaris.ca>
* Sergey A. Osokin <osa@FreeBSD.org>
* Sergey Akifyev <asa@agava.com>
* Sergey Akifyev <asa@gascom.ru>
* Sergey Skvortsov <skv@FreeBSD.org>
* Sergey Skvortsov <skv@protey.ru>
* Shell Hung <shell@shellhung.org>
* Shin-ya MURAKAMI <murashin@gfd-dennou.org>
* Stas Timokhin <devel@stasyan.com>
* Stefan A. Deutscher (sad@mailaps.org)
* Stefan Esser <se@StefanEsser.FreeBSD.org>
* Stephen Montgomery-Smith <stephen@FreeBSD.edu>
* Stephen Montgomery-Smith <stephen@FreeBSD.org>
* Stephen Montgomery-Smith <stephen@math.missouri.edu>
* Stephen Montgomery-Smith <stephen@missouri.edu>
* Steve Wills <steve@mouf.net>
* Steve Wills <swills@FreeBSD.org>
* Steven Kreuzer <skreuzer@FreeBSD.org>
* Steven Kreuzer <skreuzer@f2o.org>
* Sunpoet Po-Chuan Hsieh <sunpoet@FreeBSD.org>
* TAKATSU Tomonari <tota@FreeBSD.org>
* Thierry Thomas (<thierry@pompo.net>)
* Thierry Thomas <thierry@pompo.net>
* Thomas Gellekum <tg@FreeBSD.org>
* Thomas Sandford <freebsduser@paradisegreen.co.uk>
* Timothy Bourke <timbob@bigpond.com>
* Tony Maher
* Tz-Huan Huang <tzhuan@csie.org>
* Vsevolod Stakhov <vsevolod@FreeBSD.org>
* Vsevolod Stakhov <vsevolod@highsecure.ru>
* Waitman Gobble <waitman@waitman.net>
* Wen Heping <wen@FreeBSD.org>
* Wen Heping <wenheping@gmail.com>
* Will Andrews <andrews@technologist.com>
* Yi-Hsuan Hsin <mhsin@mhsin.org>
* Ying-Chieh Liao <ijliao@FreeBSD.org>
* Yinghong.Liu <relaxbsd@gmail.com>
* Yoshiaki UCHIKAWA <yoshiaki@kt.rim.or.jp>
* Yukihiro Nakai <Nakai@technologist.com>
* Yuri Victorovich <yuri@FreeBSD.org>
* Yuri Victorovich <yuri@rawbw.com>
* Yuri Victorovich <yuri@tsoft.com>
* Zhen REN <bg1tpt@gmail.com>
* amir.husaini@gmail.com
* arved
* asami
* b.f. <bf@FreeBSD.org>
* bart <lbartoletti@FreeBSD.org>
* bauerm
* bf <bf2006a@yahoo.com>
* bf <bf@FreeBSD.org>
* bf@FreeBSD.org
* bremner@unb.ca
* chinsan
* chuckr@FreeBSD.org
* dawe <daweonline@gmail.com>
* dbader@ece.unm.edu
* dd
* demon@FreeBSD.org
* dikshie
* eserte
* fenner
* gahr
* giffunip
* gmarco@giovannelli.it
* gurkan@phys.ethz.ch
* ijliao
* janek@gaja.ipan.lublin.pl
* jhs@berklix.com / asami (original)
* jmz
* js@jeannot.org
* keith@FreeBSD.org
* ljo
* mr
* nobu@rd.isac.co.jp
* pauls@utdallas.edu
* pusto@web.de
* reg@shale.csir.co.za
* rfarmer@predatorlabs.net
* stephen@FreeBSD.org
* thierry@pompo.net
* tobez
* will
* # Created by Matthias Fechner <mfechner@FreeBSD.org>
With hat: portmgr
|
| | |
|
| | |
|
| |
|
|
|
|
|
|
| |
- Employ USES+=localbase:ldflags
- Remove excessive whitespace
Notes:
svn path=/head/; revision=439616
|
| |
|
|
|
|
|
|
|
| |
Use the same technique madpilot used on x11-toolkits/ocaml-lablgtk2
to restore the build after the (unexpected) changed to the output
of ocamlfindlib during its update to 1.7.1
Notes:
svn path=/head/; revision=432805
|
| |
|
|
|
|
|
| |
ocamlfind: Bad configuration: Cannot mkdir /wrkdirs/usr/ports/math/ocaml-zarith/work/stage/usr/local/lib/ocaml/site-lib:/usr/local/lib/ocaml/zarith because a path component does not exist or is not a directory
Notes:
svn path=/head/; revision=432730
|
| |
|
|
|
|
|
|
| |
- Add LICENSE_FILE
- Fix build on arm
Notes:
svn path=/head/; revision=424051
|
| |
|
|
| |
Notes:
svn path=/head/; revision=422173
|
| |
|
|
|
|
|
|
| |
With hat: portmgr
Sponsored by: Absolight
Notes:
svn path=/head/; revision=412348
|
| |
|
|
| |
Notes:
svn path=/head/; revision=399103
|
| |
|
|
|
|
|
|
|
| |
- While here, add some NO_ARCHes and couple missing PORT_OPTIONS=DOCS
Approved by: portmgr blanket
Notes:
svn path=/head/; revision=395483
|
| |
|
|
| |
Notes:
svn path=/head/; revision=372596
|
|
|
This is a new requirement for the latest veersion of alt-ergo.
================================================================
The Zarith library implements arithmetic and logical operations over
arbitrary precision numbers. It uses GMP to efficiently implement
arithmetic over large numbers. Small integers are represented as Caml
unboxed integers for speed and space economy.
WWW: http://forge.ocamlcore.org/projects/zarith
Notes:
svn path=/head/; revision=356255
|
