==> Synchronizing chroot copy [/home/leming/armv8/root] -> [leming]...done
==> Making package: rocq 9.1.1-2 (Tue Jun 23 02:44:26 2026)
==> Retrieving sources...
-> Found rocq-9.1.1.tar.gz
-> Found rocqide.desktop
==> WARNING: Skipping verification of source file PGP signatures.
==> Validating source files with b2sums...
rocq-9.1.1.tar.gz ... Passed
rocqide.desktop ... Passed
==> Making package: rocq 9.1.1-2 (Tue Jun 23 02:44:37 2026)
==> Checking runtime dependencies...
==> Checking buildtime dependencies...
==> Installing missing dependencies...
resolving dependencies...
looking for conflicting packages...
Packages (102) adwaita-cursors-50.0-1 adwaita-fonts-50.0-1 adwaita-icon-theme-50.0-1 adwaita-icon-theme-legacy-46.2-3 at-spi2-core-2.60.4-1 avahi-1:0.9rc4-1 bubblewrap-0.11.2-1 dav1d-1.5.3-1 dconf-0.49.0-1 default-cursors-3-1 desktop-file-utils-0.28-1 duktape-2.7.0-7 enchant-2.8.15-2 fribidi-1.0.16-2 giflib-6.1.3-1 glib-networking-1:2.80.1-1 glycin-2.1.1-1 gperftools-2.18.1-1 graphite-1:1.3.15-1 gsettings-desktop-schemas-50.1-1 gsettings-system-schemas-50.1-1 gtest-1.17.0-2 gtk-update-icon-cache-1:4.22.4-1 gtkspell3-3.0.10-3 harfbuzz-14.2.1-1 hicolor-icon-theme-0.18-1 highway-1.4.0-1 iso-codes-4.20.1-1 jbigkit-2.1-8 json-glib-1.10.8-1 lcms2-2.19.1-1 libcloudproviders-0.4.0-1 libcolord-1.4.8-1 libcups-2:2.4.19-1 libdaemon-0.14-6 libdatrie-0.2.14-1 libdeflate-1.25-1 libdrm-2.4.134-1 libedit-20260512_3.1-1 libepoxy-1.5.10-3 libglvnd-1.7.0-3 libjpeg-turbo-3.1.4.1-1 libjxl-0.11.2-2 libpciaccess-0.19-1 libpng-1.6.58-1 libproxy-0.5.12-1 librsvg-2:2.62.3-1 libsoup3-3.6.6-2 libstemmer-3.1.1-1 libthai-0.1.30-1 libtiff-4.7.1-2 libunwind-1.8.2-1 libwebp-1.6.0-2 libx11-1.8.13-1 libxau-1.0.12-1 libxcb-1.17.0-1 libxcomposite-0.4.7-1 libxcursor-1.2.3-1 libxdamage-1.1.7-1 libxdmcp-1.1.5-2 libxext-1.3.7-1 libxfixes-6.0.2-1 libxft-2.3.9-1 libxi-1.8.3-1 libxinerama-1.1.6-1 libxkbcommon-1.13.2-1 libxrandr-1.5.5-1 libxrender-0.9.12-1 libxshmfence-1.3.3-1 libxtst-1.2.5-1 libxxf86vm-1.1.7-1 llvm-libs-22.1.6-1 lm_sensors-1:3.6.2-1 lzo-2.10-5 mesa-1:26.1.3-2 ocaml-cairo-0.6.5-6 ocaml-compiler-libs-5.5.0-1 ocaml-csexp-1.5.2-10 ocaml-pp-2.0.0-6 ocaml-re-1.14.0-3 ocaml-result-1.5-17 pixman-0.46.4-1.1 shared-mime-info-2.4-3 spirv-tools-1:1.4.350.1-1 tinysparql-3.11.1-1 wayland-1.25.0-1 xcb-proto-1.17.0-4 xkeyboard-config-2.48-1 xorg-xprop-1.2.8-1 xorgproto-2025.1-1 cairo-1.18.4-1 dune-3.23.1-2 fontconfig-2:2.18.1-1 freetype2-2.14.3-1 gdk-pixbuf2-2.44.6-2 gtk3-1:3.24.52-1 gtksourceview3-1:3.24.11+r30+gd880929f-1 lablgtk3-3.1.5-2 ocaml-5.5.0-1 ocaml-findlib-1.9.8-7 ocaml-zarith-1.14-9 pango-1:1.57.1-1
Total Download Size: 15.58 MiB
Total Installed Size: 843.23 MiB
:: Proceed with installation? [Y/n]
:: Retrieving packages...
lablgtk3-3.1.5-2-aarch64 downloading...
gtksourceview3-1:3.24.11+r30+gd880929f-1-aarch64 downloading...
ocaml-cairo-0.6.5-6-aarch64 downloading...
ocaml-zarith-1.14-9-aarch64 downloading...
enchant-2.8.15-2-aarch64 downloading...
gtkspell3-3.0.10-3-aarch64 downloading...
checking keyring...
checking package integrity...
loading package files...
checking for file conflicts...
checking available disk space...
:: Processing package changes...
installing libpng...
installing freetype2...
Optional dependencies for freetype2
harfbuzz: Improved autohinting [pending]
installing fontconfig...
Creating fontconfig configuration...
Rebuilding fontconfig cache...
installing xcb-proto...
installing xorgproto...
installing libxdmcp...
installing libxau...
installing libxcb...
installing libx11...
installing libxext...
installing libxrender...
installing lzo...
installing pixman...
installing cairo...
installing ocaml...
Optional dependencies for ocaml
ncurses: advanced ncurses features [installed]
tk: advanced tk features
installing ocaml-compiler-libs...
installing ocaml-findlib...
installing ocaml-result...
installing ocaml-csexp...
installing ocaml-pp...
installing ocaml-re...
installing dune...
installing bubblewrap...
installing libjpeg-turbo...
installing jbigkit...
installing libdeflate...
installing libwebp...
Optional dependencies for libwebp
libwebp-utils: WebP conversion and inspection tools
installing libtiff...
Optional dependencies for libtiff
freeglut: for using tiffgt
installing lcms2...
installing giflib...
installing libunwind...
installing gperftools...
installing gtest...
Optional dependencies for gtest
python: gmock generator [installed]
installing highway...
installing libjxl...
Optional dependencies for libjxl
java-runtime: for JNI bindings
installing dav1d...
Optional dependencies for dav1d
dav1d-doc: HTML documentation
installing graphite...
Optional dependencies for graphite
graphite-docs: Documentation
installing harfbuzz...
Optional dependencies for harfbuzz
harfbuzz-utils: utilities
installing fribidi...
installing libdatrie...
installing libthai...
installing libxft...
installing pango...
installing librsvg...
installing glycin...
Optional dependencies for glycin
libheif: Load .avif, .heic and .heif
installing shared-mime-info...
installing gdk-pixbuf2...
Optional dependencies for gdk-pixbuf2
libheif: Load .avif, .heic and .heif
libopenraw: Load .arw, .cr2, .crw, .dng, .erf, .mrw, .nef, .orf, .pef and .raf
libwmf: Load .apm and .wmf
installing adwaita-fonts...
installing hicolor-icon-theme...
installing adwaita-icon-theme-legacy...
installing adwaita-cursors...
installing adwaita-icon-theme...
installing dconf...
installing gsettings-system-schemas...
installing gsettings-desktop-schemas...
installing libxfixes...
installing libxi...
installing libxtst...
installing xorg-xprop...
installing at-spi2-core...
installing desktop-file-utils...
installing iso-codes...
installing libcloudproviders...
installing libcolord...
installing libdaemon...
installing avahi...
Optional dependencies for avahi
gtk3: avahi-discover, avahi-discover-standalone, bshell, bssh, bvnc [pending]
libevent: libevent bindings [installed]
nss-mdns: NSS support for mDNS
python-dbus: avahi-bookmarks, avahi-discover
python-gobject: avahi-bookmarks, avahi-discover
python-twisted: avahi-bookmarks
installing libcups...
installing libpciaccess...
installing libdrm...
Optional dependencies for libdrm
cairo: needed for modetest tool [installed]
installing libxshmfence...
installing libxxf86vm...
installing libedit...
installing llvm-libs...
installing lm_sensors...
Optional dependencies for lm_sensors
rrdtool: for logging with sensord
perl: for sensor detection and configuration convert [installed]
installing spirv-tools...
installing default-cursors...
Optional dependencies for default-cursors
adwaita-cursors: default cursor theme [installed]
installing wayland...
installing mesa...
Optional dependencies for mesa
opengl-man-pages: for the OpenGL API man pages
installing libglvnd...
installing libepoxy...
installing libxcomposite...
installing libxcursor...
installing libxdamage...
installing libxinerama...
installing xkeyboard-config...
installing libxkbcommon...
Optional dependencies for libxkbcommon
libxkbcommon-x11: xkbcli interactive-x11
wayland: xkbcli interactive-wayland [installed]
installing libxrandr...
installing json-glib...
installing duktape...
installing libproxy...
installing glib-networking...
installing libsoup3...
Optional dependencies for libsoup3
samba: Windows Domain SSO
installing libstemmer...
installing tinysparql...
installing gtk-update-icon-cache...
installing gtk3...
Optional dependencies for gtk3
evince: Default print preview command
installing gtksourceview3...
installing enchant...
Optional dependencies for enchant
aspell: for aspell based spell checking support
hspell: for hspell based spell checking support
hunspell: for hunspell based spell checking support
libvoikko: for libvoikko based spell checking support
nuspell: for nuspell based spell checking support
installing gtkspell3...
installing ocaml-cairo...
installing lablgtk3...
Optional dependencies for lablgtk3
ocaml: for using the tools [installed]
installing ocaml-zarith...
:: Running post-transaction hooks...
( 1/13) Creating system user accounts...
Creating group 'avahi' with GID 968.
Creating user 'avahi' (Avahi mDNS/DNS-SD daemon) with UID 968 and GID 968.
( 2/13) Reloading system manager configuration...
Skipped: Current root is not booted.
( 3/13) Reloading user manager configuration...
Skipped: Current root is not booted.
( 4/13) Updating the MIME type database...
( 5/13) Arming ConditionNeedsUpdate...
( 6/13) Updating fontconfig configuration...
( 7/13) Reloading system bus configuration...
Skipped: Current root is not booted.
( 8/13) Updating fontconfig cache...
( 9/13) Updating GIO module cache...
(10/13) Compiling GSettings XML schema files...
(11/13) Probing GTK3 input method modules...
(12/13) Updating icon theme caches...
(13/13) Updating the desktop file MIME type cache...
==> Retrieving sources...
-> Found rocq-9.1.1.tar.gz
-> Found rocqide.desktop
==> WARNING: Skipping all source file integrity checks.
==> Extracting sources...
-> Extracting rocq-9.1.1.tar.gz with bsdtar
==> Starting build()...
ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
You have OCaml 5.5.0. Good!
You have OCamlfind 1.9.8. Good!
You have native-code compilation. Good!
You have the Zarith library 1.14 installed. Good!
Architecture : Linux
Sys.os_type : Unix
OCaml version : 5.5.0
OCaml binaries in : /usr/bin/
OCaml library in : /usr/lib/ocaml
Web browser : xdg-open "%s"
Rocq web site : http://rocq-prover.org/
Bytecode VM enabled : true
Native Compiler enabled : no
Paths where installation is expected by Rocq Makefile:
- Prefix is expected in /usr
- the Rocq library is expected in /usr/lib/ocaml/coq
- the Rocqide configuration files is expected in /usr/etc/xdg/coq
- the Rocqide data files is expected in /usr/share/coq
- the Rocq man pages is expected in /usr/share/man
- documentation prefix path for all Rocq packages is expected in /usr/share/doc
If anything is wrong above, please restart './configure'.
*Warning* To compile the system for a new architecture
don't forget to do a 'make clean' before './configure'.
dune build --root . corelib_dune ltac2_dune
touch .dune-stamp
cp -a _build/default/corelib_dune theories/Corelib/dune && chmod +w theories/Corelib/dune
cp -a _build/default/ltac2_dune theories/Ltac2/dune && chmod +w theories/Ltac2/dune
(cd _build/default && /usr/bin/bash -e -u -o pipefail -c dev/tools/make_git_revision.sh) > _build/default/revision
skipping make_git_revision: git not found
==> Entering fakeroot environment...
==> Starting package_rocq()...
==> Tidying install...
-> Removing libtool files...
-> Purging unwanted files...
-> Stripping unneeded symbols from binaries and libraries...
-> Compressing man and info pages...
==> Checking for packaging issues...
==> Creating package "rocq"...
-> Generating .PKGINFO file...
-> Generating .BUILDINFO file...
-> Generating .MTREE file...
-> Compressing package...
==> Starting package_rocqide()...
install: creating directory '/build/rocq/pkg/rocqide/usr/share/applications'
'../rocqide.desktop' -> '/build/rocq/pkg/rocqide/usr/share/applications/rocqide.desktop'
install: creating directory '/build/rocq/pkg/rocqide/usr/share/pixmaps'
'ide/rocqide/coq.png' -> '/build/rocq/pkg/rocqide/usr/share/pixmaps/rocqide.png'
==> Tidying install...
-> Removing libtool files...
-> Purging unwanted files...
-> Stripping unneeded symbols from binaries and libraries...
-> Compressing man and info pages...
==> Checking for packaging issues...
==> Creating package "rocqide"...
-> Generating .PKGINFO file...
-> Generating .BUILDINFO file...
-> Generating .MTREE file...
-> Compressing package...
==> Leaving fakeroot environment.
==> Finished making: rocq 9.1.1-2 (Tue Jun 23 02:52:40 2026)
==> Cleaning up...
[?12l[?25h