[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Paolo Redaelli
Subject: Re: [Liberty-eiffel] Fwd: Liberty-Eiffel Debian/Ubuntu
Date: Mon, 30 May 2016 13:51:41 +0200

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:

tar -axf bell.tar.gz
(cd  bell; ./ )
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:

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.


-------- 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?



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 .




reply via email to

[Prev in Thread] Current Thread [Next in Thread]