-
-
Notifications
You must be signed in to change notification settings - Fork 685
Closed
Milestone
Description
This is for #21534.
The ticket also changes "make -j1" to "$MAKE".
The "-j1" should be unnecessary. The Makefile.patch purports to fix the dependency problems of the original Makefile; and a parallel build works for me with it.
CC: @videlec @jdemeyer @dimpase
Component: packages: optional
Author: Matthias Koeppe
Branch/Commit: 808f960
Reviewer: Jeroen Demeyer
Issue created by migration from https://trac.sagemath.org/ticket/21572