Problem with GPS and Generating Body from Spec

Problem with GPS and Generating Body from Spec

[Laurent]

Hi

I tried to use the function from the GPS's Edit Menu: Generate Body. I get a progress bar at the right
upper corner but then nothing.

I found that the tool required for this is gnatstub. It is checked in the configuration and I found it is sitting at the right place.

Tried to use it from the command line but too many options to figure out by myself how to get it to work.

I use gnat-gpl 2014.

I remember having used it before with gnat-gpl 2013 and there it worked.

Any idea whats wrong or how to use it from the terminal?

Thanks

Laurent

Re: Problem with GPS and Generating Body from Spec

[Anh Vo]

On Friday, June 5, 2015 at 1:13:31 PM UTC-7, Laurent wrote:
> Hi
> 
> I tried to use the function from the GPS's Edit Menu: Generate Body. I get a progress bar at the right
> upper corner but then nothing. 
> I found that the tool required for this is gnatstub. It is checked in the configuration and I found it is sitting at the right place. 
> Tried to use it from the command line but too many options to figure out by myself how to get it to work. 
> I use gnat-gpl 2014. 
> I remember having used it before with gnat-gpl 2013 and there it worked. 
> Any idea whats wrong or how to use it from the terminal?
 

It worked for me even on Windows.

Anh Vo

Re: Problem with GPS and Generating Body from Spec

[Laurent]

On Saturday, 6 June 2015 03:55:32 UTC+2, Anh Vo  wrote:

> It worked for me even on Windows.
> 
> Anh Vo

With an old version of GPS (5.2.1) I get at least an error message but no idea what it actually means:

gnat stub -P/Volumes/Kingston/GPS/Generateur Trame Vitek/generateur_trame_vitek.gpr /Volumes/Kingston/GPS/Generateur Trame Vitek/matricules-io.ads /Volumes/Kingston/GPS/Generateur Trame Vitek/
gnatstub: cannot create the tree file for /Volumes/Kingston/GPS/Generateur Trame Vitek/matricules-io.ads

I tried the command from the terminal and I get the error that the project file can not be found on my $PATH. Why is gnatstub trying to find it there if it gets the location of the gpr file provided?

I have the problem on my MacBook Air and MacPro both under Yosemite and gnat 2014.
I have tried on my MiniMac with Lion but gnat 2014 doesn't seem to be compatible, segmentation fault 11. If I have time I will try with gnat 2013.

Any ideas what I could try else? I have to get gnat running under windows but for another reason. So I will try that one when I have time or when sufficiently motivated.

Thanks

Laurent

Re: Problem with GPS and Generating Body from Spec

[Ludovic Brenta]

Laurent <lutgenl@icloud.com> writes:
> On Saturday, 6 June 2015 03:55:32 UTC+2, Anh Vo  wrote:
>
>> It worked for me even on Windows.
>> 
>> Anh Vo
>
> With an old version of GPS (5.2.1) I get at least an error message but
> no idea what it actually means:
>
> gnat stub -P/Volumes/Kingston/GPS/Generateur Trame
> Vitek/generateur_trame_vitek.gpr /Volumes/Kingston/GPS/Generateur
> Trame Vitek/matricules-io.ads /Volumes/Kingston/GPS/Generateur Trame
> Vitek/ gnatstub: cannot create the tree file for
> /Volumes/Kingston/GPS/Generateur Trame Vitek/matricules-io.ads
>
> I tried the command from the terminal and I get the error that the
> project file can not be found on my $PATH. Why is gnatstub trying to
> find it there if it gets the location of the gpr file provided?
>
> I have the problem on my MacBook Air and MacPro both under Yosemite
> and gnat 2014.  I have tried on my MiniMac with Lion but gnat 2014
> doesn't seem to be compatible, segmentation fault 11. If I have time I
> will try with gnat 2013.
>
> Any ideas what I could try else? I have to get gnat running under
> windows but for another reason. So I will try that one when I have
> time or when sufficiently motivated.

The first thing that comes to my mind is that space characters in a file
or directory name often expose bugs in software not prepated to deal
with these spaces.

Therefore, the first thing I suggest is to remove the spaces from the
path-name of the file.

--
Ludovic Brenta.

Re: Problem with GPS and Generating Body from Spec

[Georg Bauhaus]

