On Sep 20, 2015, at 1:46 PM, Mojca Miklavec wrote:
> On Fri, Sep 18, 2015 at 12:08 PM, Ryan Schmidt wrote:
>
>> For this particular problem, the correct solution is to fix the lua port by
>> renaming it to lua53 and making it install its headers to a directory that
>> is not ${prefix}/include (
On Fri, Sep 18, 2015 at 12:08 PM, Ryan Schmidt wrote:
> On Sep 17, 2015, at 10:51 AM, Mojca Miklavec wrote:
>> On Thu, Sep 17, 2015 at 4:47 PM, Rainer Müller wrote:
>>> On 2015-09-17 14:49, Mojca Miklavec wrote:
I would like to hide a couple of ports while building one specific
port. I kn
On Sep 17, 2015, at 10:51 AM, Mojca Miklavec wrote:
> On Thu, Sep 17, 2015 at 4:47 PM, Rainer Müller wrote:
>> On 2015-09-17 14:49, Mojca Miklavec wrote:
>>> I would like to hide a couple of ports while building one specific
>>> port. I know that I can do this with "port -t build foo", but I would
> On Sep 17, 2015, at 11:51 AM, Mojca Miklavec wrote:
> I'm not saying that this isn't doable, but it would be so much more
> helpful if I could simply make the other ports "invisible" during the
> build.
Yes, it would be good for everyone if we could run in trace mode all (or at
least most) of
On Thu, Sep 17, 2015 at 4:47 PM, Rainer Müller wrote:
> On 2015-09-17 14:49, Mojca Miklavec wrote:
>> I would like to hide a couple of ports while building one specific
>> port. I know that I can do this with "port -t build foo", but I would
>> like to do this automatically within the Portfile, oth
On 2015-09-17 14:49, Mojca Miklavec wrote:
> I would like to hide a couple of ports while building one specific
> port. I know that I can do this with "port -t build foo", but I would
> like to do this automatically within the Portfile, otherwise the port
> would have to conflict with a whole bunch
Hi,
I would like to hide a couple of ports while building one specific
port. I know that I can do this with "port -t build foo", but I would
like to do this automatically within the Portfile, otherwise the port
would have to conflict with a whole bunch of other ports without any
good reason (other