CVSROOT: /cvs
Module name: ports
Changes by: [email protected] 2022/02/12 15:29:22
Modified files:
math/coq : Makefile
math/coq/pkg : PFRAG.native PFRAG.no-native PLIST
Log message:
Adapt to non-native architectures; from Yozo TODA (maintainer), thanks!
- entries for native archs only in PLIST moved to PFRAG.native
- entries for non-native archs only in PLIST (with @comment tag)
moved to PFRAG.no-native
- adding @static-lib tag to all .a
packaging failed on ocaml non-native architectures, like mips64, riscv64,
sparc64, powerpc.
Tested on amd64 and sparc64 (builds/packages without PLIST change) by me
