-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
> Actually I'm trying to update to 8.12.1 with the same diff, too :-D
> It just compiles and works on amd64.
>
> I'll try compile on ocaml-non-native architectures
> (simulating with arch-defines.mk modified), and
> post another message when I find anything.
coq 8.12.1 and compcert-3.8 compiles and works on amd64 ocaml-non-native
configuration.
btw, "Parse error" occurs on configure target of compcert-3.8. (no problem for
packaging.)
output copies here...
x---x---x---x---x---x---x
===> Returning to build of compcert-3.8
===> compcert-3.8 depends on: ocaml-menhir->=20190626 ->
ocaml-menhir-20190924p1
===> compcert-3.8 depends on: gcc->=8,<9 -> gcc-8.4.0p1
===> compcert-3.8 depends on: g++->=8,<9 -> g++-8.4.0p1
===> compcert-3.8 depends on: gmake-* -> gmake-4.3
===> compcert-3.8 depends on: gcc-libs->=8,<9 -> gcc-libs-8.4.0p1
===> Verifying specs: c m estdc++>=19
===> found c.96.0 m.10.1 estdc++.19.0
===> Extracting for compcert-3.8
sed -i -e 's/gcc/egcc/g' /usr/ports/pobj/compcert-3.8/CompCert-3.8/configure
===> Patching for compcert-3.8
===> Applying OpenBSD patch patch-Makefile
Hmm... Looks like a unified diff to me...
The text leading up to this was:
--------------------------
|$OpenBSD: patch-Makefile,v 1.8 2020/11/15 03:02:19 daniel Exp $
|
|Convenience test target
|
|Index: Makefile
|--- Makefile.orig
|+++ Makefile
--------------------------
Patching file Makefile using Plan A...
Hunk #1 succeeded at 195.
Hunk #2 succeeded at 302.
done
===> Applying OpenBSD patch patch-configure
Hmm... Looks like a unified diff to me...
The text leading up to this was:
--------------------------
|$OpenBSD: patch-configure,v 1.14 2020/11/15 03:02:19 daniel Exp $
|
|1) Fixup path locations for OpenBSD
|2) Add configuration support for macppc and aarch64 on OpenBSD
|
|Index: configure
|--- configure.orig
|+++ configure
--------------------------
Patching file configure using Plan A...
Hunk #1 succeeded at 17.
Hunk #2 succeeded at 47.
Hunk #3 succeeded at 66.
Hunk #4 succeeded at 257.
Hunk #5 succeeded at 288.
Hunk #6 succeeded at 465.
Hunk #7 succeeded at 666.
Hunk #8 succeeded at 853.
Hunk #9 succeeded at 881.
done
===> Compiler link: gcc -> /usr/local/bin/egcc
===> Compiler link: cc -> /usr/local/bin/egcc
===> Compiler link: c++ -> /usr/local/bin/eg++
===> Compiler link: g++ -> /usr/local/bin/eg++
===> Compiler link: clang -> /usr/bin/clang
===> Compiler link: clang++ -> /usr/bin/clang++
===> Generating configure for compcert-3.8
===> Configuring for compcert-3.8
Testing assembler support for CFI directives... yes
Testing linker support for '-no-pie' / '-nopie' option... yes, '-no-pie'
Testing Coq... version 8.12.1 -- good!
Testing OCaml... version 4.10.0 -- good!
Testing OCaml native-code compiler...no, will build to bytecode only
Testing OCaml .opt compilers... no, will do without
Testing Menhir... version 20190924 -- good!
Testing GNU make... version 4.3 (command 'gmake') -- good!
*** Parse error in /usr/ports/pobj/compcert-3.8/CompCert-3.8: Missing
dependency operator (Makefile:24)
*** Parse error: Need an operator in 'else' (Makefile:26)
*** Parse error: Need an operator in 'endif' (Makefile:28)
*** Parse error: Missing dependency operator (Makefile:34)
*** Parse error: Need an operator in 'endif' (Makefile:37)
*** Parse error: Missing dependency operator (Makefile:39)
*** Parse error: Need an operator in 'endif' (Makefile:42)
*** Parse error: Missing dependency operator (Makefile:58)
*** Parse error: Need an operator in 'else' (Makefile:66)
*** Parse error: Need an operator in 'endif' (Makefile:68)
*** Parse error: Missing dependency operator (Makefile:129)
*** Parse error: Need an operator in 'else' (Makefile:133)
*** Parse error: Need an operator in 'endif' (Makefile:135)
*** Parse error: Missing dependency operator (Makefile:158)
*** Parse error: Need an operator in 'endif' (Makefile:160)
*** Parse error: Missing dependency operator (Makefile:161)
*** Parse error: Need an operator in 'endif' (Makefile:163)
*** Parse error: Missing dependency operator (Makefile:164)
*** Parse error: Need an operator in 'endif' (Makefile:166)
*** Parse error: Missing dependency operator (Makefile:207)
*** Parse error: Need an operator in 'else' (Makefile:209)
*** Parse error: Need an operator in 'endif' (Makefile:211)
*** Parse error: Missing dependency operator (Makefile:214)
*** Parse error: Need an operator in 'else' (Makefile:216)
*** Parse error: Need an operator in 'endif' (Makefile:218)
*** Parse error: Missing dependency operator (Makefile:292)
*** Parse error: Need an operator in 'endif' (Makefile:294)
*** Parse error: Missing dependency operator (Makefile:295)
*** Parse error: Need an operator in 'endif' (Makefile:304)
CompCert configuration:
Target architecture........... x86
Hardware model................ 64
Application binary interface.. standard
Endianness.................... little
OS and development env........ bsd
C compiler.................... egcc -m64
C preprocessor................ egcc
Assembler..................... egcc
Assembler supports CFI........ true
Assembler for runtime lib..... egcc -m64 -c
Linker........................ egcc
Linker needs '-no-pie'........ true
Math library.................. -lm
Build command to use.......... gmake
Menhir API library............ /usr/local/lib/ocaml/menhirLib
The Flocq library............. local
The MenhirLib library......... local
Binaries installed in......... /usr/local/bin
Runtime library provided...... true
Library files installed in.... /usr/local/lib
Standard headers provided..... false
Standard headers installed in. /usr/local/lib/include
Man pages installed in........ /usr/local/man
Coq development will not be installed
===> Building for compcert-3.8
........
x---x---x---x---x---x---x
-- yozo.
-----BEGIN PGP SIGNATURE-----
iQJJBAEBCgAzFiEEP48DGKttLBTWuiCMx2ep6SZGbGQFAl/ARIMVHHlvem9AdjAw
Ny52YWlvLm5lLmpwAAoJEMdnqekmRmxkvA0QAJCjR7DStWGmbGtrQL7Xu4dVfzkC
y5sUTrOG9yYTZ7EuUQqliweOVRWxEWnKLcOiZ69RFbaf5LEIx+rLpRyAJBHD1EQq
Mlwep6LxFfNhSvpyk/fkGZAatkiAGw7bT5DYHykKAzd4Qi7H0tH4WyKLDpAPXNml
oYZ0f7e5t5z5awZkRxqfo4p8gV9Aysz5k5IlJyOzhsXDoAXu+lIjzm07N/0D0q/p
I2N6P//CJylq5APDnOKiesrX4lNV3Q7e4gKV6qlk3nrvJpD+a1I7u8YEqKStARJe
PNr1qbhw1J7+VDexJB0hcOclCdkWUl/JfLbm5+NM+kMlbpXj/ZqbrhY8tyLoLlOj
Rvr5UB2Na6Y6RpOR9bXcrGOUkq7mmF+jXsLNBbgGWXFkUn2Vv80uZbUEh4MOgFQ9
y1VVbKAGBEIi38eZQdIoFRvm/1ZecJTwM0riZvVHlzLdo5ik26hgQR2Ds0q48gDq
WTYUfp03NHoPoc8d1Y3JQdrECfFukXMI9zPU0ebevKX5A5FaLiUhUTYdI/w7YSmJ
vXtvbPgB0QgZRLpF5icpGr55z8Tsc/E6rgF8djYVOdhvH6yzEzfxeVsdsLOPchXk
VjsS9pFyJKYPc39el8ScBaL5TDH1S/OofsFnn3zm1VzBYGVqCCbJ8pIRIMs31BMc
03PItPGvrb9tiowI
=ecv+
-----END PGP SIGNATURE-----
