From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.1 required=5.0 tests=BAYES_00, PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: a07f3367d7,fc2b5af8782d4ca3 X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII X-Received: by 10.180.8.4 with SMTP id n4mr5995118wia.0.1362644797862; Thu, 07 Mar 2013 00:26:37 -0800 (PST) MIME-Version: 1.0 Path: bp2ni77503wib.1!nntp.google.com!feeder1.cambriumusenet.nl!82.197.223.103.MISMATCH!feeder3.cambriumusenet.nl!82.197.223.108.MISMATCH!feeder2.cambriumusenet.nl!feed.tweaknews.nl!193.141.40.65.MISMATCH!npeer.de.kpn-eurorings.net!npeer-ng0.de.kpn-eurorings.net!border2.nntp.ams2.giganews.com!border4.nntp.ams.giganews.com!border2.nntp.ams.giganews.com!nntp.giganews.com!multikabel.net!newsfeed20.multikabel.net!news.mi.ras.ru!goblin2!goblin.stu.neva.ru!feeder.erje.net!eu.feeder.erje.net!nuzba.szn.dk!news.jacob-sparre.dk!munin.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail From: "Randy Brukardt" Newsgroups: comp.lang.ada Subject: Re: can one make a static build Ada+GUI GTK application? Date: Thu, 28 Feb 2013 20:37:48 -0600 Organization: Jacob Sparre Andersen Research & Innovation Message-ID: References: <20130228010057.13659976@hactar.xn--rombobjrn-67a.se> NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net X-Trace: munin.nbi.dk 1362105471 25490 69.95.181.76 (1 Mar 2013 02:37:51 GMT) X-Complaints-To: news@jacob-sparre.dk NNTP-Posting-Date: Fri, 1 Mar 2013 02:37:51 +0000 (UTC) X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2900.5931 X-RFC2646: Format=Flowed; Original X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157 Date: 2013-02-28T20:37:48-06:00 List-Id: "Bj�rn Persson" 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.