Kakadu

➜  ~ OPAMIGNORECONSTRAINTS=stdune-unstable opam pin add git@github.com:Kakadu/dune.git\#dune-sites-test --yes                                  4.12.0+options
This will pin the following packages: dune-action-plugin, dune-bench, dune-build-info, dune-configurator, dune-glob, dune-private-libs, dune-rpc-lwt,
dune-rpc, dune-site, dune, dyn, stdune-unstable, xdg. Continue? [Y/n] y
[NOTE] Package dune-action-plugin is already pinned to git+ssh://git@github.com/Kakadu/dune.git#dune-sites-test (version 2.9.1).
dune-action-plugin is now pinned to git+ssh://git@github.com/Kakadu/dune.git#dune-sites-test (version 2.9.1)
[NOTE] Package dune-bench is already pinned to git+ssh://git@github.com/Kakadu/dune.git#dune-sites-test (version ~dev).
dune-bench is now pinned to git+ssh://git@github.com/Kakadu/dune.git#dune-sites-test (version ~dev)
[NOTE] Package dune-build-info is already pinned to git+ssh://git@github.com/Kakadu/dune.git#dune-sites-test (version 2.9.0).
dune-build-info is now pinned to git+ssh://git@github.com/Ka

Kakadu

➜  amdgpu-pro darktable-cltest
0.020131 [opencl_init] opencl related configuration options:
0.020144 [opencl_init] 
0.020146 [opencl_init] opencl: 1
0.020147 [opencl_init] opencl_scheduling_profile: 'default'
0.020149 [opencl_init] opencl_library: ''
0.020151 [opencl_init] opencl_memory_requirement: 768
0.020153 [opencl_init] opencl_memory_headroom: 400
0.020154 [opencl_init] opencl_device_priority: '*/!0,*/*/*/!0,*'
0.020157 [opencl_init] opencl_mandatory_timeout: 200

Kakadu

open OCanren
open Format

type binop =
  | Conj
  | Disj
  | Impl
[@@deriving gt ~options:{ gmap; show }]

type ('a, 'b, 'op) t =

Kakadu

$ exiftool ./FSharp.Core.dll
ExifTool Version Number         : 12.16
File Name                       : FSharp.Core.dll
Directory                       : .
File Size                       : 4.5 MiB
File Modification Date/Time     : 2021:07:14 22:36:15+03:00
File Access Date/Time           : 2021:07:14 22:37:15+03:00
File Inode Change Date/Time     : 2021:07:14 22:36:15+03:00
File Permissions                : rw-r--r--
Warning                         : Invalid file size in DOS header

Kakadu

module Env : sig
  type 'a t
  include Map.S with type 'a t := int t
end = struct
  type 'a t
  include (Map.Make (String) : Map.S with type 'a t := int t)
  (*   Values do not match:
         val empty : 'a t/1
       is not included in
         val empty : int t/2*)

Kakadu

Module Stream3.

  (* TODO: remeber that streams is extracted with Lazy *)
  CoInductive stream (A: Type): Type :=
  | Cons : A -> stream A -> stream A
  | Delay : stream A -> stream A
  | Nil : stream A.

  Definition from_fun z := Delay z.

Kakadu

➜  /tmp echo "" > a.ml && ocamlfind opt -output-obj a.ml -o camlcode.o    
➜  /tmp gcc -m32 -o myprog camlcode.o -L`ocamlc -where` -lasmrun -ldl -lm 
➜  /tmp which ocamlc
/home/kakadu/.opam/4.11.2+32bit/bin/ocamlc
➜  /tmp file myprog 
myprog: ELF 32-bit LSB shared object, Intel 80386, version 1 (SYSV), dynamically linked, interpreter /lib/ld-linux.so.2, BuildID[sha1]=e9f3726edcbf6201667f87a20fb45700e1219763, for GNU/Linux 3.2.0, with debug_info, not stripped

Kakadu

➜  embox git:(master) make confload-x86/qemu && make -j3
Config complete
 MKGEN mk_core_def.mk
 MKGEN mk_core_obj.mk
 MKGEN mk_util.mk
 MKGEN mk_gold_engine.mk
 MKGEN mk_model.mk
 MKGEN mk_annotations_core.mk
 MKGEN mk_mybuild_myfile.mk

Kakadu

➜  qt-lite-build ../configure-qt-lite QMAKE_FXXLAGS=-no-exceptions
+ cd qtbase
+ /home/kakadu/prog/qt/qt5/qtbase/configure -top-level -ltcg -make libs -no-pch -opensource -confirm-license -no-feature-itemmodeltester -no-feature-sqlmodel -no-feature-tuiotouch -no-feature-vulkan -no-feature-imageformat_ppm -no-feature-colordialog -no-feature-dialog -no-feature-dialogbuttonbox -no-feature-errormessage -no-feature-fontdialog -no-feature-inputdialog -no-feature-messagebox -no-feature-printdialog -no-feature-printpreviewdialog -no-feature-progressdialog -no-feature-wizard -no-feature-dom -no-feature-filedialog -no-feature-filesystemmodel -no-feature-filesystemwatcher -no-feature-dirmodel -no-feature-iconv -no-feature-big_codecs -no-feature-codecs -no-feature-translation -no-feature-sharedmemory -no-feature-systemsemaphore -no-feature-concurrent -no-feature-textmarkdownreader -no-feature-textmarkdownwriter -no-feature-sessionmanager -no-feature-textodfwriter -no-feature-cssparser -no-feature-texthtmlparser -no-featu

Kakadu

➜  qt-lite-build /usr/bin/pkg-config --exists xkbcommon-x11
➜  qt-lite-build /usr/bin/pkg-config --libs xkbcommon-x11
-lxkbcommon-x11 -lxkbcommon
➜  qt-lite-build 
➜  qt-lite-build 
➜  qt-lite-build 
➜  qt-lite-build 
➜  qt-lite-build 
➜  qt-lite-build 
➜  qt-lite-build ../configure-qt-lite -v -feature-thread -feature-xkbcommon-x11 -xcb