Re: [Liberty-eiffel] Build errors on Linux

[Mehul Sanghvi]

What !! Now you tell me there is no 2 hour turnaround on answering questions !

:)

Questions get answered when they get answered and no sooner than that.

I do understand OO principles.  I am not a wizard at Java.  What is JML ?  I am familiar

with Smalltalk, Objective-C (non-Mac), Scheme, Lisp, Ada, and many others.  You could

say that I know many languages, but am not a master at any.  

Years ago,  the founder of the company I was working at, had the Meyers book on Eiffel.  That

was the first I heard about it.  But it wasn't widely available to play with at the time, at least

not to me, a student at the time.  I was interested in Design by Contract, because it seemed to

make sense to me back then, circa 1992/1993).  I found the Weiner book in a used book store,

and my interested in Design by Contract was rekindled, and here I am.

For me this is a hobby, so for now, the Weiner book will have to suffice.  My day job as a build engineer

doesn't give me much room to experiment or use many languages.

I will most certainly look to the list to get help, and not expect answers in 2 hours or under ! :)

cheers,

      mehul

On Sat, May 31, 2014 at 5:00 PM, Raphael Mack <address@hidden> wrote:

Sorry for the long delay, also from my side. - Beside Liberty we all
have other things and people our heart beats for ;-)

The Book from Wiener is surely fine to get started (although I don't
know it). Anyhow, it depends on you background - do you know the
principles of OO? Or is this your first try do write your own piece of
software? Are you already a wizard in Java and you use JML extensively?

For LibertyEiffel there is no newcomer tutorial. You might want to take
a look at Liberty/tutorial, to find a few sample programs for the
libraries. But from reading those, you'll probably not become an OO
expert with deep insight into theory of Design by Contract and command
query separation. But if you already did some programming they might
help you to learn that in Eiffel there is only one loop syntax and of
course you are welcome to ask whenever you have a question - as long as
you don't expect an answer from us within 2 hours.

Cheers,
Rapha

Am Freitag, den 30.05.2014, 16:26 -0400 schrieb Mehul Sanghvi:

> As for learning Eiffel, I actually have a book "Software Development
> using Eiffel" by Richard Wiener.
>
>
> Had gotten it for like USD 5.49 a while back.
>
>
>
>
>
>
>
> On Thu, May 29, 2014 at 10:40 PM, Mehul Sanghvi
> <address@hidden> wrote:
>         Had to also make changes to the install command options.  But
>         its all done.  I've got
>         Liberty Eiffel installed :)
>
>
>
>
>         Now where do I go to actually learn Eiffel ?
>
>
>         Also is there a newer eiffel.el than
>         ${LIBERTY_HOME}/work/eiffel.el ?
>
>
>
>
>
>
>         On Thu, May 29, 2014 at 6:52 PM, Mehul Sanghvi
>         <address@hidden> wrote:
>
>                 Thanks for the welcome Cyril.
>
>
>                 I have commented out relevant part in the Makefile.
>                 Also I commented out all the "chown root:root"
>                  commands in the install.sh
>                 script.
>
>
>                 Rather then hard coding that for root, might be a good
>                 idea to chown
>                 to the user running the script, unless a username and
>                 groupname are provided
>                 as options to the install.sh script.
>
>
>                 Just a thought.
>
>
>
>
>                 cheers,
>
>
>                     mehul
>
>
>
>
>                 On Thu, May 29, 2014 at 4:15 AM, Cyril ADRIAN
>                 <address@hidden> wrote:
>                         Hi Mehul,
>
>
>                         Welcome to Liberty Eiffel :-)
>
>
>                         There have been evolutions in the core
>                         compiler and language, but eiffeldoc has not
>                         yet been upgraded. I am surprised it even
>                         compiled.
>
>
>                         I guess the best solution, for now, is to
>                         patch the script to skip the doc generation.
>
>
>                         Cheers,
>
>
>                         Cyril
>
>
>                         2014-05-29 6:12 GMT+02:00 Mehul Sanghvi
>                         <address@hidden>:
>
>                                 OS:  Debian/testing
>                                 Arch:  PowerPC
>
>
>
>
>                                 I cloned from the git master repo
>                                 at git://git.savannah.gnu.org/liberty-eiffel.git
>                                 and followed the instructions on
>                                 building from source.
>
>
>                                 I got the following:
>
>
>                                 % make
>                                 bash install.sh -bootstrap -plain
>                                 Checking BDW GC
>                                 Version 07.02
>                                 Checking required programs.
>                                  100.0%
>                                  All programs present, proceeding.
>
>
>
>
>                                 Preparing /media/disk-1/local/src/liberty-eiffel/target
>                                 Preparing Liberty environment
>                                 Bootstrapping SmartEiffel tools
>                                  100.0%
>                                  done.
>
>
>
>
>                                 touch .flag-bootstrap
>                                 bash install.sh -doc -plain
>                                 Checking BDW GC
>                                 Version 07.02
>                                 Log
>                                 is /media/disk-1/local/src/liberty-eiffel/target/log/build_doc-20140522-002915.log
>                                 Cleanup
>                                 Building
>                                 se failed with status 1
>                                 Please look
>                                 at /media/disk-1/local/src/liberty-eiffel/target/log/build_doc-20140522-002915.log
>                                 se failed with status 1
>                                 Please look
>                                 at /media/disk-1/local/src/liberty-eiffel/target/log/build_doc-20140522-002915.log
>                                 se failed with status 1
>                                 Please look
>                                 at /media/disk-1/local/src/liberty-eiffel/target/log/build_doc-20140522-002915.log
>                                 se failed with status 1
>                                 Please look
>                                 at /media/disk-1/local/src/liberty-eiffel/target/log/build_doc-20140522-002915.log
>                                 se failed with status 1
>                                 Please look
>                                 at /media/disk-1/local/src/liberty-eiffel/target/log/build_doc-20140522-002915.log
>                                  100.0%
>                                  Finished with status 5.
>
>
>
>
>
>
>
>
>                                 I have attached
>                                 the build_doc-20140522-002915.log and
>                                 have looked at it myself and what I
>                                 see
>                                 is the following:
>
>
>                                 *** Looking for REAL_32 without point
>                                 of view!
>                                 *** Looking for REAL_32 without point
>                                 of view!
>                                   121
>                                   /media/disk-1/local/src/liberty-eiffel/src/lib/numeric/real_32.e
>                                   122
>                                   /media/disk-1/local/src/liberty-eiffel/src/lib/numeric/internal/integer_range_iterator.e
>                                 Eiffel program crash at run time.
>                                 No trace when using option "-boost"
>                                 Received signal 11.
>                                 se failed with status 1
>                                 Please look
>                                 at /media/disk-1/local/src/liberty-eiffel/target/log/build_doc-20140522-002915.log
>                                 ~~~~ Finished with status 5. ~~~~
>
>
>                                 I am not sure what it is talking about
>                                 in the logs, since I do not know
>                                 anything about Eiffel yet.
>
>
>
>
>                                 Any thoughts or suggestions ?
>
>
>
>
>                                 cheers,
>
>
>                                         mehul
>
>
>
>
>                                 --
>                                 Mehul N. Sanghvi
>                                 email: address@hidden
>
>
>
>
>
>
>                 --
>                 Mehul N. Sanghvi
>                 email: address@hidden
>
>
>
>
>         --
>         Mehul N. Sanghvi
>         email: address@hidden
>
>
>
>
> --
> Mehul N. Sanghvi
> email: address@hidden

--
Mehul N. Sanghvi
email: address@hidden