CoCoA Project

14 Oct 2022

20:12 CoCoALib Design #1699: Shell scripts: Shebang line, etc

On a more practical note, perhaps the following shebang line provides the behavior that you want (without warranty or... Ulrich von der Ohe

12 Oct 2022

19:07 CoCoALib Design #1699: Shell scripts: Shebang line, etc

I agree the CoCoA scripts should consistently use only one of the shebang options. I think either option has a potent... Ulrich von der Ohe

11 Oct 2022

17:59 CoCoA-5 Support #1393: GUI with Qt5

I attach a revised version of the shell script. It is somewhat modeled after @configuration/gmp-check-cxxflags.sh@ (a... Ulrich von der Ohe

08 Oct 2022

13:17 CoCoA-5 Support #1393: GUI with Qt5

I am not convinced the macOS specific stuff in @make-c5makefile.sh@ is still useful. I certainly have not altered it ... Ulrich von der Ohe

07 Oct 2022

19:53 CoCoA-5 Support #1393: GUI with Qt5

I attach a new version of @qt5check.sh@. Please use this one instead of the one I uploaded earlier.
For macOS, the... Ulrich von der Ohe

15:26 CoCoA-5 Support #1393: GUI with Qt5

Hi John, I attach three files which I think should do the job:
1) @qt5check.sh@: Checks for @qmake@, runs it it on... Ulrich von der Ohe

28 Sep 2022

12:37 CoCoA-5 Support #1393: GUI with Qt5

As far as I can tell, potential future licensing issues w.r.t. QCodeEdit are independent of the move to Qt5. Hence it... Ulrich von der Ohe