I am trying to compile under linux compat

[Alexander Leidinger]

Quoting "Scott T. Hildreth" <shildreth at allantgroup.com> (from Wed, 30  
Aug 2006 16:33:36 -0500):

>> I think yes, but definitely the maintainer of linux_dist-gentoo* ports
>> (CCed) knows better.
>>
>
>  Well, I went ahead and installed it.  Unless WITH_LINUXBASE is set, it
>  installs into /usr/local/gentoo-stage1.  To run progs or compile, you
>  have to do a 'chroot /usr/local/gentoo-stage1'.  Which is not optimal
>  if I want to run something compiled there as in /usr/compat/linux.  I

This is only a problem if you compile something which needs some libs  
which aren't available in linux_base. You could make a local  
port/package out of them and install them to linux_base (programs  
should install at least a wrapper in the FreeBSD native tree). This  
would be the cleanest solution.

Besides this you can just copy it over to linux_base...

>  am going to try to make it the linux_base and see how things run.
>  Just curious, if linux_base-fc4 is going to be the default, why not
>  make a linux-devtools port that coincides with the linux_base port?

We have some ports which conflict with linux devtools. You also want  
to chroot anyway when developing linux stuff on FreeBSD, else you may  
get some nasty problems. Picking up FreeBSD native stuff is one of  
them. Another problem is that the current linux base structure is  
intended to use parts of FreeBSD where possible (it relies on the fall  
through to FreeBSD native directories), which isn't given when doing a  
chroot into it.

So I'm grateful we got the linux_dist ports for cross-development  
stuff, they solve some nasty issues in a nice way.

Doing a linux_devtools update is a waste of time in my eyes, but you  
are free to do it. In case someone does it, please switch maintainer  
from emulation@ to something else.

Bye,
Alexander.

-- 
A man's house is his hassle.

http://www.Leidinger.net    Alexander @ Leidinger.net: PGP ID = B0063FE7
http://www.FreeBSD.org       netchild @ FreeBSD.org  : PGP ID = 72077137