On 07.06.15 22:29, Laurent wrote:
> I have the problem on my MacBook Air and MacPro both under Yosemite and gnat 2014.
> I have tried on my MiniMac with Lion but gnat 2014 doesn't seem to be compatible, segmentation fault 11. If I have time I will try with gnat 2013.

(As Lodovic says.) The README.txt of GNAT 2014 GPL has this:


"Special Notes:

   - MacOS X Yosemite users need to:

     - either add the following environment variable in their environment:

       $ export MACOSX_DEPLOYMENT_TARGET=10.9

     - or add -mmacosx-version-min=10.9 to their compiler switches"


Support for OS X 10.10 has been announced, sort of, on the GPS mailing
list, for GNAT GPL 2015. That's according to
http://permalink.gmane.org/gmane.comp.ide.gps.user/636

Re: Problem with GPS and Generating Body from Spec

[Laurent]

Ah yes the space char problem, didn't thought that could be a problem. Will fix my folder name. I know that gnat installation fails because of this but not that it could provoque errors later on.

Yes the compiler flag with 10.9 for yosemite I have enabled it otherwise gnat doesn't work at all

Thanks

Laurent

Re: Problem with GPS and Generating Body from Spec

[Laurent]

On Monday, 8 June 2015 11:27:24 UTC+2, Laurent  wrote:
> Ah yes the space char problem, didn't thought that could be a problem. Will fix my folder name. I know that gnat installation fails because of this but not that it could provoque errors later on.
> 
> Yes the compiler flag with 10.9 for yosemite I have enabled it otherwise gnat doesn't work at all
> 
> Thanks
> 
> Laurent

Under MacOS 10.10 and gnat-gpl 2014 the problem is half solved. GPS Generate Body still broken even after removing the spaces from the folder names. I still get the cannot generate tree...

But gnatstub from the terminal now works and generates the file as it should.

Under MacOS 10.7 and gnat-gpl 2013 it seems to be only half broken in gps. I get an empty file.

Unfortunately I have no longer an mac with mountain lion (10.8) or mavericks (10.9) to try if it works.

Thanks

Laurent

Re: Problem with GPS and Generating Body from Spec

[David Botton]

Have you tried switching to use the community Ada, FSF-GNAT for Mac OS X, I've had no issues like this with it. http://GetAdaNow.com has pointers to it.

David Botton

Re: Problem with GPS and Generating Body from Spec

[Laurent]

On Monday, 8 June 2015 16:37:11 UTC+2, David Botton  wrote:
> Have you tried switching to use the community Ada, FSF-GNAT for Mac OS X, I've had no issues like this with it. http://GetAdaNow.com has pointers to it.
> 
> David Botton


Yes thanks with FSF-gnat it works if compiler/tools are both pointing to the FSF-gnat/bin.
Changed path for the tools to the gpl-gnat/bin and nothing happens. I also tried transplanting the FSF-gnatstub to the gpl folder. Didn't work. Perhaps I should write a mail to Adacore?

Thanks

Laurent

Re: Problem with GPS and Generating Body from Spec

[Randy Brukardt]

"Ludovic Brenta" <ludovic@ludovic-brenta.org> wrote in message 
news:878ubvqhiw.fsf@ludovic-brenta.org...
> Laurent <lutgenl@icloud.com> writes:
...
>> Any ideas what I could try else? I have to get gnat running under
>> windows but for another reason. So I will try that one when I have
>> time or when sufficiently motivated.
>
> The first thing that comes to my mind is that space characters in a file
> or directory name often expose bugs in software not prepated to deal
> with these spaces.

And quite often in software that IS (supposedly) prepared to deal with them. 
:-) It periodically happens that we find something in our compiler or 
toolset that mishandles some unusual file name, even after years of fixing 
such problems. I suspect it's more common in Unix/Posix/Linux software where 
such spaces are less common than on Windows.

                                                       Randy.

Re: Problem with GPS and Generating Body from Spec

[wowwomenonwheels205]

Postal Lottery: Turn $6 into $60,000 in 90 days, GUARANTEED

I found this in a news group and decided to try it. A little while
back, I was browsing through newsgroups, just like you are now and
came across a message just like this that said you could make
thousands of dollars within weeks with only an initial investment of
$6.00!!!

