aboutsummaryrefslogtreecommitdiff
path: root/lang/mosml
Commit message (Collapse)AuthorAgeFilesLines
* Deorbit RESTRICTED && NO_CDROM, part two.Mathieu Arnold2021-05-061-2/+6
| | | | | | | | | Move ports to the licenses framework. RESTRICTED → auto-accept (unless expressly stated otherwise) NO_CDROM → dist-mirror pkg-mirror auto-accept Differential Revision: https://reviews.freebsd.org/D30010
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
|
* - Pet portlintDmitry Marakasov2020-01-272-10/+12
| | | | | | | | - Switch to options helpers - Update WWW Notes: svn path=/head/; revision=524249
* Returns johans's ports to the pool after safekeeping his commit bit.Rene Ladan2019-11-041-1/+1
| | | | Notes: svn path=/head/; revision=516744
* Update `databases/gdbm' to version 1.18.1, an important bugfix releaseAlexey Dokuchaev2018-11-111-0/+1
| | | | | | | | | | | | | which restores compatibility with old databases (version 1.8) and some later versions which were built without mmap(2) support. Due to shlib version change, bump port revisions of the consumer ports. PR: 233059 Exp-run by: antoine Approved by: maintainer (johans, numerous timeouts) Notes: svn path=/head/; revision=484696
* Mark ports broken on mips64 that are already broken on powerpc64. InMark Linimon2018-07-021-2/+4
| | | | | | | | | | | | most cases, the failure mode is the same. Also, mark them broken on mips when necessary. While here, pet portlint. Approved by: portmgr (tier-2 blanket) Notes: svn path=/head/; revision=473699
* Provide more descriptive error messages for ports failing on powerpc64.Mark Linimon2017-04-291-1/+1
| | | | | | | Approved by: portmgr (tier-2 blanket) Notes: svn path=/head/; revision=439717
* Cleanup no longer needed CHMOD usage after r424898.Mathieu Arnold2016-11-021-4/+2
| | | | | | | | | | PR: 213743 Submitted by: mat Exp-run by: antoine Sponsored by: Absolight Notes: svn path=/head/; revision=425174
* Cleaner patch to honour $CC (no functional change)Johan van Selst2016-05-181-1/+1
| | | | | | | Reported by: bapt Notes: svn path=/head/; revision=415437
* Honour $CCJohan van Selst2016-05-161-2/+1
| | | | Notes: svn path=/head/; revision=415355
* Restore the original header that unintentionally got lost when moving the portJohan van Selst2016-05-161-0/+1
| | | | Notes: svn path=/head/; revision=415336
* - Mark BROKEN: does not buildDmitry Marakasov2016-05-161-0/+2
| | | | | | | | | | | | | | | | | | | | | | | | ===> Building for mosml-2.10.1 gmake[1]: Entering directory '/wrkdirs/usr/ports/lang/mosml/work/mosml-ver-2.10.1/src' cd config; gmake all gmake[2]: Entering directory '/wrkdirs/usr/ports/lang/mosml/work/mosml-ver-2.10.1/src/config' sh autoconf gcc Checking the sizes of integers and pointers... This architecture seems to be neither 32 bits nor 64 bits. Caml Light won't run on this architecture. Makefile:13: recipe for target 'runtime' failed gmake[2]: *** [runtime] Error 2 gmake[2]: Leaving directory '/wrkdirs/usr/ports/lang/mosml/work/mosml-ver-2.10.1/src/config' Makefile:26: recipe for target 'world' failed gmake[1]: *** [world] Error 2 gmake[1]: Leaving directory '/wrkdirs/usr/ports/lang/mosml/work/mosml-ver-2.10.1/src' *** Error code 1 Reported by: pkg-fallout Approved by: portmgr blanket Notes: svn path=/head/; revision=415326
* Cleanup github bits.Mathieu Arnold2016-05-122-3/+3
| | | | | | | Sponsored by: Absolight Notes: svn path=/head/; revision=415063
* Moscow_ml has been renamed mosmlJohan van Selst2016-05-114-0/+581
Update to version 2.10.1, now hosted on Github See changelog on the new project website http://mosml.org/ Notes: svn path=/head/; revision=414999
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-25 18:19:16 +0000