Date: Fri, 18 Jul 2014 17:44:49 +0000 From: bugzilla-noreply@freebsd.org To: freebsd-ports-bugs@FreeBSD.org Subject: [Bug 191899] [MAINTAINER] lang/sml-nj-devel: update to 110.76, unbreak, pkgngify, stagify, +amd64, -gmake Message-ID: <bug-191899-13-jrGycaoAqQ@https.bugs.freebsd.org/bugzilla/> In-Reply-To: <bug-191899-13@https.bugs.freebsd.org/bugzilla/> References: <bug-191899-13@https.bugs.freebsd.org/bugzilla/>
next in thread | previous in thread | raw e-mail | index | archive | help
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D191899 --- Comment #7 from joemann@beefree.free.de --- (In reply to Robert Cina from comment #6) > [...] The port compiled and installed smlnj 110.76 on my system. > Typing sml at the command prompt starts the SML interpreter.=20=20 > This is the result on my system: >=20 > rob@polyfree:~ % uname -srm > FreeBSD 10.0-STABLE amd64 > rob@polyfree:~ % pkg info -x sml > smlnj-devel-110.76 > rob@polyfree:~ % ldd /usr/local/smlnj/bin/.run/run.x86-freebsd > /usr/local/smlnj/bin/.run/run.x86-freebsd: > libm.so.5 =3D> /usr/lib32/libm.so.5 (0x28081000) > libc.so.7 =3D> /usr/lib32/libc.so.7 (0x280a6000) > rob@polyfree:~ % sml > Standard ML of New Jersey v110.76 [built: Fri Jul 18 11:52:22 2014] > -=20 2+3; val it =3D 5 : int :-) Great! Thanks for testing. To me your result suggests that it's time to pray for a ports committer who will take (the burden of:) this PR. > Thanks again for your hard work! :-) Although this port occasionally seems to require quite a lot of time and diving-in-the-mud, this work is nothing compared to the work that was put into SML/NJ itself. I'd really love to have the time to use and explore it myself (e.g. FLINT). Let's pray ... ;-) Johannes --=20 You are receiving this mail because: You are the assignee for the bug.=
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?bug-191899-13-jrGycaoAqQ>