On 6/10/20, Donald Wilde <dwilde1 at gmail.com>
wrote:> On 6/10/20, Stefan E?er <se at freebsd.org> wrote:
>> Am 10.06.20 um 15:45 schrieb Donald Wilde:
>>> On 6/10/20, Mark Linimon <linimon at lonesome.com> wrote:
>>>> On Tue, Jun 09, 2020 at 08:09:21PM -0700, Donald Wilde wrote:
> [snip]
>>>> x3850-1# grep gcc INDEX-13 | wc -l
>>>> 3848
>>>>
>>> Hmmm... tried running that and mine doesn't seem to find
INDEX-13 as a
>>> file.
>>>
>>> Tried ' find / -name "INDEX-13" '
>>
>> You have to either create or fetch the INDEX file:
>>
>> $ cd /usr/ports
>> $ make index
>>
>> or
>>
>> $ cd /usr/ports
>> $ make fetchindex
>>
>> Regards, STefan
>>
> Thanks, Stefan!
>
Okay, it didn't work, but discovered INDEX-12 in /usr/ports, so
' grep gcc INDEX-12 | wc -l ' worked.
Such an interesting file, INDEX-12. More research needed. Is it not
INDEX-13 because I did ' make index' instead of ' make fetchindex
' ?
> Memo to self: figure out what basic options are supported in
> Makefiles, especially in /usr/ports/, and make clear documentation
> patches (if needed). :D
>
/self thinks this is all probably in the Porter's Handbook, but the
regular Handbook should have some of it.
--
Don Wilde
****************************************************
* What is the Internet of Things but a system *
* of systems including humans? *
****************************************************