Hunting the UNIX software configure Uber-script - unix

I have been installing alot of Linux software lately. Installing almost always requires running a "configure" script. It has finally dawned on me that pretty much everyone is making their configure scripts by taking one extensive, generic script and tweaking it for their own purposes. If anyone knows what I am talking about, can you tell me the source for this generic configure script? Thanks.

That would be autoconf.
I would imagine that the Goat Book offers a comprehensive treatment of it.
Do not taunt autoconf.

Related

Correct way to create a software install script which can manage dependencies

I'm currently working on an university research related software which uses statistical models in it in order to process some calculations around Item Response Theory. The entire source code was written in Go, whereas it communicates with a Rscript server to run scripts written in R and return the generated results. As expected, the software itself has some dependencies needed to work properly (one of them, as seen before, is to have R/Rscript installed and some of its packages).
Due to the fact I'm new to software development, I can't find a proper way to manage all these dependencies on Windows or Linux (but I'm prioritizing Windows right now). What I was thinking is to have a kind of script which checks if [for example] R is properly installed and, if so, if each used package is also installed. If everything went well, then the software could be installed without further problems.
My question is what's the best way to do anything like that and if it's possible to do the same for other possible dependencies, such as Python, Go and some of its libraries. I'm also open to hear suggestions if installing programming languages locally on the machine isn't the proper way to manage software dependencies, or if there's a most convenient way to do it aside from creating a script.
Sorry if any needed information is missing, I would also like to know.
Thanks in advance

Ada/SPARK: should I be using GNATprove? Where can I find it?

On chapter 22.1 of this Learning Ada, trying to build the examples.
It expects GNATprove to be installed. I am using Ubuntu 18.04 LTS, and I don't see any package that provides it. When I tried to find the main repo, all I found was something at Open Do, and when I click the download button, it appears to be a broken link. Google has little to offer about GNATprove, which is a bit worrying.
I'm new to Ada so I don't really know what I should be using, so if GNATprove is not the right thing, then let me know. I'm also generally expecting a free software toolchain -- is that a reasonable expectation or should I expect to need the "pro" version to see what Ada/SPARK are all about?
GNATprove is the tool used for the formal verification of SPARK, i.e. the provable subset of Ada. If you want to build reliable software and be sure that it does the right thing, it's certainly worth looking at SPARK!
The easiest way to get you hands on SPARK it is to download the GNAT Community Edition from https://www.adacore.com/download which includes GNATprove. The community edition has everything you need to get started wit Ada and SPARK. The main difference of "Pro" is the commercial support.

How to run automated tests with SCIP

I´m new in Scip and trying to make automated testing with Scip.
There is the website https://www.scipopt.org/doc-4.0.1/html/TEST.php but I´m not getting it what to do or doing it wrong. Does someone has experience with automated testing using Scip?
If I want to start a test run using what is given on the website scip replies "command not available". I guess I missed something fundamental to do. Who has a idea what.
Thanks a lot.
Lukas
Reading your latest comment, it is clear that your problem is not with running automated tests but rather with compiling SCIP on Windows in the first place.
There is a small section covering builidng on Windows with cmake in the INSTALL file in the SCIP root directory. Another possibility would be to use the WSL integrated in windows to compile.
I would ask you to write your comments in English, the whole point of stackoverflow is that others might also profit from the answers to your question in the future.

Networking programming skills under UNIX environment

Greeting,
I'm .NET programmer and I've never programmed for UNIX.
Now, I'm planing to start developing my networking programming skills under UNIX environment and I do not know what flavor of UNIX OS I should start and and what language start with too.
I'm thinking to start with Java as alanguage to program with but what UNIX OS should I start with.
please advice.
Regards,
You can start with Linux. Any distrubution.
I recommend Mandriva. It's not too far removed from the Windows experience, and it has worked out of the box for me. (I've used it since before it was labeled "Mandriva"). The live cd's are pretty good, too. I recommend booting up one and trying it out before committing to any distro.
After that, find a good network programming reference. Beej's covers everything I've needed:
link

HTTP Libraries for Emacs

I recently discovered the org-mode in emacs and it works very well for me. I also like www.RememberTheMilk.com. I would like to be able to sync my org-mode file and RTM list. I know that RTM has its API exposed as web services. I am currently looking for a HTTP library that I could use to write my script. I found a couple of links but I am still not entirely satisfied.
http://www.koders.com/lisp/fidB46CCCA8D57FBD093BAF6E08289CFB4DA7624B2B.aspx?s=TV+Raman
http://www.emacswiki.org/cgi-bin/wiki/http-post-simple.el
Any pointers in doing web service interactions with emacs would be very useful. Also please keep in mind that I'm not a seasoned emacs expert. I have broken the initial barriers of emacs and can find my way around elisp. So, be gentle. :-)
Emacs ships with url.el and url-http.el. Although http-get.el, http-post.el and http-cookies.el are in vogue today. Here's the GitHub link where you can get it from.
http://github.com/wfarr/dotfiles/tree/master/.elisp
Any other suggestions are also welcome.
If I were to work on this, I'd use Pymacs to interface Emacs to Python and then use the existing Python API kit for Remember the Milk. Why re-implement all the HTTP crud yourself?

Resources