install sources
(copying from https://github.com/coq/opam-coq-archive/issues/396 )
The install target of coq-flocq does not install sources. Most opam-installed coq libraries install sources (.v files) along with compiled versions (.vo). This is convenient as it allows to examine definitions from IDE (ProofGeneral) during development.
I've created a patch to solve this issue. Unfortunately, Flocq is hosted at gitlab.inria.fr which does not allow pull requests from external contributors :(
--- flocq-3.0.0/Remakefile.in 2018-04-04 05:28:08.000000000 -0700
+++ flocq/Remakefile.in 2018-08-29 11:32:06.877169752 -0700
@@ -127,6 +127,7 @@
mkdir -p @libdir@
for d in Core Calc Prop IEEE754 Pff; do mkdir -p @libdir@/$d; done
for f in $(OBJS); do cp $f @libdir@/${f#src/}; done
+ for f in $(FILES); do cp src/$f @libdir@/${f}; done
( cd src && find . -type d -name ".coq-native" -exec cp -RT "{}" "@libdir@/{}" \; )
EXTRA_DIST = \