On Wed, Jun 25, 2014 at 3:42 AM, Sarvagnan <sarvag...@gmail.com> wrote:

> I tried using the gcc provided by homebrew but the same issue crops up
> there as well.
>
> If this is a problem with making noweb, would it be possible to use a
> separately installed noweb to build axiom? Homebrew has a noweb package
> which installs without any problems. I ask as this could be a stopgap
> solution.
>
> Thanks!
> Sarva
>

I don't think it is a compiler problem, nor do I think changing a compiler
is an effective viable longterm fix.  Unfortunately, I can't comment more
-- several years ago, I wrote a dedicated tool to eliminate the requirement
for 'noweb' to extract the chunks when needed; that is what I use in in my
version of AXIOM.

-- Gaby



>
> P.S. My name is Sarvagnan. Where I come from, there are no last names. The
> last name you use is your fathers first name, so I introduce myself using
> just my name, giving out my fathers name only when strictly necessary. Due
> to the length of the name and the slightly complex pronunciation, I
> introduce myself as Sarva.
>
>
> On Wed, Jun 25, 2014 at 5:46 AM, Gabriel Dos Reis <
> g...@integrable-solutions.net> wrote:
>
>> getline() is a POSIX standard function defined in <stdio.h>.
>>
>>
>> On Tue, Jun 24, 2014 at 7:15 AM, <d...@axiom-developer.org> wrote:
>>
>>> Sarva,
>>>
>>> >I'm using the gcc compiler provided by Xcode. It's Apple llvm version
>>> 5.1.
>>> >Would switching the gcc used to the homebrew provided gcc help?
>>>
>>> It is clear that the symbol 'getline' has been added to stdio
>>> using the Xcode gcc, which is the cause of the problem.
>>>
>>> If you have access to different version of gcc it is likely the
>>> problem will go away.
>>>
>>> On a more global solution I'm working on removing noweb completely
>>> from the system but it will take a bit of time. Very few files still
>>> use noweb (mostly the Makefiles) and I'm changing that now.
>>>
>>> Tim Daly
>>>
>>> p.s. is Sarva your first or last name?
>>>
>>>
>>> _______________________________________________
>>> Axiom-developer mailing list
>>> Axiom-developer@nongnu.org
>>> https://lists.nongnu.org/mailman/listinfo/axiom-developer
>>>
>>
>>
>
_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
https://lists.nongnu.org/mailman/listinfo/axiom-developer

Reply via email to