Search Criteria
Package Details: mathcomp 1.12.0-1
Package Actions
Git Clone URL: | https://aur.archlinux.org/mathcomp.git (read-only, click to copy) |
---|---|
Package Base: | mathcomp |
Description: | The entire mathematical components library for Coq. |
Upstream URL: | https://math-comp.github.io/math-comp/ |
Licenses: | GPL |
Conflicts: | ssreflect |
Submitter: | wilbowma |
Maintainer: | ormolu |
Last Packager: | ormolu |
Votes: | 6 |
Popularity: | 0.000000 |
First Submitted: | 2015-01-29 04:29 (UTC) |
Last Updated: | 2021-06-07 21:18 (UTC) |
Latest Comments
wilbowma commented on 2018-04-12 15:35 (UTC)
Thanks for the report! I'll try to patch the PKGBUILD and file a bug upstream if necessary.
xunam commented on 2018-04-12 13:50 (UTC)
I have the same problem as pruvisto, trying to build the package today with coq version 8.7.2-1. Apparently coq_makefile does not generate Makefile.coq.conf correctly and puts an incorrect value in the COQMF_WINDRIVE variable.
A quick fix consists in creating a file Makefile.coq.local next to Makfile.coq that contains 'COQMF_WINDRIVE =' (to make the variable empty).
I got a working package by doing this by hand and repacking with "makepkg -Rf" but I am not fluent enough in pkgbuild to write a patch to automate that. Actually, the proper fix would be to fix coq_makefile instead.
pruvisto commented on 2018-03-14 14:46 (UTC)
For me at least, this package seems to put mathcomp into "/user-contrib/mathcomp/" (yes, that is an absolute path!) instead of "/usr/lib/coq/user-contrib/mathcomp/".
I'm not sure why this happens.
zorun commented on 2017-02-09 19:20 (UTC)
wilbowma commented on 2017-02-08 22:00 (UTC)
zorun commented on 2017-02-05 14:59 (UTC)