Re: [Liberty-eiffel] Fwd: Liberty-Eiffel Debian/Ubuntu

[Raphael Mack]

Hello,

sorry for the late response...

Actually Joerg, I am not sure that we understood correctly what you did.
I read your message such that you installed the debian packages. With
those you should not need to modify the path at all, so it would even be
reasonable to remove the reference to your old git-based installation
from your bashrc.

But what you should also consider is, that the debian packages setup a
liberty.se files (which are used to find the tools and libraries)
in /etc and if you have additionally a user-local one in
~/.config/liberty-eiffel/ (which was created by install.sh from your
git-version) this will be used - which can lead to strange effects. So
I'd recommend to (re)move this directory also.

And, as I know, that you don't understand English very well, I'll repeat
in German:
======
Eigentlich sind die Debian-pakete so, dass du die PATH-Variable in
deiner bashrc gar nicht setzen musst und der Eintrag der auf deine
Git-Installation zeigt könnte sogar hinderlich sein.

Desweiteren erzeugt install.sh aus der git-Installation eine
liberty.se-Konfiguration in ~/.config/liberty-eiffel/, die Debian-Pakete
bringen aber eine in /etc. Darum solltest du die Version in deinem
Home-Verzeichnis löschen oder verschieben, dass diese sich nciht in die
Quere kommen.


Kind regards,
Rapha

Am Montag, den 30.05.2016, 13:51 +0200 schrieb Paolo Redaelli:
> Dear Joerg,
> 
> 
> 
>  first of all thank you for pointing out this issue regarding the
> lacking documentation. I'll address it today. Quite luckily today I
> installed bell on my new work machine, a fresh, pristine CentOS 7. I
> issued something like this:
> 
> wget
> http://download.savannah.gnu.org/releases/liberty-eiffel/bell.tar.gz
> tar -axf bell.tar.gz 
> (cd  bell; ./install.sh )
> 
> echo >>~/.bashrc export PATH=$PWD/bell/target/bin/:$PATH
> 
> 
> feel free to answer me directly or on the mailing list. (I've started
> learning german but I'm still not able to asnwer technical questions)
> 
> Open a new terminal (a re-log or reboot would do the same but a new
> terminal will suffice) and you should be able to invoke:
>       * ace_check
>       * class_check
>       * clean
>       * compile
>       * compile_to_c
>       * eiffeldoc
>       * eiffeltest
>       * eiffeltest_ng
>       * eiffeltest_server
>       * extract_internals
>       * finder
>       * mock
>       * pretty
>       * se
>       * short
>       * wrappers_generator
> 
> With se being a comfortable front end for all them.
> 
> Thank you for trying bell!
> 
> 
> 
> 
> 
> 
> 2016-05-30 9:07 GMT+02:00 Cyril ADRIAN <address@hidden>:
>         I forward this to the list.
>         
>         
>         ---------- Forwarded message ----------
>         From: address@hidden
>         <address@hidden>
>         Date: 2016-05-30 8:17 GMT+02:00
>         Subject: AW: [Liberty-eiffel] Liberty-Eiffel Debian/Ubuntu
>         To: Cyril ADRIAN <address@hidden>
>         
>         
>         Bashrc. Liberty-core path ? Error message, no info on the
>         website, doc, ... show me a corect bashrc.
>         
>         Thanks
>         
>         
>         -------- Originalnachricht --------
>         Betreff: Re: [Liberty-eiffel] Liberty-Eiffel Debian/Ubuntu
>         Von: Cyril ADRIAN 
>         An: Joerg Baranczek 
>         Cc: Eiffel 
>         
>         
>                 Hello J.B.,
>                 
>                 Could you please try again in English?
>                 
>                 Thanks,
>                 
>                 Cyril
>                 
>                 Le 29 mai 2016 22:51, "Joerg Baranczek"
>                 <address@hidden> a écrit :
>                         Guten Abend,
>                         
>                         ich habe nach dem Installieren - hat
>                         funktioniert,  das Problem das "se" keine
>                         Programme übersetzt.
>                         
>                         Bisher habe ich liberty-eiffel über git
>                         übersetzt und installiert. Der bisherige
>                         Eintrag des PATH in der .bashrc funktioniert
>                         nicht mehr (siehe die Zeilen auf eurer
>                         Webseite). Beim Übersetzten mit den ACE
>                         Dateien wird auf eine Fehlende
>                         ${path_liberty_core} Umgebungsvariable
>                         verwiesen.
>                         
>                         ICH finde nirgends einen entsprechenden Eitrag
>                         auf eurer Seite oder Installationsanweisungen
>                         in usr/lib etc. Auch finde ich keine man-page
>                         o.ä.
>                         
>                         Könnt ihr mir bitte weiter helfen .
>                         
>                         Danke
>                         
>                         J.B.
>                         
>         
>         
>         
>         -- 
>         Cyril ADRIAN
>         
> 
>