wenzelm [Sat, 10 Oct 2020 21:45:58 +0200] rev 72428
clarified signature: allow complex bash script;
wenzelm [Sat, 10 Oct 2020 21:33:54 +0200] rev 72427
clarified signature;
wenzelm [Sat, 10 Oct 2020 21:19:22 +0200] rev 72426
more standard path output (despite platform_path from d55eb82ae77b);
wenzelm [Sat, 10 Oct 2020 21:12:20 +0200] rev 72425
clarified errors;
wenzelm [Sat, 10 Oct 2020 21:04:49 +0200] rev 72424
tuned signature;
wenzelm [Sat, 10 Oct 2020 20:57:08 +0200] rev 72423
more explicit MinGW context;
wenzelm [Sat, 10 Oct 2020 20:56:09 +0200] rev 72422
more libs for build_csdp;
wenzelm [Sat, 10 Oct 2020 20:31:54 +0200] rev 72421
support for MSYS2/MinGW64 on Windows;
wenzelm [Sat, 10 Oct 2020 17:26:23 +0200] rev 72420
tuned --- according to instructions on Website;
wenzelm [Sat, 10 Oct 2020 14:59:43 +0200] rev 72419
updated to csdp-6.1.1, with support for arm64-linux;
static x86_64-linux has been built on Ubuntu 16.04;