| non port: lang/mosml/Makefile |
|
SVNWeb
|
Number of commits found XX: 12 |
|
Mon, 27 Jan 2020
|
[ 09:30 amdmi3 ]  
524249 lang/mosml/Makefile
524249 lang/mosml/pkg-descr
- Pet portlint
- Switch to options helpers
- Update WWW
|
|
Mon, 4 Nov 2019
|
[ 21:21 rene ]
516744 archivers/gzip/Makefile
516744 comms/minicom/Makefile
516744 converters/mmencode/Makefile
516744 databases/gdbm/Makefile
516744 deskutils/gcal/Makefile
516744 deskutils/ljclive/Makefile
516744 devel/cppi/Makefile
516744 devel/cscope/Makefile
516744 devel/gindent/Makefile
516744 devel/opencvs/Makefile
(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 ]
484696 audio/fdmf/Makefile
484696 audio/pulseaudio/Makefile
484696 audio/rsynth/Makefile
484696 audio/zinf/Makefile
484696 databases/dbtool/Makefile
484696 databases/fpc-gdbm/Makefile
484696 databases/gdbm/Makefile
484696 databases/gdbm/distinfo
484696 databases/gdbm/pkg-plist
484696 databases/p5-GDBM/Makefile
(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 ]
473699 audio/faac/Makefile
473699 audio/faad/Makefile
473699 benchmarks/sipp/Makefile
473699 cad/alliance/Makefile
473699 cad/freehdl/Makefile
473699 comms/sunxi-tools/Makefile
473699 databases/fastdb/Makefile
473699 databases/gnats4/Makefile
473699 databases/virtuoso/Makefile
473699 devel/astyle/Makefile
(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 ]
439717 lang/afnix/Makefile
439717 lang/angelscript/Makefile
439717 lang/cint/Makefile
439717 lang/dmd2/Makefile
439717 lang/ecl/Makefile
439717 lang/guile2/Makefile
439717 lang/harbour/Makefile
439717 lang/mosml/Makefile
439717 lang/newlisp-devel/Makefile
439717 lang/nim/Makefile
(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 ]
425174 audio/festdoc/Makefile
425174 audio/festlex-oald/Makefile
425174 audio/festlex-ogi/Makefile
425174 audio/festvox-don/Makefile
425174 audio/festvox-el11/Makefile
425174 audio/festvox-kal8/Makefile
425174 audio/festvox-ked16/Makefile
425174 audio/festvox-ked8/Makefile
425174 audio/festvox-rab16/Makefile
425174 audio/festvox-rab8/Makefile
(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 ]
415437 lang/mosml/Makefile
Cleaner patch to honour $CC (no functional change)
Reported by: bapt
|
|
Mon, 16 May 2016
|
[ 19:04 johans ]
415355 lang/mosml/Makefile
Honour $CC
|
[ 15:38 johans ]
415336 lang/mosml/Makefile
Restore the original header that unintentionally got lost when moving the port
|
[ 13:45 amdmi3 ]
415326 lang/mosml/Makefile
- 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 ]
415063 cad/openvsp/Makefile
415063 cad/openvsp/distinfo
415063 devel/php5-geshi/Makefile
415063 devel/php5-geshi/distinfo
415063 devel/simavr/Makefile
415063 devel/simavr/distinfo
415063 lang/mosml/Makefile
415063 lang/mosml/distinfo
415063 mail/py-email-reply-parser/Makefile
415063 mail/py-email-reply-parser/distinfo
(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 ]
414999 MOVED
414999 lang/Makefile
414999 lang/moscow_ml
414999 lang/mosml
414999 lang/mosml/Makefile
414999 lang/mosml/distinfo
414999 lang/mosml/files
414999 lang/mosml/pkg-descr
414999 lang/mosml/pkg-plist
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 XX: 12 |
As an Amazon Associate I earn from qualifying purchases.