Re: GDC CI

2020-09-07 Thread wjoe via D.gnu
On Monday, 7 September 2020 at 09:14:08 UTC, Iain Buclaw wrote: On Saturday, 5 September 2020 at 21:14:28 UTC, Iain Buclaw wrote: On Saturday, 5 September 2020 at 11:23:09 UTC, wjoe wrote: On Saturday, 5 September 2020 at 10:25:28 UTC, Johannes Pfau wrote: The main difficulty in setting up CI

Re: GDC CI

2020-09-07 Thread wjoe via D.gnu
On Monday, 7 September 2020 at 09:20:21 UTC, Iain Buclaw wrote: On Sunday, 6 September 2020 at 21:52:04 UTC, wjoe wrote: [...] In case it saves some work... Baseline dependencies for Debian/Ubuntu are: autogen autoconf automake bison dejagnu flex libcurl4-gnutls-dev libgmp-dev libisl-dev li

Re: GDC CI

2020-09-07 Thread Iain Buclaw via D.gnu
On Sunday, 6 September 2020 at 21:52:04 UTC, wjoe wrote: On Saturday, 5 September 2020 at 21:14:28 UTC, Iain Buclaw wrote: On Saturday, 5 September 2020 at 11:23:09 UTC, wjoe wrote: On Saturday, 5 September 2020 at 10:25:28 UTC, Johannes Pfau wrote: [...] Please forgive my confusion. There

Re: GDC CI

2020-09-07 Thread Iain Buclaw via D.gnu
On Saturday, 5 September 2020 at 21:14:28 UTC, Iain Buclaw wrote: On Saturday, 5 September 2020 at 11:23:09 UTC, wjoe wrote: On Saturday, 5 September 2020 at 10:25:28 UTC, Johannes Pfau wrote: The main difficulty in setting up CI for GDC is that we can't simply put CI configuration files in t