| non port: lang/mosml/Makefile |
|
SVNWeb
|
Number of commits found: 14 |
|
Thu, 6 May 2021
|
[ 11:47 Mathieu Arnold (mat)  ]  3505159 (Only the first 10 of 144 ports in this commit are shown above.  )
Deorbit RESTRICTED && NO_CDROM, part two.
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
|
|
Tue, 6 Apr 2021
|
[ 14:31 Mathieu Arnold (mat) ] 305f148 (Only the first 10 of 29333 ports in this commit are shown above. )
Remove # $FreeBSD$ from Makefiles.
|
|
Mon, 27 Jan 2020
|
[ 09:30 amdmi3 ]  
- Pet portlint
- Switch to options helpers
- Update WWW
|
|
Mon, 4 Nov 2019
|
[ 21:21 rene ] (Only the first 10 of 99 ports in this commit are shown above. )
Returns johans's ports to the pool after safekeeping his commit bit.
|
|
Sun, 11 Nov 2018
|
[ 15:38 danfe ] (Only the first 10 of 65 ports in this commit are shown above. )
Update `databases/gdbm' to version 1.18.1, an important bugfix release
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)
|
|
Mon, 2 Jul 2018
|
[ 04:00 linimon ] (Only the first 10 of 60 ports in this commit are shown above. )
Mark ports broken on mips64 that are already broken on powerpc64. In
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)
|
|
Sat, 29 Apr 2017
|
[ 05:44 linimon ] (Only the first 10 of 14 ports in this commit are shown above. )
Provide more descriptive error messages for ports failing on powerpc64.
Approved by: portmgr (tier-2 blanket)
|
|
Wed, 2 Nov 2016
|
[ 22:45 mat ] (Only the first 10 of 110 ports in this commit are shown above. )
Cleanup no longer needed CHMOD usage after r424898.
PR: 213743
Submitted by: mat
Exp-run by: antoine
Sponsored by: Absolight
|
|
Wed, 18 May 2016
|
[ 12:43 johans ]
Cleaner patch to honour $CC (no functional change)
Reported by: bapt
|
|
Mon, 16 May 2016
|
[ 19:04 johans ]
Honour $CC
|
[ 15:38 johans ]
Restore the original header that unintentionally got lost when moving the port
|
[ 13:45 amdmi3 ]
- Mark BROKEN: does not build
===> 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
|
|
Thu, 12 May 2016
|
[ 13:13 mat ] (Only the first 10 of 16 ports in this commit are shown above. )
Cleanup github bits.
Sponsored by: Absolight
|
|
Wed, 11 May 2016
|
[ 14:44 johans ]
Moscow_ml has been renamed mosml
Update to version 2.10.1, now hosted on Github
See changelog on the new project website http://mosml.org/
|
Number of commits found: 14 |
As an Amazon Associate I earn from qualifying purchases.