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

Kakadu

➜  gt-dune git:(master) ✗ opam pin
aez.0.3                                   rsync  file:///media/oldhome/kakadu/prog/asp/aez-0.3
bitvector-mk.0.1.0         (uninstalled)  git    git+file:///media/oldhome/kakadu/prog/asp/bitvector-mk#master
github-workflow.~dev                      git    git+https://github.com/patricoferris/opam-github-workflow.git
GT.0.4.2                                  git    git+file:///media/oldhome/kakadu/prog/asp/gt-dune#master
lablqml.0.6.2              (uninstalled)  git    git+file:///media/oldhome/kakadu/prog/ocaml/lablqml#master
noCanren.0.2.0                            git    git+file:///media/oldhome/kakadu/prog/asp/noCanren#4.10
ocaml-version.dev                         git    git+https://github.com/ocurrent/ocaml-version
opam-github-workflow.~dev  (uninstalled)  git    git+https://github.com/patricoferris/opam-github-workflow.git
pa_ppx.0.07                (uninstalled)  git    git+https://github.com/camlp5/pa_ppx.git

Kakadu

✗ find / -iname "*libgcc*" -xdev 2>/dev/null
/var/lib/dpkg/info/libgcc-s1:i386.md5sums
/var/lib/dpkg/info/libgcc-s1:i386.shlibs
/var/lib/dpkg/info/libgcc-s1:i386.symbols
/var/lib/dpkg/info/libgcc-s1:amd64.md5sums
/var/lib/dpkg/info/libgcc-s1:amd64.shlibs
/var/lib/dpkg/info/libgcc-s1:amd64.symbols
/var/lib/dpkg/info/libgcc-s1:amd64.triggers
/var/lib/dpkg/info/libgcc-s1:amd64.list
/var/lib/dpkg/info/libgcc-s1:i386.triggers