Has anyone else experienced problems with —prefix? When I build a fresh cil
1.7.3 and do:
./configure —prefix=mydir
it seems that “make install” ignores the prefix parameter and tries to install
in /usr/local.
Thanks,
Ben
-
> On Feb 5, 2015, at 8:53 AM, Gabriel Kerneis wrote:
>
> Le 2015-02-05 14:59, Benjamin Ylvisaker a écrit :
>>
>> Sorry for being too concise. I don’t have a misbehaving test. Here
>> is what’s causing my confusion in a little more detail:
>>
>> - The slocals field of fundec is a list of varin
