Török Edwin edwintorok
edwintorok
/ strace_ok
Created
September 5, 2015 21:18
This file has been truncated, but you can view the full file.
This file contains 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
| execve("_build/lib_test/test.native", ["_build/lib_test/test.native", "test", "HTTP.MEM.raw"], [/* 45 vars */]) = 0 | |
| brk(0) = 0x28e1000 | |
| access("/etc/ld.so.nohwcap", F_OK) = -1 ENOENT (No such file or directory) | |
| mmap(NULL, 8192, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1, 0) = 0x7f6f695c6000 | |
| access("/etc/ld.so.preload", R_OK) = -1 ENOENT (No such file or directory) | |
| open("/usr/local/lib/tls/x86_64/libz.so.1", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory) | |
| stat("/usr/local/lib/tls/x86_64", 0x7ffeddcb7180) = -1 ENOENT (No such file or directory) | |
| open("/usr/local/lib/tls/libz.so.1", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory) | |
| stat("/usr/local/lib/tls", 0x7ffeddcb7180) = -1 ENOENT (No such file or directory) | |
| open("/usr/local/lib/x86_64/libz.so.1", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory) |
edwintorok
/ -
Created
September 5, 2015 21:17
This file has been truncated, but you can view the full file.
This file contains 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
| execve("/home/edwin/.opam/4.02.3+alias/build/irmin.0.9.9/test.native", ["/home/edwin/.opam/4.02.3+alias/build/irmin.0.9.9/test.native", "test", "HTTP.MEM.raw"], [/* 45 vars */]) = 0 | |
| brk(0) = 0x22c3000 | |
| access("/etc/ld.so.nohwcap", F_OK) = -1 ENOENT (No such file or directory) | |
| mmap(NULL, 8192, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1, 0) = 0x7f382ef8f000 | |
| access("/etc/ld.so.preload", R_OK) = -1 ENOENT (No such file or directory) | |
| open("/usr/local/lib/tls/x86_64/libz.so.1", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory) | |
| stat("/usr/local/lib/tls/x86_64", 0x7ffd18f9dbb0) = -1 ENOENT (No such file or directory) | |
| open("/usr/local/lib/tls/libz.so.1", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory) | |
| stat("/usr/local/lib/tls", 0x7ffd18f9dbb0) = -1 ENOENT (No such file or directory) | |
| open("/usr/local/lib/x86_64/libz.so.1", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory) |
edwintorok
/ fixup-1.cudf
Last active
August 29, 2015 14:17
This file contains 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
| # aspcud $in $out -count(changed),-notuptodate(solution) | |
| preamble: | |
| property: pinned: bool = [false], installed-root: bool = [false], reinstall: bool = [false], opam-version: string, opam-name: string | |
| package: dns | |
| version: 12 | |
| depends: mirage-types , base64 < 3 , io-page , ipaddr >= 9 , cmdliner , re , ocamlfind , cstruct >= 15 , lwt >= 1 | |
| conflicts: io-page >= 5 , mirage-types < 10 , dns | |
| opam-name: dns | |
| opam-version: 0.10.0 |
edwintorok
/ fixup-1.cudf
Created
March 26, 2015 09:12
This file contains 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
| # aspcud $in $out -count(changed),-notuptodate(solution) | |
| preamble: | |
| property: pinned: bool = [false], installed-root: bool = [false], reinstall: bool = [false], opam-version: string, opam-name: string | |
| package: dns | |
| version: 12 | |
| depends: mirage-types , base64 < 3 , io-page , ipaddr >= 9 , cmdliner , re , ocamlfind , cstruct >= 15 , lwt >= 1 | |
| conflicts: io-page >= 5 , mirage-types < 10 , dns | |
| opam-name: dns | |
| opam-version: 0.10.0 |
edwintorok
/ gist:4283a403f0f6ac3cecf6
Created
December 23, 2014 20:01
This file contains 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
| # aspcud /home/edwin/$in /home/edwin/$out -count(changed),-notuptodate(solution) | |
| preamble: | |
| property: pinned: bool = [false], installed-root: bool = [false], reinstall: bool = [false], opam-version: string, opam-name: string | |
| package: dns | |
| version: 12 | |
| depends: mirage-types , base64 , io-page , ipaddr >= 9 , cmdliner , re , ocamlfind , cstruct >= 15 , lwt >= 1 | |
| conflicts: mirage-types < 10 , dns | |
| opam-name: dns | |
| opam-version: 0.10.0 |
edwintorok
/ gist:4616ef227d5346d3222e
Created
December 12, 2014 11:43
This file contains 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
| DEBUG 2014-12-12 13:41:15,556 MainThread Python 2.7.9 (default, Dec 11 2014, 08:58:12) | |
| [GCC 4.9.2] on linux2 | |
| DEBUG 2014-12-12 13:41:15,556 MainThread reading configuration from ['/home/edwin/.linkchecker/linkcheckerrc'] | |
| INFO 2014-12-12 13:41:15,560 MainThread Checking intern URLs only; use --check-extern to check extern URLs. | |
| DEBUG 2014-12-12 13:41:15,573 MainThread configuration: [('aborttimeout', 300), | |
| ('allowedschemes', []), | |
| ('authentication', []), | |
| ('blacklist', {}), | |
| ('checkextern', False), | |
| ('cookiefile', None), |
This file contains 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
| # aspcud /tmp/$in /tmp/$out -count(removed),-notuptodate(request),-count(down),-notuptodate(changed),-count(changed),-notuptodate(solution) | |
| preamble: | |
| property: pinned: bool = [false], installed-root: bool = [false], reinstall: bool = [false], opam-version: string, opam-name: string | |
| package: dns | |
| version: 12 | |
| depends: base64 , io-page , ipaddr >= 9 , cmdliner , re , ocamlfind , cstruct >= 15 , lwt >= 1 | |
| conflicts: mirage-types < 10 , dns | |
| opam-name: dns | |
| opam-version: 0.10.0 |
edwintorok
/ lambcmd_extcombine.ml
Created
November 9, 2014 13:19
This file contains 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
| (* combine multiple lambdoc extensions, UNTESTED *) | |
| module type Ext = sig | |
| module Monad : Lambdoc_reader.Extension.MONAD | |
| type linkdata_t | |
| type imagedata_t | |
| type extinldata_t | |
| type extblkdata_t | |
| include Lambdoc_reader.Extension.S with module Monad := Monad and | |
| type linkdata_t := linkdata_t and |
This file contains 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
| Sending build context to Docker daemon 3.072 kB | |
| Sending build context to Docker daemon | |
| Step 0 : FROM centos:latest | |
| ---> 87e5b6b3ccc1 | |
| Step 1 : RUN cd /etc/yum.repos.d/ && curl -L -O http://download.opensuse.org/repositories/home:ocaml/CentOS_7/home:ocaml.repo && yum install -y ocaml opam m4 make patch gcc git | |
| ---> Running in e48e39b08e5d | |
| [91m [0m[91m [0m[91m%[0m[91m [0m[91mT[0m[91mo[0m[91mt[0m[91ma[0m[91ml[0m[91m [0m[91m [0m[91m [0m[91m [0m[91m%[0m[91m [0m[91mR[0m[91me[0m[91mc[0m[91me[0m[91mi[0m[91mv[0m[91me[0m[91md % Xf[0m[91merd Average Speed Time Time Time Current | |
| [0m[91m Dload Upload Total Spent Left Speed |
edwintorok
/ omd0.7.5-badsolution.cudf
Created
September 25, 2014 15:41
opam install solution not up-to-date cudf files
This file contains 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
| # aspcud /home/edwin/$in /home/edwin/$out -count(removed),-notuptodate(request),-count(down),-count(changed) | |
| preamble: | |
| property: pinned: bool = [false], installed-root: bool = [false], reinstall: bool = [false], opam-version: string, opam-name: string | |
| package: dns | |
| version: 12 | |
| depends: base64 , io-page , ipaddr >= 9 , cmdliner , re , ocamlfind , cstruct >= 15 , lwt >= 1 | |
| conflicts: mirage-types < 10 , dns | |
| opam-name: dns | |
| opam-version: 0.10.0 |