GPL Versions

88 views
Skip to first unread message

Jimmy Johnson

unread,
Jan 20, 2023, 5:10:11 PM1/20/23
to Eiffel Users
What is the latest GPL release and where can I find it?
thanks,
jjj

Jimmy Johnson

unread,
Oct 22, 2023, 11:16:28 AM10/22/23
to Eiffel Users
Bump.

Are we still doing GPL versions?
jjj

Ulrich Windl (Google)

unread,
Oct 22, 2023, 11:38:09 AM10/22/23
to eiffel...@googlegroups.com
Maybe the best strategy to force releasing more recent versions is to make pull requests for the old GPL version, so the merger gets the frustration instead 😉

22.10.2023 17:16:28 Jimmy Johnson <eiffe...@gmail.com>:
> --
> You received this message because you are subscribed to the Google Groups "Eiffel Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to eiffel-users...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/eiffel-users/276b912e-b776-4bf7-ab17-29cb1408ddcdn%40googlegroups.com[https://groups.google.com/d/msgid/eiffel-users/276b912e-b776-4bf7-ab17-29cb1408ddcdn%40googlegroups.com?utm_medium=email&utm_source=footer].

Jimmy Johnson

unread,
Oct 22, 2023, 1:45:47 PM10/22/23
to Eiffel Users
I don't understand.  Where?  How?
What is the latest old version?
jjj

Chris Tillman

unread,
Oct 22, 2023, 2:42:05 PM10/22/23
to eiffel...@googlegroups.com
Perhaps you're not familiar with Google.

EiffelStudio is the IDE for the Eiffel programming language.
The main public repository for the source code of EiffelStudio is a subversion repository located at:
https://svn.eiffel.com/eiffelstudio-public
In addition, there is a mirror hosted on GitHub that only contains the development branch (i.e. trunk subdirectory of the above subversion repository) at:
https://github.com/EiffelSoftware/EiffelStudio
The source code is licensed under the GPL v2.0 license, see gpl.txt for a copy of the license.



--
Chris Tillman
Developer

Rosivaldo Fernandes Alves

unread,
Oct 22, 2023, 2:49:46 PM10/22/23
to eiffel...@googlegroups.com
Some one looks for help. Please just help. No sarcasm needed.

Rosivaldo F Alves

Em 22/10/2023 15:41, Chris Tillman escreveu:
> Perhaps you're not familiar with Google.
>
> (...)
OpenPGP_0x1317CD3C14C9456E.asc
OpenPGP_signature.asc

Chris Tillman

unread,
Oct 22, 2023, 4:01:42 PM10/22/23
to eiffel...@googlegroups.com
You're right, Rosivaldo. I apologize.

--
You received this message because you are subscribed to the Google Groups "Eiffel Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to eiffel-users...@googlegroups.com.


--
Chris Tillman
Developer

Jimmy Johnson

unread,
Oct 22, 2023, 11:42:18 PM10/22/23
to Eiffel Users
Thanks for the link.  So it looks like 20.05 is the newest GPL version?

I was hoping for a package that does not require compile/build.

I have Eiffel_20.05_rev_104521-linux-armv7.tar.bz2, but when attempting to execute "ec" I get:
cannot execute: required file not found.  I don't know which file is missing, but probably missing some libary?

So, do the instructions at "https://www.eiffel.org/doc/eiffelstudio/Linux" apply to 20.05 or just to the newest version, because I try to "sudo apt-get install libgtk-3.0-dev" and get:
Reading package lists... Done
Building dependency tree... Done
Reading state information... Done
E: Unable to locate package libgtk-3.0-dev
E: Couldn't find any package by glob 'libgtk-3.0-dev'
E: Couldn't find any package by regex 'libgtk-3.0-dev'

On the RPi-4 I'm using Debian GNU/Linux 12 (bookworm).

BTW, sarcasm is okay.  And, I do appreciate the help.  Thanks.

jjj

Werner Lioen

unread,
Oct 23, 2023, 3:50:32 AM10/23/23
to eiffel...@googlegroups.com
Jimmy,

For the raspberry pi 4 you need an arm64 built instead of armv7.

Please check the name of the gtk library you are trying to install, it is probably named otherwise in Debian.

Cheers, Werner

From: eiffel...@googlegroups.com <eiffel...@googlegroups.com> on behalf of Jimmy Johnson <eiffe...@gmail.com>
Sent: Monday, October 23, 2023 5:42:18 AM
To: Eiffel Users <eiffel...@googlegroups.com>
Subject: Re: [eiffel-users] Re: GPL Versions
 

Jocelyn Fiat

unread,
Oct 23, 2023, 6:24:08 AM10/23/23
to eiffel...@googlegroups.com
On raspberry pi
You can add needed packages

sudo apt install ca-certificates curl bzip2 gcc make dist libxtst-dev libgtk2.0-dev libgtk-3-dev libgdk-pixbuf2.0-dev libssl-dev pax dos2unix subversion

And then download latest EiffelStudio   (not GPL)
if you install the arm64 version of Raspberry pi OS
or if you install the default (armv7) version of Raspberry pi OS

I guess you know how to set up your Eiffel environment on unices from the archive file  .tar.bz2 .

Regards




--
Jocelyn
------------------------------------------------------------------------
Eiffel Software
https://www.eiffel.com
Customer support: https://support.eiffel.com
User group: https://groups.google.com/forum/#!forum/eiffel-users
------------------------------------------------------------------------

Jimmy Johnson

unread,
Oct 23, 2023, 6:01:03 PM10/23/23
to Eiffel Users
On Monday, October 23, 2023 at 1:50:32 AM UTC-6 Werner Lioen wrote:
Jimmy,

For the raspberry pi 4 you need an arm64 built instead of armv7.
 
From a previous thread, https://groups.google.com/g/eiffel-users/c/MHzJDj8jYu4/m/QULviE9XBAAJ, "Raspberry pi is already supported, see the armv7 platform" followed by a link to ...-armv7.tar.bz2.  I had the Pi running last year, but the OS on the Pi has changed since then.  Now I'm stuck.
 
Please check the name of the gtk library you are trying to install, it is probably named otherwise in Debian.
How do I do that?
thanks,
jjj

Jimmy Johnson

unread,
Oct 23, 2023, 10:34:14 PM10/23/23
to Eiffel Users
Thanks Jocelyn.  The "arm64" version appears to work.  Have not compile anything yet.

Just for kicks I tried the sudo apt-get ... instructions at https://www.eiffel.org/doc/eiffelstudio/Linux but instead of 
sudo apt-get install libgtk-3.0-dev
I used 
sudo apt-get install libgtk-3-dev
droppping the ".0" and that installed.

Maybe that means something to you.
Anyway, thanks again,
jjj


On Monday, October 23, 2023 at 4:24:08 AM UTC-6 jf...@eiffel.com wrote:
On raspberry pi
You can add needed packages

sudo apt install ca-certificates curl bzip2 gcc make dist libxtst-dev libgtk2.0-dev libgtk-3-dev libgdk-pixbuf2.0-dev libssl-dev pax dos2unix subversion

And then download latest EiffelStudio   (not GPL)
if you install the arm64 version of Raspberry pi OS
or if you install the default (armv7) version of Raspberry pi OS

I guess you know how to set up your Eiffel environment on unices from the archive file  .tar.bz2 .

Regards
--
Reply all
Reply to author
Forward
0 new messages