So I thought yeah right, this must be a scam!!! But like most of us, I
was curious, so I kept reading. Anyway, it said that you send $1.00 to
each of the 6 names and addresses stated in the message. You then
place your own name and address at the bottom of the list at #6 and
post the message in at least 200 news groups. (There are thousands to
choose from). No catch, that was it.

So after thinking it over, and talking to a few people first. I
thought about trying it. I figured, what have I got to lose except 6
stamps and $6.00, right? So I invested the measly $6.00!!! Guess what?
Within 7 days I started getting money in the mail!!! I was shocked!!!
I figured it would end soon, but the money just kept coming in!!! In
my first week, I had made about $25.00. By the end of the second week,
I had made a total of over $1,000.00!!! In the third week, I had over
$10,000.00 and it is still growing!!! This is now my fourth week and I
have made a total of just over $42,000.00 and it is still coming in
rapidly!!! It's certainly worth $6.00 and 6 stamps!!! I have spent
more than that on the lottery!!!

Let me tell you how this works and most importantly, why it works!!!

Also, make sure you print a copy of this message now. So you can get
the information off of it as you need it. I promise you that if you
follow the directions exactly, that you will start making more money
than you thought possible by doing something so easy!!!

Suggestion: Read this entire message carefully!!! (Print it out or
download it.) Follow the simple directions and watch the money come
in!!! It's easy!!! It's legal!!! Your investment is only $6.00 (plus
postage).

IMPORTANT: This is not a rip-off!!! It is not illegal!!! ? It is
almost entirely risk free and it really works!!! If all of the
following instructions are adhered to, you will receive extraordinary
dividends!!!

Please note: Follow these directions EXACTLY, and $60,000.00 or more
can be yours in 20 to 90 days!!! This program remains successful
because of the honesty and the integrity of the participants!!! Please
continue its success by carefully adhering to the instructions.

You will now become part of the mail order business. In this business
your product is not solid or tangible, it is a service. You are in the
business of developing mailing lists. Many large corporations are
happy to pay big bucks for quality lists. However, the money made from
a mailing list is secondary to the income which is made from people
like you and me asking to be included on your mailing list!!!

Here are the 4 easy steps to success:-

Step 1:- Get 6 separate pieces of paper and write the following on
each piece of paper.

PLEASE PUT ME ON YOUR MAILING LIST

Now get 6 U.S. dollar bills and place ONE inside each of the 6 pieces
of paper so the bills will not be seen through the envelopes (to
prevent mail theft). Next, place one paper in each of the 6 envelopes
and seal them, you should now have 6 sealed envelopes. Each with a
piece of paper stating the above phrase, your name and address, and a
$1.00 bill.

THIS IS ABSOLUTELY LEGAL!!! YOU ARE REQUESTING A LEGITIMATE SERVICE
AND YOU ARE PAYING FOR IT!!!

Like most of us, I was a little skeptical and a little worried about
the legal aspect of it all. So I checked it out with the U.S. Postal
Service and they confirmed that it is indeed legal!!!

Mail the 6 envelopes to the following addresses:-
D. Kumar
Room 2.36 Burkhardt House
Oxford Place, Victoria Park
M14 5RR Manchester
ENGLAND

T. Perce
11505 Headley Avenue
Cleveland, Oh 44111

T. Beckers
Rijksweg 46
6267AH Cadier en Keer
The Netherlands

J. Eddolls
144 Pursey Drive
Bradley Stoke
Bristol
BS32 8DP
United Kingdom

Louis Joseph
1933 Highway 35, #104
Wall, NJ 07719

Jesse Quiroz
2845 Franklin #1001 
Mesquite, Texas 75150

Step 2:- Now take the #1 name off the list that you see above, move
the other names up (6 becomes 5, 5 becomes 4, etc.) and add your name
as number 6 on the list.

Step 3:- Change anything you need to, but try to keep this message as
close to what you see as possible. Now, post your amended message to
at least 200 news groups. I think there are close to 24,000 groups!!!
All you need is 200, but remember, the more you post, the more money
you make!!! This is perfectly legal!! If you have any doubts, refer to
Title18 Sec. 1302 & 1341 of the postal lottery laws. Keep a copy of
these steps for yourself and whenever you need money, you can use it
again.

Please remember that this program remains successful because of the
honesty and the integrity of the participants and by their carefully
adhering to the directions!!!

