Dmitrii Kosarev Kakadu
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
| open OCanren | |
| open Format | |
| type binop = | |
| | Conj | |
| | Disj | |
| | Impl | |
| [@@deriving gt ~options:{ gmap; show }] | |
| type ('a, 'b, 'op) t = |
Kakadu
/ exiftool
Last active
July 15, 2021 04:49
Piece of code for https://meta.stackexchange.com/questions/72877
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
| $ 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
/ specialize.ml
Created
July 7, 2021 11:03
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
| 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*) |
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
| 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. |
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
| ➜ /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 |
This file has been truncated, but you can view the full file.
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
| ➜ 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 |
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
| ➜ 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-config-log.txt
Last active
March 17, 2021 08:05
Trying to configure Qt5: xkbcommon-x11 not found, so no xcb QPA plugin
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
| ➜ 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 |
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
| ➜ 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 |
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
| ✗ 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 |