-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
> We now include coqc in both PFRAG.no-native and PFRAG.native which seems a
> bit unusual to me.
>
> Are you sure this change is correct?
ah sorry, I should add more explanation.
- adding ocaml-num in RUN_DEPENDS for non ocaml_native architectures
when I tried packaging on amd64 (with arch-defines.mk modified),
I found coqtop requires ocaml-num.
with ocaml-num installed coqtop works.
(I didn't note which file at that time, but I believe
what is required is dllnums.so)
for ocaml_native architectures, we don't need ocaml-num for RUN_DEPENDS.
(I didn't check further, maybe ocaml-num is compiled in?)
- some files in both PFRAG.no-native and PFRAG.native
some files are native binaries on ocaml_native architectures (marked @bin),
whereas byte-compiled on non ocaml_native architectures.
My patch put those files to both PFRAG.native and PFRAG.no-native,
but I think we can put those to PLIST.
Which is better? (how is @bin marking important?)
$ for i in \
`cat /usr/ports/mystuff/math/coq/pkg/P* | awk '{print $NF;}' | sort |
uniq -c |\
egrep -v '^ *1' | tail -n +2 | awk '{print $NF;}'`;
do
( grep $i /usr/ports/mystuff/math/coq/pkg/P* );
done | head -10
/usr/ports/mystuff/math/coq/pkg/PFRAG.native:@bin bin/coq-tex
/usr/ports/mystuff/math/coq/pkg/PFRAG.no-native:bin/coq-tex
/usr/ports/mystuff/math/coq/pkg/PFRAG.native:@bin bin/coq_makefile
/usr/ports/mystuff/math/coq/pkg/PFRAG.no-native:bin/coq_makefile
/usr/ports/mystuff/math/coq/pkg/PFRAG.native:@bin bin/coqc
/usr/ports/mystuff/math/coq/pkg/PFRAG.native:@bin bin/coqchk
/usr/ports/mystuff/math/coq/pkg/PFRAG.native:lib/ocaml/coq/topbin/coqc_bin.cmx
/usr/ports/mystuff/math/coq/pkg/PFRAG.no-native:bin/coqc
/usr/ports/mystuff/math/coq/pkg/PFRAG.no-native:bin/coqchk
/usr/ports/mystuff/math/coq/pkg/PFRAG.native:@bin bin/coqchk
$
-- yozo.
-----BEGIN PGP SIGNATURE-----
iQJJBAEBCgAzFiEEP48DGKttLBTWuiCMx2ep6SZGbGQFAl9gDWAVHHlvem9AdjAw
Ny52YWlvLm5lLmpwAAoJEMdnqekmRmxk+OoP/0vi1P3LOoVijc8O5GP/QgpLi5uc
YfCA0nEewY0gI/opauom/e1oH9mgD4RVeg/jHv6nBXDI1oTGIkOc+PUuQ8SOgcBH
kTKX3Np5lhq5ScNeUU0zoLNEOyoucv2b8e0UOM8k5IWY04vHq1byVfvAASd1Zm0E
xH+GvZm4QcntPQPV5vI1Hek1CC35PJ7eYoCdMLILpvMy0ZAoGnxMFw2DEe05+W5P
/0N7X+PnDpNguLMsH+zkYcqfM/W+1kbfiZgv/dVKNogaA7vkQl5mM5ob0Mh1Rtbh
F4yecVa0/bjehFN6yBMaLfjcRFpQCvaAPC5EhVLPS5yY2XpMLbRyuUf3nXSgcwhT
7xgxVUHYMQXpRmtJZYeV96WFWr6IWYLeQqwNjYKfWw3Qg2VNn60lQn+Eykq1VzZu
3PrJTu94216LHUUuaK1Tj9/gZb/5NwHiPVkRIRaj52pYgzRj3JetO053cKGZVk3q
LYT5ZvElhkest3R72lvD/ObQEq27S4qnvDkuRja6FegkgXSCWaZe2Y8z62/J8ePR
22FSa230CrAcNqy+PHWwb2mBv7LpIJutboCfMOFtTpgmRu5nVpBel78y+2uOdFwm
2JzFsZ7Wvdd2qAYdCDVRsl4IUHmMMkKMwA6/a8ztAyqAgeGIyiR1UL9KF0v7eYx+
ruaKgks0C+I8Bs7u
=HlC7
-----END PGP SIGNATURE-----
