* ada-mode: Debian sid compilation failure
@ 2020-03-22 11:02 Mart van de Wege
2020-03-25 11:11 ` Per Jakobsen
0 siblings, 1 reply; 6+ messages in thread
From: Mart van de Wege @ 2020-03-22 11:02 UTC (permalink / raw)
Since I know Stephen reads here: I tried installing ada-mode 7.0.1 on
Debian sid.
Since gnat_util lives in gnatprj on Debian, I patched that in
ada_mode_wisi_parse.gpr.gp and build *seems* to work fine, until it
errors out with:
compilation of wisitoken-parse-lr.adb failed
And no other detail. Am I doing something wrong?
Regards,
Mart van de Wege
--
"We will need a longer wall when the revolution comes."
--- AJS, quoting an uncertain source.
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: ada-mode: Debian sid compilation failure
2020-03-22 11:02 ada-mode: Debian sid compilation failure Mart van de Wege
@ 2020-03-25 11:11 ` Per Jakobsen
2020-03-25 14:14 ` Mart van de Wege
2020-03-25 20:03 ` Simon Wright
0 siblings, 2 replies; 6+ messages in thread
From: Per Jakobsen @ 2020-03-25 11:11 UTC (permalink / raw)
søndag den 22. marts 2020 kl. 12.10.03 UTC+1 skrev Mart van de Wege:
> Since gnat_util lives in gnatprj on Debian, I patched that in
> ada_mode_wisi_parse.gpr.gp and build *seems* to work fine, until it
> errors out with:
>
> compilation of wisitoken-parse-lr.adb failed
Yep, drops out there with me as well.
Although, before that, mine complains about:
sal-gen_bounded_definite_stacks.ads:101:06: visibility of aspect for "Stack" changes after freeze point
sal-gen_bounded_definite_stacks.ads:101:27: Meaning of "Top" differs because of declaration at line 96
GPRBUILD Community 2019 (20190517) (x86_64-pc-linux-gnu)
GNATMAKE 9.3.0
~Per
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: ada-mode: Debian sid compilation failure
2020-03-25 11:11 ` Per Jakobsen
@ 2020-03-25 14:14 ` Mart van de Wege
2020-03-25 20:03 ` Simon Wright
1 sibling, 0 replies; 6+ messages in thread
From: Mart van de Wege @ 2020-03-25 14:14 UTC (permalink / raw)
Per Jakobsen <pdj@knaldgas.dk> writes:
> søndag den 22. marts 2020 kl. 12.10.03 UTC+1 skrev Mart van de Wege:
>> Since gnat_util lives in gnatprj on Debian, I patched that in
>> ada_mode_wisi_parse.gpr.gp and build *seems* to work fine, until it
>> errors out with:
>>
>> compilation of wisitoken-parse-lr.adb failed
>
> Yep, drops out there with me as well.
>
> Although, before that, mine complains about:
> sal-gen_bounded_definite_stacks.ads:101:06: visibility of aspect for
> "Stack" changes after freeze point
> sal-gen_bounded_definite_stacks.ads:101:27: Meaning of "Top" differs
> because of declaration at line 96
>
I get the same error messages, but I also get those if the compilation
dies on some other point, so these don't look like fatal errors.
Mart
--
"We will need a longer wall when the revolution comes."
--- AJS, quoting an uncertain source.
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: ada-mode: Debian sid compilation failure
2020-03-25 11:11 ` Per Jakobsen
2020-03-25 14:14 ` Mart van de Wege
@ 2020-03-25 20:03 ` Simon Wright
2020-03-26 13:38 ` Mart van de Wege
1 sibling, 1 reply; 6+ messages in thread
From: Simon Wright @ 2020-03-25 20:03 UTC (permalink / raw)
Per Jakobsen <pdj@knaldgas.dk> writes:
> søndag den 22. marts 2020 kl. 12.10.03 UTC+1 skrev Mart van de Wege:
>> Since gnat_util lives in gnatprj on Debian, I patched that in
>> ada_mode_wisi_parse.gpr.gp and build *seems* to work fine, until it
>> errors out with:
>>
>> compilation of wisitoken-parse-lr.adb failed
>
> Yep, drops out there with me as well.
>
> Although, before that, mine complains about:
> sal-gen_bounded_definite_stacks.ads:101:06: visibility of aspect for
> "Stack" changes after freeze point
> sal-gen_bounded_definite_stacks.ads:101:27: Meaning of "Top" differs
> because of declaration at line 96
>
> GPRBUILD Community 2019 (20190517) (x86_64-pc-linux-gnu)
> GNATMAKE 9.3.0
The messages on :101 are a problem with GCC 9. I don't have a
compilation to hand, but the reason for the overall failure is likely
that the compilation is done with -gnatwe (treat warnings as errors).
This is the current version of the code:
type Stack (Size : Size_Type) is tagged record
Top : Base_Peek_Type := Invalid_Peek_Index; -- empty
Data : Element_Array (1 .. Size);
-- Top of stack is at Data (Top).
-- Data (1 .. Top) has been set at some point.
end record with
Dynamic_Predicate => Stack.Top in 0 .. Stack.Size;
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: ada-mode: Debian sid compilation failure
2020-03-25 20:03 ` Simon Wright
@ 2020-03-26 13:38 ` Mart van de Wege
2020-03-26 15:23 ` Simon Wright
0 siblings, 1 reply; 6+ messages in thread
From: Mart van de Wege @ 2020-03-26 13:38 UTC (permalink / raw)
Simon Wright <simon@pushface.org> writes:
> Per Jakobsen <pdj@knaldgas.dk> writes:
>
>> søndag den 22. marts 2020 kl. 12.10.03 UTC+1 skrev Mart van de Wege:
>>> Since gnat_util lives in gnatprj on Debian, I patched that in
>>> ada_mode_wisi_parse.gpr.gp and build *seems* to work fine, until it
>>> errors out with:
>>>
>>> compilation of wisitoken-parse-lr.adb failed
>>
>> Yep, drops out there with me as well.
>>
>> Although, before that, mine complains about:
>> sal-gen_bounded_definite_stacks.ads:101:06: visibility of aspect for
>> "Stack" changes after freeze point
>> sal-gen_bounded_definite_stacks.ads:101:27: Meaning of "Top" differs
>> because of declaration at line 96
>>
>> GPRBUILD Community 2019 (20190517) (x86_64-pc-linux-gnu)
>> GNATMAKE 9.3.0
>
> The messages on :101 are a problem with GCC 9. I don't have a
> compilation to hand, but the reason for the overall failure is likely
> that the compilation is done with -gnatwe (treat warnings as errors).
>
Hmmm. So the question is: would the code work if we treat warnings
non-fatally? Will try sometime this week.
Mart
--
"We will need a longer wall when the revolution comes."
--- AJS, quoting an uncertain source.
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: ada-mode: Debian sid compilation failure
2020-03-26 13:38 ` Mart van de Wege
@ 2020-03-26 15:23 ` Simon Wright
0 siblings, 0 replies; 6+ messages in thread
From: Simon Wright @ 2020-03-26 15:23 UTC (permalink / raw)
Mart van de Wege <mvdwege@gmail.com> writes:
> Simon Wright <simon@pushface.org> writes:
>
>> Per Jakobsen <pdj@knaldgas.dk> writes:
>>
>>> søndag den 22. marts 2020 kl. 12.10.03 UTC+1 skrev Mart van de Wege:
>>>> Since gnat_util lives in gnatprj on Debian, I patched that in
>>>> ada_mode_wisi_parse.gpr.gp and build *seems* to work fine, until it
>>>> errors out with:
>>>>
>>>> compilation of wisitoken-parse-lr.adb failed
>>>
>>> Yep, drops out there with me as well.
>>>
>>> Although, before that, mine complains about:
>>> sal-gen_bounded_definite_stacks.ads:101:06: visibility of aspect for
>>> "Stack" changes after freeze point
>>> sal-gen_bounded_definite_stacks.ads:101:27: Meaning of "Top" differs
>>> because of declaration at line 96
>>>
>>> GPRBUILD Community 2019 (20190517) (x86_64-pc-linux-gnu)
>>> GNATMAKE 9.3.0
>>
>> The messages on :101 are a problem with GCC 9. I don't have a
>> compilation to hand, but the reason for the overall failure is likely
>> that the compilation is done with -gnatwe (treat warnings as errors).
>>
> Hmmm. So the question is: would the code work if we treat warnings
> non-fatally? Will try sometime this week.
Actually, thinking about it again, sal-gen_bounded_definite_stacks is a
generic, the "errors" in which are detected when it's instantiated in
wisitoken-parse-lr.
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2020-03-26 15:23 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-03-22 11:02 ada-mode: Debian sid compilation failure Mart van de Wege
2020-03-25 11:11 ` Per Jakobsen
2020-03-25 14:14 ` Mart van de Wege
2020-03-25 20:03 ` Simon Wright
2020-03-26 13:38 ` Mart van de Wege
2020-03-26 15:23 ` Simon Wright
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox