Subject: Re: Maude
To: LraiseR <l.raiser@deathsdoor.com>
From: Hubert Feyrer <hubert.feyrer@informatik.fh-regensburg.de>
List: tech-pkg
Date: 10/20/2000 01:36:03
On Fri, 20 Oct 2000, LraiseR wrote:
> I have NetBSD-1.5Alpha2-i386 (not the latest snap)
> I tried downloading and installing Maude (http://maude.csl.sri.com/).
> FreeBSD version doesn't work at all, but the linux version works without
> even need of linux emulation (d'oh???). I do have COMPAT_LINUX in the
> kernel tho. Still, I wonder. Q: Why this? Because it's static and
> doesn't require any library?
Probably. Try /emul/linux/usr/bin/ldd <maude-binary>
> Another point. I'd like to see the Maude packaged so that it can be used
> like all other packages. Where do I find information on building the
> data to be put on pkgsrc (if I can do it myself, saving you some work)
> or, what do I have to do to let you know? Note that I'd be willing to
> contribute with porting other packages not yet integrated (time
> permitting).
If you have lots of time: read pkgsrc/Packages.txt
If you want a fast start: try the url2pkg package, and give it the URL of
the archive you want to pkgize.
- Hubert
--
Hubert Feyrer <hubert.feyrer@informatik.fh-regensburg.de>