-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
hi, chrisz,
> for building bytecode-only coq I need the following patch. (Did I send
> you this before? I misconfigured my mail client.) OK?
I'm not sure I understand correctly full, but
this restructures plist files to PFRAG.native and PFRAG.no-nonative.
then I've no objection.
I want to verify the build on amd64, but how can I build as bytecode-only?
my experiment in a short time is to redefine PROPERTIES.
is there any more smart test setting?
% diff -u /usr/ports/mystuff/math/coq/Makefile{.orig,}
--- /usr/ports/mystuff/math/coq/Makefile.orig Sat Sep 28 22:18:22 2019
+++ /usr/ports/mystuff/math/coq/Makefile Sun Sep 29 16:13:56 2019
@@ -41,6 +41,12 @@
-configdir ${SYSCONFDIR}/xdg/coq
.include <bsd.port.arch.mk>
+
+## On amd64 and i386, PROPERTIES includes
+## all apm le lp64 clang gcc49 mono llvm cxx11 ocaml_native
ocaml_native_dynlink go lld rust
+## To test bytecode only archs, we remove ocaml_native and
ocaml_native_dynlink.
+PROPERTIES := ${PROPERTIES:Nocaml_native:Nocaml_native_dynlink}
+
.if ${PROPERTIES:Mocaml_native}
ALL_TARGET= world
INSTALL_TARGET= install
-- yozo.
-----BEGIN PGP SIGNATURE-----
iQJJBAEBCgAzFiEEsSBE3BD3oI0EPJSvM6KY3A5GNSgFAl2T8VYVHHlvem9AdjAw
Ny52YWlvLm5lLmpwAAoJEDOimNwORjUozbQQAJd+D7ew3c0kNtn8AJWRZvzgOa9l
0oVh+yfQ5KdThqYzrYqRlVVBiT1xiJY9Ngd9zTnN6wdC3LGX2y5DP3SnM1kaFfJt
TqAkMN6CHRwxE/fIDSaJZvPR8hzKHG24ZWiIjUiPgg6ulcGBAPQu80y0HDqlHJHL
q6kcWkUyU2YmMoKOShMBDtibCvZc8YB+3erQVvp0+tpVMuEW9F5CnphM7M8DmAYY
X796FZmnr4r3FDh+XvvcDVa6unuyxuGK6TCbBq19tnWAaFBltfNhGMDWHJ5gLBX8
Sm2Exan/F3We5AGqQDxzoHtKAxCv+t0jmT7+jut0ksfeqs+pxJXTX0JgoS5P+Zzs
DL8iS4wodoItt00CBORyiLCBSL6uFcXe+sbTp4WZTNuoB1ljdV37cYq0yTxHSEV5
hGbTIDWCjenw40Y/UsLUiZNcBL3ina4SLj3ulexVNIgKHB6xg+RwdtUp6+nMMROC
RZ2at8tubP3KsqLoovEFOo8MTsBjpRaXOAcIah2w+lMrb5j2Tbgit38e2TPClpSv
Og01MnEkuPpdEVtsH1ZlgiFmsgLoVYYXdblgRYfQaiCoHaZgGgbWrKSMB5tMCigJ
nfyYNS+7Vu2Uz71VEE5s+zxITwDpKhLAlqrQja6lpOU4qtc6jBUAKKtNDf/bhWxD
OtSmghGidZDknMoM
=5Boe
-----END PGP SIGNATURE-----
