non port: math/facile/Makefile |
Number of commits found: 20 |
Monday, 11 Mar 2024
|
21:50 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
- 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
8025aa1 |
Wednesday, 5 Jul 2023
|
09:55 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]
- 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
2b40e46 |
Wednesday, 7 Sep 2022
|
21:10 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.
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)
b7f0544 |
Wednesday, 20 Jul 2022
|
14:22 Tobias C. Berner (tcberner)
math: remove 'Created by' lines
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
f53eb28 |
Tuesday, 6 Apr 2021
|
14:31 Mathieu Arnold (mat)
Remove # $FreeBSD$ from Makefiles.
305f148 |
Monday, 24 Jun 2019
|
10:14 danfe
Update OCaml to version 4.05.0 (this is the last version where strings
are unsafe by default, which is the main motivation why it was picked,
but not the very latest one) and synchronize the rest of the stack and
dependent ports with it, particularly:
- Update `devel/ocaml-ocamlbuild' to version 0.14.0 and unbreak,
register build dependency on all ports that require it (should
be part of USE_OCAML, but we do not want to make any Mk-related
changes the for time being)
- Update `devel/ocaml-camlp4' to version 4.05+2
- Update `devel/ocaml-camlp5' to version 7.07 (the project had
moved to GitHub)
- Mark `devel/ocaml-deriving-ocsigen' as BROKEN for now, it is
very outdated and requires quite a lot of work
- Update `x11-toolkits/ocaml-labltk' to version 8.06.3
PR: 218333
Exp-run by: antoine
|
Wednesday, 28 Dec 2016
|
23:03 tcberner
Update math/facile to 1.1.3
Approved by: rakuco (mentor)
|
Sunday, 11 Sep 2016
|
17:29 tcberner
Update math/facile to 1.1.2
Reviewed by: rakuco
Approved by: rakuco (mentor)
Differential Revision: https://reviews.freebsd.org/D7731
|
17:24 tcberner
Update math/facile MASTER_SITES.
Reviewed by: rakuco
Approved by: rakuco (mentor)
MFH: 2016Q3
Differential Revision: https://reviews.freebsd.org/D7731
|
Friday, 4 Dec 2015
|
09:51 rakuco
Update to 1.1.1.
This is a bug fix release that adds OCaml4 support, which allows us to drop
files/patch-ocaml4.
|
Wednesday, 29 Apr 2015
|
20:57 marino
math/facile: Bump because ocaml version ungraded
The ocaml makefile says to bump this port after ocaml is changed. I don't
know how necessary this really is though.
PR: 195736
|
Tuesday, 13 May 2014
|
07:25 makc
math/facile:
- bump PORTREVISION to trigger repackaging after recent ocaml update:
the package is usable only with ocaml which was used to compile facile.
lang/ocaml:
- add upgrading notes for committers
|
Tuesday, 1 Apr 2014
|
08:41 makc
math/facile:
- add patch to fix build with ocaml-4
- modernize Makefile (USES, staging)
- bump PORTREVISION after ocaml update
- assign maintainership to kde@
|
Thursday, 2 Jan 2014
|
09:15 arved
New years resolution: Reduce the number of ports i maintain, but don't use
|
Friday, 20 Sep 2013
|
20:55 bapt
Add NO_STAGE all over the place in preparation for the staging support (cat:
math)
|
Wednesday, 6 Apr 2011
|
05:43 stas
- Bump portrevision of math/facile after the lang/ocaml udpate.
Suggested by: makc
|
Friday, 4 Jun 2010
|
21:41 kwm
Instead of only 1 LGPL license there are two namely: the 2.1 and 3 version.
So make a LGPL21 and LGPL3 value for the license framework.
Replace the LGPL used in ports with LGPL21. (checked all consumers)
Obtained from: http://www.gnu.org/licenses/ (Under License URL's)
|
Sunday, 30 May 2010
|
17:39 arved
Add LICENSE and LICENSE_FILE to my ports.
|
Tuesday, 20 Apr 2010
|
17:32 makc
Bump PORTREVISION after latest ocaml update.
Approved by: portmgr (itetcu)
|
Saturday, 9 Feb 2008
|
21:57 arved
Add facile, a Functional Constraint Library written in Ocaml
| Number of commits found: 20 |
|