This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
747 execve("/usr/bin/xeyes", ["xeyes"], 0x7ffe1cba5898 /* 33 vars */) = 0 | |
747 brk(NULL) = 0x556d83c35000 | |
747 arch_prctl(0x3001 /* ARCH_??? */, 0x7ffeee6d31b0) = -1 EINVAL (Invalid argument) | |
747 access("/etc/ld.so.preload", R_OK) = -1 ENOENT (No such file or directory) | |
747 openat(AT_FDCWD, "/etc/ld.so.cache", O_RDONLY|O_CLOEXEC) = 3 | |
747 fstat(3, {st_mode=S_IFREG|0644, st_size=49373, ...}) = 0 | |
747 mmap(NULL, 49373, PROT_READ, MAP_PRIVATE, 3, 0) = 0x7fa6ed943000 | |
747 close(3) = 0 | |
747 openat(AT_FDCWD, "/usr/lib/x86_64-linux-gnu/libXext.so.6", O_RDONLY|O_CLOEXEC) = 3 | |
747 read(3, "\177ELF\2\1\1\0\0\0\0\0\0\0\0\0\3\0>\0\1\0\0\0\340E\0\0\0\0\0\0"..., 832) = 832 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Running[0]: /usr/bin/nproc > /tmp/duneb5006c.output 2> /dev/null | |
Auto-detected concurrency: 2 | |
disable binary cache | |
Running[1]: /home/zihang/.opam/4.12.0/bin/ocamlc.opt -config > /tmp/dunebe8e15.output | |
Dune context: | |
{ name = "default" | |
; kind = "default" | |
; profile = Dyn | |
; merlin = true | |
; for_host = None |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# Packages matching: installed | |
# Name # Installed # Synopsis | |
base-bigarray base | |
base-threads base | |
base-unix base | |
bigarray-compat 1.0.0 Compatibility library to use Stdlib.Bigarray | |
conf-libffi 2.0.0 Virtual package relying on libffi system ins | |
conf-pkg-config 2 Check if pkg-config is installed and create | |
ctypes 0.19.1 Combinators for binding to C libraries witho | |
ctypes-foreign 0.18.0 Virtual package for enabling the ctypes.fore |