mathcomp: update to 1.8.0.

srcpkgs/mathcomp/patches/PR174.patch

@@ -1,28 +0,0 @@
-From bda1aa9d494e4c92374db32f47e456ff9cd35540 Mon Sep 17 00:00:00 2001
-From: Jason Gross <jgross@mit.edu>
-Date: Mon, 18 Dec 2017 17:05:45 -0500
-Subject: [PATCH] Enable parallel build, fix #88
-
-Apparently, the jobserver flags don't show up until we're actually
-executing a rule.  So rather than save the old flags, we instead record
-whether or not we've seen -B before adding it (actually, whether we've
-seen -B or B, since it seems that make stores B rather than -B in
-MAKEFLAGS?), and then, later, we filter out B and -B only if we didn't
-see them before we added them.
----
- mathcomp/Makefile | 4 +++-
- 1 file changed, 3 insertions(+), 1 deletion(-)
-
---- mathcomp/Makefile
-+++ mathcomp/Makefile
-@@ -15,7 +15,9 @@ else
- COQDEP=$(COQBIN)coqdep
- endif
- 
--OLD_MAKEFLAGS:=$(MAKEFLAGS)
-+HAS_B:=$(filter -B B,$(MAKEFLAGS))
-+# OLD_MAKEFLAGS must use =, not :=, to capture MAKEFLAGS at call time
-+OLD_MAKEFLAGS=$(if $(HAS_B),$(MAKEFLAGS),$(filter-out -B B,$(MAKEFLAGS)))
- MAKEFLAGS+=-B
- 
- .DEFAULT_GOAL := all

srcpkgs/mathcomp/template

@@ -1,7 +1,7 @@
 # Template file for 'mathcomp'
 pkgname=mathcomp
-version=1.7.0
-revision=2
+version=1.8.0
+revision=1
 wrksrc="math-comp-mathcomp-${version}"
 build_wrksrc="mathcomp"
 build_style=gnu-makefile
@@ -11,7 +11,7 @@ maintainer="Leah Neukirchen <leah@vuxu.org>"
 license="CeCILL-B"
 homepage="https://github.com/math-comp/math-comp"
 distfiles="https://github.com/math-comp/math-comp/archive/${pkgname}-${version}.tar.gz"
-checksum=69c01e99aad618fa9a0bb4a19af00827c505b8205816eb590e51abca49f4ef17
+checksum=dcb3b29041d61084d21451cd38c0aeb61ef61dd136efaec96055a1ceea3b9162
 nocross=yes
 
 do_install() {