CVSROOT: /cvs Module name: ports Changes by: [email protected] 2020/09/16 15:13:09
Modified files:
math/coq : Makefile
math/coq/pkg : PFRAG.no-native
Log message:
Repair coq on non-native archs as pointed out by MAINTAINER and also
by recent !native bulk builds.
In particular:
- ocaml-num is needed at runtime, not just at build-time.
- packing list was incorrect, preventing packaging.
Compile tested by cwen@ on powerpc, and by jj@ on mips64. Some basic
runtime tests by myself on powerpc.