Look at it this way. If you are of integrity, the program will
continue and the money that so many others have received will come
your way!!!

Note: - You may want to retain every name and address sent to you,
either on your computer or hard copy and keep the notes people send
you. This verifies that you are truly providing a service. Also, it
might be a good Idea to wrap the $1 bills in dark paper to reduce the
risk of mail theft.

So, as each post is downloaded and the directions carefully followed,
six members will be reimbursed for their participation as a list
developer with one dollar each. Your name will move up the list
geometrically so that when your name reaches the #1 position, you will
be receiving thousands of dollars in cash!!! What an opportunity for
only $6.00!!! ($1.00 for each of the first six people listed above).

Send it now, add your own name to the list and your in business!!!


DIRECTIONS FOR HOW TO POST TO A NEWS GROUP!!!

Step 1:- You do not need to re-type this entire message to do your own
posting. Simply put your cursor at the beginning of this message and
drag your cursor to the bottom of this message and select copy from
the edit menu. This will copy the entire message into the computer
memory.

Step 2:- Open a blank note pad file and place your cursor at the top
of the blank page. From the edit menu select paste. This will paste a
copy of the message into notepad so that you can add your name to the
list.

Step 3:- Save your new notepad file as a txt file. If you want to do
your posting in a different setting, you'll always have this file to
go back to.

Step 4:- Use Netscape or Internet Explorer and try searching for
various news groups (on-line forums, message boards, chat sites,
discussions, etc.)

Step 5:- Visit these message boards and post this message as a new
message by highlighting the text of this message from your notepad and
selecting paste from the edit menu. Fill in the subject, this will be
the header that everybody sees as they scroll through the list of
postings in a particular group. Click the post message button. You've
done your first one! Congratulations!!! All you have to do is jump to
different news groups and post away, after you get the hang of it, it
will take about 30 seconds for each news group!

REMEMBER, THE MORE NEWS GROUPS YOU POST IN, THE MORE MONEY YOU WILL
MAKE!!! (But you have to post a minimum of 200).

That's it!!! You will begin receiving money from around the world
within days!!! You may eventually want to rent a P.O. Box due to the
large amount of mail you will receive. If you wish to stay anonymous,
you can invent a name to use, as long as the postman will deliver it.

JUST MAKE SURE ALL THE ADDRESSES ARE CORRECT!!!

Now the why part. Out of 200 postings, say you receive only 5 replies
(a very low example). So then you made $5.00 with your name at #6 on
the letter. Now, each of the 5 persons who sent you $1.00 make the
minimum 200 postings, each with your name at #5 and only 5 persons
respond to each of the original 5, that is another $25.00 for you. Now
those 25 each make 200 MINIMUM posts with your name at #4 and only 5
replies each, you will bring in an additional $125.00!!! Now, those
125 persons turn around and post the minimum 200 with your name at #3
and only receive 5 replies each, you will make an additional
$625.00!!! OK, now here is the fun part, each of those 625 persons
post a minimum 200 messages with your name at #2 and they each only
receive 5 replies, that
just made you $3,125.00!!! Those 3,125 persons will all deliver this
message to 200 news groups. If just 5 more reply you will receive
$15,625.00!!! All with an original investment of only $6.00!!! Amazing
isn't it!!!! When your name is no longer on the list, you just take
the latest posting in the news groups and send out another $6.00 to
the names on the list, putting your name at number 6 again.

You must realize that thousands of people all over the world are
joining the internet and reading these messages every day!!! Just like
you are now!!! So, can you afford $6.00 and see if it really works?
I'm glad I did!!! People have said, "what if the plan is played out
and no one sends you the money?" So what!!! What are the chances of
that happening, when there are tons of new honest users and new honest
people who are joining the internet and news groups everyday and are
willing to give it a try? Estimates are at 20,000 to 50,000 new users,
every day!!!

REMEMBER PLAY HONESTLY AND FAIRLY AND THIS WILL REALLY WORK!!!

-- Comments/Feedback (please post your feedback/experiences here) --

Not bad for 1 hr's work....made me around $5320 in roughly 35 days
Anthony M - TX

Hello, I rcvd 269 bucks in the post in 2 weeks.
Dan Miami - FL

