setl programming language under linux-emulation

Dan Nelson dnelson at allantgroup.com
Mon Nov 8 14:17:23 PST 2004


In the last episode (Nov 08), l0kit0 at exactas.org said:
> hi,
> i need to make setl programming language 
> (http://cs1.cs.nyu.edu/bacon/download-setl.html) work under freebsd5 (for 
> discrete math lab), no srcs available, i just found linux2.0.18 binary (from 
> latter link), the problem is that this is linked to libc.so.5 and it seems to 
> be broken compatibility with the one in /comat/linux/lib (libc.so.6), so, it 
> wont work.

It looks like the linux_base-6 port installs a libc.so.5 file (into
/usr/i486-linux-libc5/lib/libc.so.5, though).  You should also be able
to just copy the required libraries off a working Linux system.  Just
make sure you don't overwrite existing files with older ones.

-- 
	Dan Nelson
	dnelson at allantgroup.com


More information about the freebsd-questions mailing list