From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: can one make a static build Ada+GUI GTK application?
Date: Thu, 28 Feb 2013 20:37:48 -0600
Date: 2013-02-28T20:37:48-06:00 [thread overview]
Message-ID: <kgp49v$osi$1@munin.nbi.dk> (raw)
In-Reply-To: 20130228010057.13659976@hactar.xn--rombobjrn-67a.se
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 2211 bytes --]
"Bj�rn Persson" <bjorn@xn--rombobjrn-67a.se> wrote in message
news:20130228010057.13659976@hactar.xn--rombobjrn-67a.se...
Randy Brukardt wrote:
...
>As for operations, there is of course no way to guarantee that the
>library actually works as documented - not even if you write it
>yourself. :-)
That's not quite true: that's what SPARK is for, and to a lesser extent
tools like Codepeer. Not being able to use them is one of the disadvantages
of "linking" rather than using Ada source code: interfacing to non-Ada code
is inherently unsafe.
I know I'm "bad" in this aspect: I don't trust much code (even some that I
wrote myself), especially if it is not in Ada and do so only out of
necessity (I don't have time to write display drivers or a network stack --
but I much preferred programming on MS-DOS, which did virtually nothing for
you, to the current systems with tons of cruft that often doesn't work as
advertised.)
>> And you've also greatly complicated your installation and
>> updating requirements.
>
>I suppose that's true in Windows. In Fedora, "yum install niftyprogram"
>downloads and installs Nifty Program and all the libraries it needs.
>"yum update" updates all installed packages to the latest version. Not
>complicated at all. Other distributions have similar commands, and
>there are also GUI tools for those who want that.
The outrageous amount of time wasted creating and maintaining installers of
any sort (including "package managers") is precisely what I hate about
virtually all systems. (And don't claim it's somehow easier on Linux -- I
read the messages here all the time about packaging screw-ups. And when I
tried to install a supposed update to Perl on my new Debian system the other
day (something I don't even use and am not quite sure why it's on my
system), the package manager announced that it needed to remove 451 other
packages, including GNOME and packages that claimed to be the Linux kernel.
I quickly canceled *that* update and haven't tried since.
Moral: the best dependence is *no* dependence. It's not always practical to
do that, but the less dependence you have the better.
Randy.
next prev parent reply other threads:[~2013-03-01 2:37 UTC|newest]
Thread overview: 32+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-02-17 16:39 can one make a static build Ada+GUI GTK application? Nasser M. Abbasi
2013-02-17 17:04 ` Dmitry A. Kazakov
2013-02-18 23:30 ` Randy Brukardt
2013-02-19 4:33 ` Nasser M. Abbasi
2013-02-19 20:47 ` slos
2013-02-22 4:56 ` Patrick
2013-02-22 23:29 ` Nasser M. Abbasi
2013-02-23 8:06 ` Simon Wright
2013-02-23 8:22 ` Nasser M. Abbasi
2013-02-23 17:09 ` Simon Wright
2013-02-23 12:47 ` Dirk Heinrichs
2013-02-23 13:01 ` Dmitry A. Kazakov
2013-02-25 23:25 ` Randy Brukardt
2013-02-28 0:00 ` Björn Persson
2013-02-28 0:46 ` Nasser M. Abbasi
2013-02-28 8:58 ` Dmitry A. Kazakov
2013-02-28 12:59 ` Nasser M. Abbasi
2013-02-28 13:44 ` Dmitry A. Kazakov
2013-02-28 23:16 ` Nasser M. Abbasi
2013-03-01 8:56 ` Dmitry A. Kazakov
2013-03-01 10:39 ` Georg Bauhaus
2013-03-01 13:06 ` Dmitry A. Kazakov
2013-03-01 22:05 ` Randy Brukardt
2013-03-01 2:53 ` Randy Brukardt
2013-03-01 8:41 ` Dmitry A. Kazakov
2013-03-01 11:57 ` Yannick Duchêne (Hibou57)
2013-03-02 0:18 ` Dennis Lee Bieber
2013-03-02 7:52 ` Dmitry A. Kazakov
2013-03-02 17:17 ` Dennis Lee Bieber
2013-03-01 2:46 ` Randy Brukardt
2013-03-01 2:37 ` Randy Brukardt [this message]
2013-03-02 19:00 ` Shark8
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox