-----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-----