I had to wait around 10 days before I had any results - $13,450 as of
3rd Jan 2003 to date (14th Feb 2003).Am gonna re-post it again for
more money!!
Del from Alberta - Canada

Only received around  588 in the post the last 2 months since I
started the program but I'd posted to approx. 100 newsgroups.
James P - Manchester, UK

Cool....didn't expect much out of this "scam" initially but I have pay
my credit card bill
Mustafa - Jordan

For $6,I made $246 in 2 weeks
ROMEO2326 - Little Rock, AR -US of A

Hey, just droppin a line to say that after posting to well over 820
newsgroups on google and my ISP newsgroup server over a period of 4
1/2 months ,Ive raked in $54280 . Mucho dinero baby!!!! Peace 
Drew Dallas - TX

Re: Problem with GPS and Generating Body from Spec

[Simon Wright]

Laurent <lutgenl@icloud.com> writes:

> On Monday, 8 June 2015 16:37:11 UTC+2, David Botton  wrote:
>> Have you tried switching to use the community Ada, FSF-GNAT for Mac
>> OS X, I've had no issues like this with it. http://GetAdaNow.com has
>> pointers to it.
>> 
>> David Botton
>
>
> Yes thanks with FSF-gnat it works if compiler/tools are both pointing
> to the FSF-gnat/bin.
> Changed path for the tools to the gpl-gnat/bin and nothing happens. I
> also tried transplanting the FSF-gnatstub to the gpl folder. Didn't
> work. Perhaps I should write a mail to Adacore?

The compiler and the ASIS-based tools like gnatstub need to be
consistent. It's possible to have a cross-compiler and native tools, but
they need to be from the same compiler base (because GNAT's ASIS uses
the binary-format .adt files generated with -gnatt, and uses code from
the compiler source to access them. It checks first that the compiler
releases are consistent.)

I just tried GPS 2014 with gcc & gnatstub from GNAT GPL 2014 on
Mavericks, worked fine.

Re: Problem with GPS and Generating Body from Spec

[Laurent]

On Tuesday, 9 June 2015 12:16:05 UTC+2, Simon Wright  wrote:

> I just tried GPS 2014 with gcc & gnatstub from GNAT GPL 2014 on
> Mavericks, worked fine.

So it could be related to Yosemite? As the FSF suite works I am happy. 

Thanks

Laurent

Re: Problem with GPS and Generating Body from Spec

[David Botton]

> So it could be related to Yosemite? As the FSF suite works I am happy. 

Simon did an amazing job on it. In general better if people are using the FSF suite since it means more testing for the community.

David Botton

Re: Problem with GPS and Generating Body from Spec

[Laurent]

I have to admit that the gpl-gnat vs FSF story is confusing me. With the gpl one you are not as free as one might believe. The FSF one is better but only if you don't use some tainted libraries from Adacore. 
I am not a programmer and never will be. I have no CS background and I hate math. So I will never get some certified piece of paper. So I will probably never have to care about the license because I won't develop some offical program or whatever.
I am learning Ada because I like the language: it is easy to learn (some parts of it) and it doesn't look like math.
So as long as I get access to the necessary tools for free and they work I don't care where they are from. Natural selection will do the rest or preventing by artificially stoping it with a lot of money.
I don't know if Simon is doing the work for FSF all alone. If it is a oneman show (respect) and there is no one who can/will continue, well that would be the end of the story.
Adacore is repeating the errors Apple made in the 80's. Only that Adacore has no Steve Jobs to save them.

Laurent

Re: Problem with GPS and Generating Body from Spec

[Simon Wright]

Laurent <lutgenl@icloud.com> writes:

> I don't know if Simon is doing the work for FSF all alone. If it is a
> oneman show (respect) and there is no one who can/will continue, well
> that would be the end of the story.

We might have given you the wrong impression here.

Almost all the development work for Ada in FSF GCC is done by AdaCore; they
develop in-house, and do a major import from their own code into the GCC
code at the start of every major development milestone of GCC (that is,
4.6, 4.7, 4.8, 4.9, 5.1 ...) and fix up problems during the GCC release
process.

What I've done is to build the FSF GCC releases for Mac. In the process
I've found a few bugs (and fixed some of them).

I've built GNAT GPL 2014 to cross-compile for ARM microcontrollers on
the Mac (AdaCore only provide Linux and Windows versions, I believe).