Skip to content

coq package is missing `./configure -prefix /usr`

I see in the APKBUILD for testing/coq

build() {
	make dunestrap
	dune build -p coq,coq-core,coq-stdlib
}

but according to Coq's GitHub we want ./configure -prefix /usr or ./configure -prefix /usr -mandir /usr/share/man -docdir /usr/share/doc before make dunestrap.

The lack of a call to ./configure results in errors such as

ocamlfind: Package `coq-core.plugins.ltac' not found

when building Coq plugins.

Edited by Jason Gross
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information