Skip to content

Instantly share code, notes, and snippets.

View peter-jerry-ye's full-sized avatar

Zihang Ye peter-jerry-ye

View GitHub Profile
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
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
# 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