Skip site navigation (1)Skip section navigation (2)
Date:      Tue, 21 Apr 2015 03:01:58 +0000
From:      bugzilla-noreply@freebsd.org
To:        freebsd-ports-bugs@FreeBSD.org
Subject:   [Bug 199566] lang/polyml: pkg-config output missing libffi dependency
Message-ID:  <bug-199566-13-aFcXcu74WU@https.bugs.freebsd.org/bugzilla/>
In-Reply-To: <bug-199566-13@https.bugs.freebsd.org/bugzilla/>
References:  <bug-199566-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=199566

--- Comment #1 from Timothy Beyer <beyert@cs.ucr.edu> ---
Thanks for the heads up.

I haven't tested Poly/ML to build Isabelle in quite a while, so it might need
some more testing.  I'll check to see if some small SML programs that I wrote
compile properly using Poly/ML.

Most of the large SML programs that I use support MLTon or SML/NJ (eg. Ur/Web),
so I'll need to find out which ones support Poly/ML, and verify with that
respective program.

-- 
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-199566-13-aFcXcu74WU>