Closed fingolfin closed 7 years ago
These changes are required for the new build system in the hpc-merge branch at https://github.com/fingolfin/gap
hpc-merge
I'd argue they are correct for the old HPC-GAP build system, too.
This is a change I have asked for before, and looks like the correct thing to do to me as well.
These changes are required for the new build system in the
hpc-merge
branch at https://github.com/fingolfin/gapI'd argue they are correct for the old HPC-GAP build system, too.