Last active
April 23, 2021 12:28
-
-
Save blank71/a2053eba2ac3904c79a723b79b6ef973 to your computer and use it in GitHub Desktop.
SATySFi build and installation
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
| $ sudo apt update -y && sudo apt upgrade -y | |
| $ sudo apt install opam | |
| $ opam init | |
| $ eval $(opam env) | |
| $ ocaml --version | |
| The OCaml toplevel, version 4.08.1 | |
| $ opam switch create 4.12.0 | |
| $ eval $(opam env) | |
| $ ocaml --version | |
| The OCaml toplevel, version 4.12.0 | |
| $ opam repository add satysfi-external https://github.com/gfngfn/satysfi-external-repo.git | |
| [satysfi-external] Initialised | |
| [NOTE] Repository satysfi-external has been added to the selections of switch 4.12.0 only. | |
| Run `opam repository add satysfi-external --all-switches|--set-default' to use it in all existing switches, or | |
| in newly created switches, respectively. | |
| $ mkdir SATySFi | |
| $ cd SATySFi | |
| $ wget https://github.com/gfngfn/SATySFi/archive/refs/tags/v0.0.6.tar.gz | |
| $ tar -xzvf v0.0.6.tar.gz | |
| $ cd SATySFi-0.0.6/ | |
| $ opam pin add satysfi . | |
| Package satysfi does not exist, create as a NEW package? [Y/n] Y | |
| [satysfi.~dev] synchronised from file:///home/blank71/SATySFi/SATySFi-0.0.6 | |
| satysfi is now pinned to file:///home/blank71/SATySFi/SATySFi-0.0.6 (version 0.0.6) | |
| The following actions will be performed: | |
| ∗ install seq base [required by re] | |
| ∗ install ocamlbuild 0.14.0 [required by batteries, otfm] | |
| ∗ install ocamlfind 1.9.1 [required by satysfi] | |
| ∗ install opam-depext 1.1.5 [required by depext] | |
| ∗ install dune 2.8.5 [required by satysfi] | |
| ∗ install uchar 0.0.2 [required by otfm] | |
| ∗ install topkg 1.0.3 [required by otfm] | |
| ∗ install num 1.4 [required by batteries] | |
| ∗ install camlpdf 2.3.1+satysfi [required by satysfi] | |
| ∗ install depext transition [required by satysfi] | |
| ∗ install stdlib-shims 0.3.0 [required by ppxlib] | |
| ∗ install sexplib0 v0.14.0 [required by base, sexplib] | |
| ∗ install result 1.5 [required by otfm, ppx_deriving] | |
| ∗ install re 1.9.0 [required by satysfi] | |
| ∗ install ppx_derivers 1.2.1 [required by ppx_deriving] | |
| ∗ install omd 2.0.0~alpha1 [required by satysfi] | |
| ∗ install octavius 1.2.2 [required by ppx_js_style] | |
| ∗ install ocaml-migrate-parsetree 2.1.0 [required by ppxlib] | |
| ∗ install ocaml-compiler-libs v0.12.3 [required by ppxlib] | |
| ∗ install menhirSdk 20210419 [required by menhir] | |
| ∗ install menhirLib 20210419 [required by menhir] | |
| ∗ install jane-street-headers v0.14.0 [required by core_kernel] | |
| ∗ install easy-format 1.3.2 [required by yojson-with-position] | |
| ∗ install csexp 1.5.1 [required by dune-configurator] | |
| ∗ install cppo 1.6.7 [required by satysfi] | |
| ∗ install uutf 1.0.2 [required by satysfi] | |
| ∗ install batteries 3.3.0 [required by satysfi] | |
| ∗ install ppxlib 0.22.0 [required by ppx_deriving] | |
| ∗ install menhir 20210419 [required by satysfi] | |
| ∗ install biniou 1.2.1 [required by yojson-with-position] | |
| ∗ install dune-configurator 2.8.5 [required by camlimages] | |
| ∗ install otfm 0.3.7+satysfi [required by satysfi] | |
| ∗ install ppx_pipebang v0.14.0 [required by ppx_jane] | |
| ∗ install ppx_deriving 5.2.1 [required by satysfi] | |
| ∗ install yojson-with-position 1.4.2+satysfi [required by satysfi] | |
| ∗ install base v0.14.1 [required by camlimages, core_kernel] | |
| ∗ install variantslib v0.14.0 [required by core_kernel] | |
| ∗ install typerep v0.14.0 [required by core_kernel] | |
| ∗ install stdio v0.14.0 [required by camlimages, core_kernel] | |
| ∗ install ppx_stable v0.14.1 [required by ppx_jane] | |
| ∗ install ppx_sexp_conv v0.14.3 [required by core_kernel] | |
| ∗ install ppx_optional v0.14.0 [required by ppx_jane] | |
| ∗ install ppx_let v0.14.0 [required by ppx_jane] | |
| ∗ install ppx_js_style v0.14.0 [required by ppx_base] | |
| ∗ install ppx_here v0.14.0 [required by ppx_jane] | |
| ∗ install ppx_fixed_literal v0.14.0 [required by ppx_jane] | |
| ∗ install ppx_enumerate v0.14.0 [required by ppx_base] | |
| ∗ install ppx_compare v0.14.0 [required by ppx_base, bin_prot] | |
| ∗ install ppx_cold v0.14.0 [required by ppx_base] | |
| ∗ install parsexp v0.14.0 [required by sexplib] | |
| ∗ install fieldslib v0.14.0 [required by core_kernel] | |
| ∗ install ppx_variants_conv v0.14.1 [required by ppx_jane] | |
| ∗ install ppx_typerep_conv v0.14.2 [required by ppx_jane] | |
| ∗ install ppx_optcomp v0.14.1 [required by ppx_jane] | |
| ∗ install camlimages 5.0.4 [required by satysfi] | |
| ∗ install ppx_custom_printf v0.14.1 [required by ppx_jane] | |
| ∗ install ppx_sexp_value v0.14.0 [required by ppx_jane] | |
| ∗ install ppx_sexp_message v0.14.1 [required by core_kernel] | |
| ∗ install ppx_hash v0.14.0 [required by core_kernel] | |
| ∗ install ppx_assert v0.14.0 [required by core_kernel] | |
| ∗ install sexplib v0.14.0 [required by core_kernel] | |
| ∗ install ppx_fields_conv v0.14.2 [required by ppx_jane] | |
| ∗ install ppx_base v0.14.0 [required by core_kernel] | |
| ∗ install jst-config v0.14.0 [required by core_kernel] | |
| ∗ install bin_prot v0.14.0 [required by core_kernel] | |
| ∗ install ppx_string v0.14.1 [required by ppx_jane] | |
| ∗ install time_now v0.14.0 [required by core_kernel] | |
| ∗ install ppx_bin_prot v0.14.0 [required by ppx_jane] | |
| ∗ install ppx_module_timer v0.14.0 [required by ppx_jane] | |
| ∗ install ppx_inline_test v0.14.1 [required by core_kernel] | |
| ∗ install ppx_expect v0.14.1 [required by ppx_jane] | |
| ∗ install ppx_bench v0.14.1 [required by ppx_jane] | |
| ∗ install splittable_random v0.14.0 [required by core_kernel] | |
| ∗ install base_quickcheck v0.14.1 [required by core_kernel] | |
| ∗ install ppx_jane v0.14.0 [required by core_kernel] | |
| ∗ install base_bigstring v0.14.0 [required by core_kernel] | |
| ∗ install core_kernel v0.14.1 [required by satysfi] | |
| ∗ install satysfi 0.0.6* | |
| ===== ∗ 78 ===== | |
| Do you want to continue? [Y/n] Y | |
| <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> | |
| [base_bigstring.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [base_quickcheck.v0.14.1] downloaded from cache at https://opam.ocaml.org/cache | |
| [base.v0.14.1] downloaded from cache at https://opam.ocaml.org/cache | |
| [bin_prot.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [biniou.1.2.1] downloaded from cache at https://opam.ocaml.org/cache | |
| [camlpdf.2.3.1+satysfi] downloaded from https://github.com/gfngfn/camlpdf/archive/v2.3.1+satysfi.tar.gz | |
| [batteries.3.3.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [cppo.1.6.7] downloaded from cache at https://opam.ocaml.org/cache | |
| [camlimages.5.0.4] downloaded from cache at https://opam.ocaml.org/cache | |
| [csexp.1.5.1] downloaded from cache at https://opam.ocaml.org/cache | |
| [core_kernel.v0.14.1] downloaded from cache at https://opam.ocaml.org/cache | |
| [easy-format.1.3.2] downloaded from cache at https://opam.ocaml.org/cache | |
| [fieldslib.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [dune.2.8.5] downloaded from cache at https://opam.ocaml.org/cache | |
| [jane-street-headers.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [jst-config.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [dune-configurator.2.8.5] downloaded from cache at https://opam.ocaml.org/cache | |
| [menhir.20210419] downloaded from cache at https://opam.ocaml.org/cache | |
| [num.1.4] downloaded from cache at https://opam.ocaml.org/cache | |
| [ocaml-compiler-libs.v0.12.3] downloaded from cache at https://opam.ocaml.org/cache | |
| [ocaml-migrate-parsetree.2.1.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [menhirLib.20210419] downloaded from cache at https://opam.ocaml.org/cache | |
| [ocamlbuild.0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [octavius.1.2.2] downloaded from cache at https://opam.ocaml.org/cache | |
| [ocamlfind.1.9.1] downloaded from cache at https://opam.ocaml.org/cache | |
| [omd.2.0.0~alpha1] downloaded from cache at https://opam.ocaml.org/cache | |
| [opam-depext.1.1.5] downloaded from cache at https://opam.ocaml.org/cache | |
| [otfm.0.3.7+satysfi] downloaded from https://github.com/gfngfn/otfm/archive/v0.3.7+satysfi.tar.gz | |
| [menhirSdk.20210419] downloaded from cache at https://opam.ocaml.org/cache | |
| [parsexp.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_assert.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_bench.v0.14.1] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_base.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_bin_prot.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_cold.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_custom_printf.v0.14.1] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_compare.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_derivers.1.2.1] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_enumerate.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_deriving.5.2.1] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_fields_conv.v0.14.2] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_expect.v0.14.1] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_fixed_literal.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_hash.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_here.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_inline_test.v0.14.1] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_jane.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_js_style.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_let.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_module_timer.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_optional.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_optcomp.v0.14.1] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_pipebang.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_sexp_message.v0.14.1] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_sexp_conv.v0.14.3] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_sexp_value.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_stable.v0.14.1] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_string.v0.14.1] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_variants_conv.v0.14.1] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_typerep_conv.v0.14.2] downloaded from cache at https://opam.ocaml.org/cache | |
| [result.1.5] downloaded from cache at https://opam.ocaml.org/cache | |
| [re.1.9.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppxlib.0.22.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [sexplib.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [sexplib0.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [splittable_random.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [stdio.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [time_now.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [stdlib-shims.0.3.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [topkg.1.0.3] downloaded from cache at https://opam.ocaml.org/cache | |
| [typerep.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [uchar.0.0.2] downloaded from cache at https://opam.ocaml.org/cache | |
| [uutf.1.0.2] downloaded from cache at https://opam.ocaml.org/cache | |
| [variantslib.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [yojson-with-position.1.4.2+satysfi] downloaded from https://github.com/gfngfn/yojson-with-position/archive/v1.4.2+satysfi.tar.gz | |
| <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> | |
| ∗ installed seq.base | |
| ∗ installed opam-depext.1.1.5 | |
| ∗ installed depext.transition | |
| ∗ installed ocamlfind.1.9.1 | |
| ∗ installed num.1.4 | |
| ∗ installed ocamlbuild.0.14.0 | |
| ∗ installed uchar.0.0.2 | |
| ∗ installed topkg.1.0.3 | |
| ∗ installed uutf.1.0.2 | |
| ∗ installed dune.2.8.5 | |
| ∗ installed camlpdf.2.3.1+satysfi | |
| ∗ installed cppo.1.6.7 | |
| ∗ installed csexp.1.5.1 | |
| ∗ installed easy-format.1.3.2 | |
| ∗ installed jane-street-headers.v0.14.0 | |
| ∗ installed menhirLib.20210419 | |
| ∗ installed menhirSdk.20210419 | |
| ∗ installed ocaml-compiler-libs.v0.12.3 | |
| ∗ installed ocaml-migrate-parsetree.2.1.0 | |
| ∗ installed octavius.1.2.2 | |
| ∗ installed ppx_derivers.1.2.1 | |
| ∗ installed re.1.9.0 | |
| ∗ installed result.1.5 | |
| ∗ installed sexplib0.v0.14.0 | |
| ∗ installed stdlib-shims.0.3.0 | |
| ∗ installed omd.2.0.0~alpha1 | |
| ∗ installed biniou.1.2.1 | |
| ∗ installed dune-configurator.2.8.5 | |
| ∗ installed otfm.0.3.7+satysfi | |
| ∗ installed yojson-with-position.1.4.2+satysfi | |
| ∗ installed menhir.20210419 | |
| ∗ installed batteries.3.3.0 | |
| ∗ installed base.v0.14.1 | |
| ∗ installed ppxlib.0.22.0 | |
| ∗ installed fieldslib.v0.14.0 | |
| ∗ installed parsexp.v0.14.0 | |
| ∗ installed ppx_cold.v0.14.0 | |
| ∗ installed ppx_compare.v0.14.0 | |
| ∗ installed ppx_deriving.5.2.1 | |
| ∗ installed ppx_enumerate.v0.14.0 | |
| ∗ installed ppx_fixed_literal.v0.14.0 | |
| ∗ installed ppx_here.v0.14.0 | |
| ∗ installed ppx_js_style.v0.14.0 | |
| ∗ installed ppx_let.v0.14.0 | |
| ∗ installed stdio.v0.14.0 | |
| ∗ installed ppx_optional.v0.14.0 | |
| ∗ installed ppx_pipebang.v0.14.0 | |
| ∗ installed typerep.v0.14.0 | |
| ∗ installed ppx_sexp_conv.v0.14.3 | |
| ∗ installed ppx_fields_conv.v0.14.2 | |
| ∗ installed ppx_optcomp.v0.14.1 | |
| ∗ installed ppx_stable.v0.14.1 | |
| ∗ installed ppx_typerep_conv.v0.14.2 | |
| ∗ installed sexplib.v0.14.0 | |
| ∗ installed variantslib.v0.14.0 | |
| ∗ installed camlimages.5.0.4 | |
| ∗ installed ppx_assert.v0.14.0 | |
| ∗ installed ppx_custom_printf.v0.14.1 | |
| ∗ installed ppx_hash.v0.14.0 | |
| ∗ installed ppx_sexp_message.v0.14.1 | |
| ∗ installed ppx_sexp_value.v0.14.0 | |
| ∗ installed ppx_variants_conv.v0.14.1 | |
| ∗ installed ppx_base.v0.14.0 | |
| ∗ installed jst-config.v0.14.0 | |
| ∗ installed time_now.v0.14.0 | |
| ∗ installed ppx_string.v0.14.1 | |
| ∗ installed bin_prot.v0.14.0 | |
| ∗ installed ppx_module_timer.v0.14.0 | |
| ∗ installed ppx_inline_test.v0.14.1 | |
| ∗ installed ppx_bin_prot.v0.14.0 | |
| ∗ installed ppx_bench.v0.14.1 | |
| ∗ installed ppx_expect.v0.14.1 | |
| ∗ installed splittable_random.v0.14.0 | |
| ∗ installed base_quickcheck.v0.14.1 | |
| ∗ installed ppx_jane.v0.14.0 | |
| ∗ installed base_bigstring.v0.14.0 | |
| ∗ installed core_kernel.v0.14.1 | |
| [ERROR] The compilation of satysfi failed at "/home/blank71/.opam/opam-init/hooks/sandbox.sh build make -f Makefile | |
| PREFIX=/home/blank71/.opam/4.12.0". | |
| #=== ERROR while compiling satysfi.0.0.6 ======================================# | |
| # context 2.0.5 | linux/x86_64 | ocaml-base-compiler.4.12.0 | pinned(file:///home/blank71/SATySFi/SATySFi-0.0.6) | |
| # path ~/.opam/4.12.0/.opam-switch/build/satysfi.0.0.6 | |
| # command ~/.opam/opam-init/hooks/sandbox.sh build make -f Makefile PREFIX=/home/blank71/.opam/4.12.0 | |
| # exit-code 2 | |
| # env-file ~/.opam/log/satysfi-30433-d79b64.env | |
| # output-file ~/.opam/log/satysfi-30433-d79b64.out | |
| ### output ### | |
| # [...] | |
| # Entering directory '/home/blank71/.opam/4.12.0/.opam-switch/build/satysfi.0.0.6/tools/gencode' | |
| # Entering directory '/home/blank71/.opam/4.12.0/.opam-switch/build/satysfi.0.0.6/tools/gencode' | |
| # dune exec --root tools/gencode ./gencode.exe -- --gen-text-mode-prims > src/frontend/__primitives_text_mode.gen.ml | |
| # Entering directory '/home/blank71/.opam/4.12.0/.opam-switch/build/satysfi.0.0.6/tools/gencode' | |
| # Entering directory '/home/blank71/.opam/4.12.0/.opam-switch/build/satysfi.0.0.6/tools/gencode' | |
| # dune build | |
| # menhir src/parser.{ml,mli} | |
| # Warning: 2 states have shift/reduce conflicts. | |
| # Warning: 2 shift/reduce conflicts were arbitrarily resolved. | |
| # File "src/md/decodeMD.ml", line 17, characters 17-25: | |
| # Error: Unbound type constructor Omd.name | |
| # make: *** [Makefile:47: all] Error 1 | |
| <><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><> | |
| ┌─ The following actions failed | |
| │ λ build satysfi 0.0.6 | |
| └─ | |
| ┌─ The following changes have been performed | |
| │ ∗ install base v0.14.1 | |
| │ ∗ install base_bigstring v0.14.0 | |
| │ ∗ install base_quickcheck v0.14.1 | |
| │ ∗ install batteries 3.3.0 | |
| │ ∗ install bin_prot v0.14.0 | |
| │ ∗ install biniou 1.2.1 | |
| │ ∗ install camlimages 5.0.4 | |
| │ ∗ install camlpdf 2.3.1+satysfi | |
| │ ∗ install core_kernel v0.14.1 | |
| │ ∗ install cppo 1.6.7 | |
| │ ∗ install csexp 1.5.1 | |
| │ ∗ install depext transition | |
| │ ∗ install dune 2.8.5 | |
| │ ∗ install dune-configurator 2.8.5 | |
| │ ∗ install easy-format 1.3.2 | |
| │ ∗ install fieldslib v0.14.0 | |
| │ ∗ install jane-street-headers v0.14.0 | |
| │ ∗ install jst-config v0.14.0 | |
| │ ∗ install menhir 20210419 | |
| │ ∗ install menhirLib 20210419 | |
| │ ∗ install menhirSdk 20210419 | |
| │ ∗ install num 1.4 | |
| │ ∗ install ocaml-compiler-libs v0.12.3 | |
| │ ∗ install ocaml-migrate-parsetree 2.1.0 | |
| │ ∗ install ocamlbuild 0.14.0 | |
| │ ∗ install ocamlfind 1.9.1 | |
| │ ∗ install octavius 1.2.2 | |
| │ ∗ install omd 2.0.0~alpha1 | |
| │ ∗ install opam-depext 1.1.5 | |
| │ ∗ install otfm 0.3.7+satysfi | |
| │ ∗ install parsexp v0.14.0 | |
| │ ∗ install ppx_assert v0.14.0 | |
| │ ∗ install ppx_base v0.14.0 | |
| │ ∗ install ppx_bench v0.14.1 | |
| │ ∗ install ppx_bin_prot v0.14.0 | |
| │ ∗ install ppx_cold v0.14.0 | |
| │ ∗ install ppx_compare v0.14.0 | |
| │ ∗ install ppx_custom_printf v0.14.1 | |
| │ ∗ install ppx_derivers 1.2.1 | |
| │ ∗ install ppx_deriving 5.2.1 | |
| │ ∗ install ppx_enumerate v0.14.0 | |
| │ ∗ install ppx_expect v0.14.1 | |
| │ ∗ install ppx_fields_conv v0.14.2 | |
| │ ∗ install ppx_fixed_literal v0.14.0 | |
| │ ∗ install ppx_hash v0.14.0 | |
| │ ∗ install ppx_here v0.14.0 | |
| │ ∗ install ppx_inline_test v0.14.1 | |
| │ ∗ install ppx_jane v0.14.0 | |
| │ ∗ install ppx_js_style v0.14.0 | |
| │ ∗ install ppx_let v0.14.0 | |
| │ ∗ install ppx_module_timer v0.14.0 | |
| │ ∗ install ppx_optcomp v0.14.1 | |
| │ ∗ install ppx_optional v0.14.0 | |
| │ ∗ install ppx_pipebang v0.14.0 | |
| │ ∗ install ppx_sexp_conv v0.14.3 | |
| │ ∗ install ppx_sexp_message v0.14.1 | |
| │ ∗ install ppx_sexp_value v0.14.0 | |
| │ ∗ install ppx_stable v0.14.1 | |
| │ ∗ install ppx_string v0.14.1 | |
| │ ∗ install ppx_typerep_conv v0.14.2 | |
| │ ∗ install ppx_variants_conv v0.14.1 | |
| │ ∗ install ppxlib 0.22.0 | |
| │ ∗ install re 1.9.0 | |
| │ ∗ install result 1.5 | |
| │ ∗ install seq base | |
| │ ∗ install sexplib v0.14.0 | |
| │ ∗ install sexplib0 v0.14.0 | |
| │ ∗ install splittable_random v0.14.0 | |
| │ ∗ install stdio v0.14.0 | |
| │ ∗ install stdlib-shims 0.3.0 | |
| │ ∗ install time_now v0.14.0 | |
| │ ∗ install topkg 1.0.3 | |
| │ ∗ install typerep v0.14.0 | |
| │ ∗ install uchar 0.0.2 | |
| │ ∗ install uutf 1.0.2 | |
| │ ∗ install variantslib v0.14.0 | |
| │ ∗ install yojson-with-position 1.4.2+satysfi | |
| └─ | |
| [NOTE] Pinning command successful, but your installed packages may be out of sync. | |
| The former state can be restored with: | |
| opam switch import "/home/blank71/.opam/4.12.0/.opam-switch/backup/state-20210423031229.export" | |
| $ vim satysfi.opam | |
| ## L38 | |
| ## "omd" | |
| ## -> | |
| ## "omd" {< "2.0.0~"} | |
| $ opam pin add satysfi . | |
| [NOTE] Package satysfi is already pinned to file:///home/blank71/SATySFi/SATySFi-0.0.6 (version 0.0.6). | |
| [satysfi.0.0.6] synchronised from file:///home/blank71/SATySFi/SATySFi-0.0.6 | |
| satysfi is now pinned to file:///home/blank71/SATySFi/SATySFi-0.0.6 (version 0.0.6) | |
| The following actions will be performed: | |
| ∗ install base-bytes base [required by omd] | |
| ↘ downgrade omd 2.0.0~alpha1 to 1.3.1 [required by satysfi] | |
| ∗ install satysfi 0.0.6* | |
| ===== ∗ 2 ↘ 1 ===== | |
| Do you want to continue? [Y/n] y | |
| <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> | |
| [omd.1.3.1] downloaded from cache at https://opam.ocaml.org/cache | |
| <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> | |
| ⊘ removed omd.2.0.0~alpha1 | |
| ∗ installed base-bytes.base | |
| ∗ installed omd.1.3.1 | |
| ∗ installed satysfi.0.0.6 | |
| Done. | |
| $ ./download-fonts.sh | |
| $ sudo ./install-libs.sh | |
| $ cd demo/ | |
| $ satysfi demo.saty | |
| $ satysfi demo.saty | |
| ---- ---- ---- ---- | |
| target file: 'demo.pdf' | |
| dump file: 'demo.satysfi-aux' (will be created) | |
| parsing 'demo.saty' ... | |
| parsing 'stdjabook.satyh' ... | |
| parsing 'pervasives.satyh' ... | |
| parsing 'gr.satyh' ... | |
| parsing 'geom.satyh' ... | |
| parsing 'list.satyg' ... | |
| parsing 'option.satyg' ... | |
| parsing 'math.satyh' ... | |
| parsing 'code.satyh' ... | |
| parsing 'color.satyh' ... | |
| parsing 'vdecoset.satyh' ... | |
| parsing 'annot.satyh' ... | |
| parsing 'footnote-scheme.satyh' ... | |
| parsing 'itemize.satyh' ... | |
| parsing 'tabular.satyh' ... | |
| parsing 'proof.satyh' ... | |
| parsing 'local.satyh' ... | |
| parsing 'hdecoset.satyh' ... | |
| ---- ---- ---- ---- | |
| type checking 'color.satyh' ... | |
| type check passed. | |
| ---- ---- ---- ---- | |
| type checking 'pervasives.satyh' ... | |
| type check passed. | |
| ---- ---- ---- ---- | |
| type checking 'option.satyg' ... | |
| type check passed. | |
| ---- ---- ---- ---- | |
| type checking 'geom.satyh' ... | |
| type check passed. | |
| ---- ---- ---- ---- | |
| type checking 'list.satyg' ... | |
| type check passed. | |
| ---- ---- ---- ---- | |
| type checking 'gr.satyh' ... | |
| type check passed. | |
| ---- ---- ---- ---- | |
| type checking 'tabular.satyh' ... | |
| type check passed. | |
| ---- ---- ---- ---- | |
| type checking 'annot.satyh' ... | |
| type check passed. | |
| ---- ---- ---- ---- | |
| type checking 'footnote-scheme.satyh' ... | |
| type check passed. | |
| ---- ---- ---- ---- | |
| type checking 'hdecoset.satyh' ... | |
| type check passed. | |
| ---- ---- ---- ---- | |
| type checking 'itemize.satyh' ... | |
| type check passed. | |
| ---- ---- ---- ---- | |
| type checking 'math.satyh' ... | |
| type check passed. | |
| ---- ---- ---- ---- | |
| type checking 'proof.satyh' ... | |
| type check passed. | |
| ---- ---- ---- ---- | |
| type checking 'vdecoset.satyh' ... | |
| type check passed. | |
| ---- ---- ---- ---- | |
| type checking 'code.satyh' ... | |
| type check passed. | |
| ---- ---- ---- ---- | |
| type checking 'stdjabook.satyh' ... | |
| type check passed. | |
| ---- ---- ---- ---- | |
| type checking 'local.satyh' ... | |
| type check passed. | |
| ---- ---- ---- ---- | |
| type checking 'demo.saty' ... | |
| type check passed. (document) | |
| preprocessing 'color.satyh' ... | |
| preprocessing 'pervasives.satyh' ... | |
| evaluating 'option.satyg' ... | |
| preprocessing 'geom.satyh' ... | |
| evaluating 'list.satyg' ... | |
| preprocessing 'gr.satyh' ... | |
| preprocessing 'tabular.satyh' ... | |
| preprocessing 'annot.satyh' ... | |
| preprocessing 'footnote-scheme.satyh' ... | |
| preprocessing 'hdecoset.satyh' ... | |
| preprocessing 'itemize.satyh' ... | |
| preprocessing 'math.satyh' ... | |
| preprocessing 'proof.satyh' ... | |
| preprocessing 'vdecoset.satyh' ... | |
| preprocessing 'code.satyh' ... | |
| preprocessing 'stdjabook.satyh' ... | |
| preprocessing 'local.satyh' ... | |
| preprocessing 'demo.saty' ... | |
| evaluating 'color.satyh' ... | |
| evaluating 'pervasives.satyh' ... | |
| evaluating 'geom.satyh' ... | |
| evaluating 'gr.satyh' ... | |
| evaluating 'tabular.satyh' ... | |
| evaluating 'annot.satyh' ... | |
| evaluating 'footnote-scheme.satyh' ... | |
| evaluating 'hdecoset.satyh' ... | |
| evaluating 'itemize.satyh' ... | |
| evaluating 'math.satyh' ... | |
| evaluating 'proof.satyh' ... | |
| evaluating 'vdecoset.satyh' ... | |
| evaluating 'code.satyh' ... | |
| evaluating 'stdjabook.satyh' ... | |
| evaluating 'local.satyh' ... | |
| ---- ---- ---- ---- | |
| evaluating texts ... | |
| evaluation done. | |
| ---- ---- ---- ---- | |
| breaking contents into pages ... | |
| [Warning] an overfull line occurs on page 1 | |
| [Warning] an overfull line occurs on page 1 | |
| needs another trial for solving cross references... | |
| ---- ---- ---- ---- | |
| evaluating texts (2nd trial) ... | |
| evaluation done. | |
| ---- ---- ---- ---- | |
| breaking contents into pages ... | |
| [Warning] an overfull line occurs on page 1 | |
| [Warning] an overfull line occurs on page 1 | |
| all cross references were solved. | |
| ---- ---- ---- ---- | |
| embedding fonts ... | |
| ---- ---- ---- ---- | |
| writing pages ... | |
| ---- ---- ---- ---- | |
| output written on 'demo.pdf'. |
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
| $ sudo apt update -y && sudo apt upgrade -y | |
| $ sudo apt install opam | |
| $ opam init | |
| $ eval $(opam env) | |
| $ ocaml --version | |
| The OCaml toplevel, version 4.08.1 | |
| $ opam switch create 4.12.0 | |
| $ eval $(opam env) | |
| $ ocaml --version | |
| The OCaml toplevel, version 4.12.0 | |
| $ opam repository add --all-switches satysfi-external https://github.com/gfngfn/satysfi-external-repo.git | |
| $ opam repository add --all-switches satyrographos-repo https://github.com/na4zagin3/satyrographos-repo.git | |
| $ opam install satysfi satysfi-dist satyrographos | |
| The following actions will be performed: | |
| ∗ install seq base [required by fmt] | |
| ∗ install ocamlbuild 0.14.0 [required by omd, batteries, otfm] | |
| ∗ install conf-pkg-config 2 [required by bigstringaf] | |
| ∗ install ocamlfind 1.9.1 [required by satysfi] | |
| ∗ install opam-depext 1.1.5 [required by depext] | |
| ∗ install dune 2.8.5 [required by satyrographos, satysfi] | |
| ∗ install jbuilder 1.0+beta20.2 [required by json-derivers] | |
| ∗ install uchar 0.0.2 [required by otfm] | |
| ∗ install topkg 1.0.3 [required by otfm] | |
| ∗ install num 1.4 [required by batteries] | |
| ∗ install camlpdf 2.3.1+satysfi [required by satysfi] | |
| ∗ install base-bytes base [required by fileutils, omd] | |
| ∗ install depext transition [required by satysfi] | |
| ∗ install stdlib-shims 0.3.0 [required by fileutils, ocamlgraph] | |
| ∗ install spawn v0.13.0 [required by core, shexp] | |
| ∗ install sexplib0 v0.14.0 [required by uri-sexp] | |
| ∗ install result 1.5 [required by ppx_deriving_yojson, ppx_deriving, otfm] | |
| ∗ install re 1.9.0 [required by satyrographos, satysfi] | |
| ∗ install ppx_derivers 1.2.1 [required by ppx_deriving] | |
| ∗ install opam-file-format 2.1.0 [required by opam-format] | |
| ∗ install octavius 1.2.2 [required by ppx_js_style] | |
| ∗ install ocaml-syntax-shims 1.0.0 [required by angstrom] | |
| ∗ install ocaml-migrate-parsetree 2.1.0 [required by ppxlib] | |
| ∗ install ocaml-compiler-libs v0.12.3 [required by ppxlib] | |
| ∗ install menhirSdk 20210419 [required by menhir] | |
| ∗ install menhirLib 20210419 [required by menhir] | |
| ∗ install jane-street-headers v0.14.0 [required by core_kernel] | |
| ∗ install integers 0.4.0 [required by ctypes] | |
| ∗ install easy-format 1.3.2 [required by yojson-with-position] | |
| ∗ install csexp 1.5.1 [required by dune-configurator] | |
| ∗ install cppo 1.6.7 [required by satysfi] | |
| ∗ install bigarray-compat 1.0.0 [required by ctypes] | |
| ∗ install uutf 1.0.2 [required by satysfi] | |
| ∗ install astring 0.8.5 [required by bos] | |
| ∗ install batteries 3.3.0 [required by satysfi] | |
| ∗ install stringext 1.6.0 [required by uri] | |
| ∗ install omd 1.3.1 [required by satysfi] | |
| ∗ install ocamlgraph 2.0.0 [required by satyrographos] | |
| ∗ install fmt 0.8.9 [required by yaml] | |
| ∗ install fileutils 0.6.3 [required by satyrographos] | |
| ∗ install rresult 0.6.0 [required by yaml] | |
| ∗ install ppxlib 0.22.0 [required by ppx_deriving, ppx_deriving_yojson] | |
| ∗ install menhir 20210419 [required by satyrographos, satysfi] | |
| ∗ install biniou 1.2.1 [required by yojson-with-position] | |
| ∗ install dune-configurator 2.8.5 [required by yaml, camlimages] | |
| ∗ install ctypes 0.18.0 [required by yaml] | |
| ∗ install bigstringaf 0.7.0 [required by angstrom] | |
| ∗ install otfm 0.3.7+satysfi [required by satysfi] | |
| ∗ install fpath 0.7.3 [required by bos] | |
| ∗ install opam-core 2.0.8 [required by opam-format] | |
| ∗ install logs 0.7.0 [required by yaml] | |
| ∗ install ppx_pipebang v0.14.0 [required by ppx_jane] | |
| ∗ install ppx_deriving 5.2.1 [required by satyrographos, satysfi] | |
| ∗ install yojson-with-position 1.4.2+satysfi [required by satysfi] | |
| ∗ install yojson 1.7.0 [required by satyrographos] | |
| ∗ install base v0.14.1 [required by shexp, json-derivers, camlimages] | |
| ∗ install angstrom 0.15.0 [required by uri] | |
| ∗ install opam-format 2.0.8 [required by satyrographos] | |
| ∗ install bos 0.2.0 [required by yaml] | |
| ∗ install ppx_deriving_yojson 3.6.1 [required by satyrographos] | |
| ∗ install variantslib v0.14.0 [required by core_kernel] | |
| ∗ install typerep v0.14.0 [required by core_kernel] | |
| ∗ install stdio v0.14.0 [required by camlimages] | |
| ∗ install ppx_stable v0.14.1 [required by ppx_jane] | |
| ∗ install ppx_sexp_conv v0.14.3 [required by uri-sexp, yaml] | |
| ∗ install ppx_optional v0.14.0 [required by ppx_jane] | |
| ∗ install ppx_let v0.14.0 [required by ppx_jane] | |
| ∗ install ppx_js_style v0.14.0 [required by ppx_base] | |
| ∗ install ppx_here v0.14.0 [required by ppx_jane] | |
| ∗ install ppx_fixed_literal v0.14.0 [required by ppx_jane] | |
| ∗ install ppx_enumerate v0.14.0 [required by ppx_base] | |
| ∗ install ppx_compare v0.14.0 [required by ppx_base, bin_prot] | |
| ∗ install ppx_cold v0.14.0 [required by ppx_base] | |
| ∗ install parsexp v0.14.0 [required by sexplib] | |
| ∗ install json-derivers 1.0.0 [required by satyrographos] | |
| ∗ install fieldslib v0.14.0 [required by core_kernel] | |
| ∗ install uri 4.1.0 [required by satyrographos] | |
| ∗ install opam-repository 2.0.8 [required by opam-state] | |
| ∗ install ppx_variants_conv v0.14.1 [required by ppx_jane] | |
| ∗ install ppx_typerep_conv v0.14.2 [required by ppx_jane] | |
| ∗ install ppx_optcomp v0.14.1 [required by posixat] | |
| ∗ install camlimages 5.0.4 [required by satysfi] | |
| ∗ install ppx_custom_printf v0.14.1 [required by ppx_jane] | |
| ∗ install ppx_sexp_value v0.14.0 [required by ppx_jane] | |
| ∗ install ppx_sexp_message v0.14.1 [required by core_kernel] | |
| ∗ install ppx_hash v0.14.0 [required by core_kernel] | |
| ∗ install ppx_assert v0.14.0 [required by core_kernel] | |
| ∗ install sexplib v0.14.0 [required by core, yaml] | |
| ∗ install ppx_fields_conv v0.14.2 [required by ppx_jane] | |
| ∗ install uri-sexp 4.1.0 [required by satyrographos] | |
| ∗ install opam-state 2.0.8 [required by satyrographos] | |
| ∗ install posixat v0.14.0 [required by shexp] | |
| ∗ install ppx_base v0.14.0 [required by core_kernel] | |
| ∗ install jst-config v0.14.0 [required by core] | |
| ∗ install yaml 2.1.0 [required by satyrographos] | |
| ∗ install bin_prot v0.14.0 [required by core_kernel] | |
| ∗ install shexp v0.14.0 [required by satyrographos] | |
| ∗ install ppx_string v0.14.1 [required by ppx_jane] | |
| ∗ install time_now v0.14.0 [required by core_kernel] | |
| ∗ install ppx_bin_prot v0.14.0 [required by ppx_jane] | |
| ∗ install ppx_module_timer v0.14.0 [required by ppx_jane] | |
| ∗ install ppx_inline_test v0.14.1 [required by core_kernel] | |
| ∗ install ppx_expect v0.14.1 [required by ppx_jane] | |
| ∗ install ppx_bench v0.14.1 [required by ppx_jane] | |
| ∗ install splittable_random v0.14.0 [required by core_kernel] | |
| ∗ install base_quickcheck v0.14.1 [required by core_kernel] | |
| ∗ install ppx_jane v0.14.0 [required by satyrographos] | |
| ∗ install base_bigstring v0.14.0 [required by core_kernel] | |
| ∗ install core_kernel v0.14.1 [required by satysfi] | |
| ∗ install timezone v0.14.0 [required by core] | |
| ∗ install satysfi 0.0.6-32-g9dbd61d | |
| ∗ install core v0.14.1 [required by satyrographos] | |
| ∗ install satysfi-dist 0.0.6-32-g9dbd61d | |
| ∗ install satyrographos 0.0.2.10 | |
| ===== ∗ 114 ===== | |
| Do you want to continue? [Y/n] y | |
| <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> | |
| [astring.0.8.5] downloaded from cache at https://opam.ocaml.org/cache | |
| [angstrom.0.15.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [base.v0.14.1] downloaded from cache at https://opam.ocaml.org/cache | |
| [base_bigstring.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [base_quickcheck.v0.14.1] downloaded from cache at https://opam.ocaml.org/cache | |
| [bigarray-compat.1.0.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [bigstringaf.0.7.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [biniou.1.2.1] downloaded from cache at https://opam.ocaml.org/cache | |
| [batteries.3.3.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [bin_prot.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [bos.0.2.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [camlpdf.2.3.1+satysfi] downloaded from https://github.com/gfngfn/camlpdf/archive/v2.3.1+satysfi.tar.gz | |
| [camlimages.5.0.4] downloaded from cache at https://opam.ocaml.org/cache | |
| [core.v0.14.1] downloaded from cache at https://opam.ocaml.org/cache | |
| [cppo.1.6.7] downloaded from cache at https://opam.ocaml.org/cache | |
| [csexp.1.5.1] downloaded from cache at https://opam.ocaml.org/cache | |
| [core_kernel.v0.14.1] downloaded from cache at https://opam.ocaml.org/cache | |
| [ctypes.0.18.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [easy-format.1.3.2] downloaded from cache at https://opam.ocaml.org/cache | |
| [dune.2.8.5] downloaded from cache at https://opam.ocaml.org/cache | |
| [fieldslib.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [fileutils.0.6.3] downloaded from cache at https://opam.ocaml.org/cache | |
| [fmt.0.8.9] downloaded from cache at https://opam.ocaml.org/cache | |
| [fpath.0.7.3] downloaded from cache at https://opam.ocaml.org/cache | |
| [integers.0.4.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [jane-street-headers.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [dune-configurator.2.8.5] downloaded from cache at https://opam.ocaml.org/cache | |
| [json-derivers.1.0.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [jst-config.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [jbuilder.1.0+beta20.2] downloaded from cache at https://opam.ocaml.org/cache | |
| [logs.0.7.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [menhir.20210419] downloaded from cache at https://opam.ocaml.org/cache | |
| [num.1.4] downloaded from cache at https://opam.ocaml.org/cache | |
| [ocaml-compiler-libs.v0.12.3] downloaded from cache at https://opam.ocaml.org/cache | |
| [ocaml-migrate-parsetree.2.1.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [menhirSdk.20210419] downloaded from cache at https://opam.ocaml.org/cache | |
| [ocaml-syntax-shims.1.0.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [ocamlbuild.0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [ocamlfind.1.9.1] downloaded from cache at https://opam.ocaml.org/cache | |
| [octavius.1.2.2] downloaded from cache at https://opam.ocaml.org/cache | |
| [menhirLib.20210419] downloaded from cache at https://opam.ocaml.org/cache | |
| [ocamlgraph.2.0.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [omd.1.3.1] downloaded from cache at https://opam.ocaml.org/cache | |
| [opam-depext.1.1.5] downloaded from cache at https://opam.ocaml.org/cache | |
| [opam-file-format.2.1.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [opam-core.2.0.8] downloaded from cache at https://opam.ocaml.org/cache | |
| [opam-state.2.0.8] found in cache | |
| [otfm.0.3.7+satysfi] downloaded from https://github.com/gfngfn/otfm/archive/v0.3.7+satysfi.tar.gz | |
| [parsexp.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [posixat.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [opam-repository.2.0.8] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_assert.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_base.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_bench.v0.14.1] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_bin_prot.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_cold.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_compare.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [opam-format.2.0.8] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_derivers.1.2.1] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_custom_printf.v0.14.1] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_enumerate.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_deriving.5.2.1] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_deriving_yojson.3.6.1] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_fixed_literal.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_fields_conv.v0.14.2] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_expect.v0.14.1] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_here.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_hash.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_inline_test.v0.14.1] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_js_style.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_jane.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_let.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_optional.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_module_timer.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_optcomp.v0.14.1] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_pipebang.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_sexp_message.v0.14.1] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_sexp_conv.v0.14.3] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_string.v0.14.1] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_sexp_value.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_stable.v0.14.1] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_typerep_conv.v0.14.2] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppx_variants_conv.v0.14.1] downloaded from cache at https://opam.ocaml.org/cache | |
| [result.1.5] downloaded from cache at https://opam.ocaml.org/cache | |
| [ppxlib.0.22.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [re.1.9.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [rresult.0.6.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [satyrographos.0.0.2.10] downloaded from cache at https://opam.ocaml.org/cache | |
| [sexplib.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [sexplib0.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [shexp.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [spawn.v0.13.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [satysfi.0.0.6-32-g9dbd61d] synchronised from git+https://github.com/gfngfn/SATySFi.git#9dbd61df0ab05943b3394830c371e927df45251a | |
| [satysfi-dist.0.0.6-32-g9dbd61d] synchronised from git+https://github.com/gfngfn/SATySFi.git#9dbd61df0ab05943b3394830c371e927df45251a | |
| [splittable_random.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [stdio.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [stdlib-shims.0.3.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [stringext.1.6.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [time_now.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [timezone.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [topkg.1.0.3] downloaded from cache at https://opam.ocaml.org/cache | |
| [typerep.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [uchar.0.0.2] downloaded from cache at https://opam.ocaml.org/cache | |
| [uri.4.1.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [uutf.1.0.2] downloaded from cache at https://opam.ocaml.org/cache | |
| [satysfi-dist.0.0.6-32-g9dbd61d/temp/IPAexfont00401.zip] downloaded from https://moji.or.jp/wp-content/ipafont/IPAexfont/IPAexfont00401.zip | |
| [variantslib.v0.14.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [yaml.2.1.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [satysfi-dist.0.0.6-32-g9dbd61d/temp/junicode-1.002.zip] downloaded from http://downloads.sourceforge.net/project/junicode/junicode/junicode-1.002/junicode-1.002.zip | |
| [uri-sexp.4.1.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [yojson.1.7.0] downloaded from cache at https://opam.ocaml.org/cache | |
| [yojson-with-position.1.4.2+satysfi] downloaded from https://github.com/gfngfn/yojson-with-position/archive/v1.4.2+satysfi.tar.gz | |
| [satysfi-dist.0.0.6-32-g9dbd61d/temp/latinmodern-math-1959.zip] downloaded from http://www.gust.org.pl/projects/e-foundry/lm-math/download/latinmodern-math-1959.zip | |
| [satysfi-dist.0.0.6-32-g9dbd61d/temp/lm2.004otf.zip] downloaded from http://www.gust.org.pl/projects/e-foundry/latin-modern/download/lm2.004otf.zip | |
| <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> | |
| ∗ installed seq.base | |
| [ERROR] The compilation of conf-pkg-config failed at "/home/blank71/.opam/opam-init/hooks/sandbox.sh build pkg-config | |
| --help". | |
| ∗ installed opam-depext.1.1.5 | |
| ∗ installed depext.transition | |
| ∗ installed ocamlfind.1.9.1 | |
| ∗ installed base-bytes.base | |
| ∗ installed num.1.4 | |
| ∗ installed ocamlbuild.0.14.0 | |
| ∗ installed uchar.0.0.2 | |
| ∗ installed jbuilder.1.0+beta20.2 | |
| ∗ installed topkg.1.0.3 | |
| ∗ installed uutf.1.0.2 | |
| ∗ installed astring.0.8.5 | |
| ∗ installed fpath.0.7.3 | |
| ∗ installed omd.1.3.1 | |
| ∗ installed camlpdf.2.3.1+satysfi | |
| ∗ installed dune.2.8.5 | |
| ∗ installed bigarray-compat.1.0.0 | |
| ∗ installed cppo.1.6.7 | |
| ∗ installed csexp.1.5.1 | |
| ∗ installed easy-format.1.3.2 | |
| ∗ installed integers.0.4.0 | |
| ∗ installed jane-street-headers.v0.14.0 | |
| ∗ installed menhirLib.20210419 | |
| ∗ installed menhirSdk.20210419 | |
| ∗ installed ocaml-compiler-libs.v0.12.3 | |
| ∗ installed ocaml-migrate-parsetree.2.1.0 | |
| ∗ installed ocaml-syntax-shims.1.0.0 | |
| ∗ installed octavius.1.2.2 | |
| ∗ installed opam-file-format.2.1.0 | |
| ∗ installed ppx_derivers.1.2.1 | |
| ∗ installed re.1.9.0 | |
| ∗ installed result.1.5 | |
| ∗ installed biniou.1.2.1 | |
| ∗ installed dune-configurator.2.8.5 | |
| ∗ installed rresult.0.6.0 | |
| ∗ installed sexplib0.v0.14.0 | |
| ∗ installed spawn.v0.13.0 | |
| ∗ installed stdlib-shims.0.3.0 | |
| ∗ installed fileutils.0.6.3 | |
| ∗ installed fmt.0.8.9 | |
| ∗ installed batteries.3.3.0 | |
| ∗ installed logs.0.7.0 | |
| ∗ installed menhir.20210419 | |
| ∗ installed ocamlgraph.2.0.0 | |
| ∗ installed otfm.0.3.7+satysfi | |
| ∗ installed stringext.1.6.0 | |
| ∗ installed yojson.1.7.0 | |
| ∗ installed yojson-with-position.1.4.2+satysfi | |
| ∗ installed base.v0.14.1 | |
| ∗ installed bos.0.2.0 | |
| ∗ installed ctypes.0.18.0 | |
| ∗ installed fieldslib.v0.14.0 | |
| ∗ installed json-derivers.1.0.0 | |
| ∗ installed ppxlib.0.22.0 | |
| ∗ installed opam-core.2.0.8 | |
| ∗ installed parsexp.v0.14.0 | |
| ∗ installed ppx_cold.v0.14.0 | |
| ∗ installed ppx_compare.v0.14.0 | |
| ∗ installed ppx_deriving.5.2.1 | |
| ∗ installed ppx_enumerate.v0.14.0 | |
| ∗ installed ppx_fields_conv.v0.14.2 | |
| ∗ installed ppx_fixed_literal.v0.14.0 | |
| ∗ installed ppx_here.v0.14.0 | |
| ∗ installed ppx_js_style.v0.14.0 | |
| ∗ installed ppx_let.v0.14.0 | |
| ∗ installed ppx_optional.v0.14.0 | |
| ∗ installed stdio.v0.14.0 | |
| ∗ installed ppx_pipebang.v0.14.0 | |
| ∗ installed ppx_sexp_conv.v0.14.3 | |
| ∗ installed ppx_deriving_yojson.3.6.1 | |
| ∗ installed ppx_hash.v0.14.0 | |
| ∗ installed camlimages.5.0.4 | |
| ∗ installed ppx_optcomp.v0.14.1 | |
| ∗ installed ppx_assert.v0.14.0 | |
| ∗ installed ppx_custom_printf.v0.14.1 | |
| ∗ installed ppx_stable.v0.14.1 | |
| ∗ installed sexplib.v0.14.0 | |
| ∗ installed opam-format.2.0.8 | |
| ∗ installed ppx_sexp_message.v0.14.1 | |
| ∗ installed typerep.v0.14.0 | |
| ∗ installed ppx_sexp_value.v0.14.0 | |
| ∗ installed variantslib.v0.14.0 | |
| ∗ installed ppx_base.v0.14.0 | |
| ∗ installed posixat.v0.14.0 | |
| ∗ installed jst-config.v0.14.0 | |
| ∗ installed ppx_typerep_conv.v0.14.2 | |
| ∗ installed yaml.2.1.0 | |
| ∗ installed ppx_variants_conv.v0.14.1 | |
| ∗ installed ppx_string.v0.14.1 | |
| ∗ installed shexp.v0.14.0 | |
| ∗ installed time_now.v0.14.0 | |
| ∗ installed opam-repository.2.0.8 | |
| ∗ installed bin_prot.v0.14.0 | |
| ∗ installed ppx_module_timer.v0.14.0 | |
| ∗ installed ppx_inline_test.v0.14.1 | |
| ∗ installed ppx_bin_prot.v0.14.0 | |
| ∗ installed ppx_bench.v0.14.1 | |
| ∗ installed opam-state.2.0.8 | |
| ∗ installed ppx_expect.v0.14.1 | |
| ∗ installed splittable_random.v0.14.0 | |
| ∗ installed base_quickcheck.v0.14.1 | |
| ∗ installed ppx_jane.v0.14.0 | |
| ∗ installed base_bigstring.v0.14.0 | |
| ∗ installed core_kernel.v0.14.1 | |
| ∗ installed timezone.v0.14.0 | |
| ∗ installed satysfi.0.0.6-32-g9dbd61d | |
| ∗ installed satysfi-dist.0.0.6-32-g9dbd61d | |
| ∗ installed core.v0.14.1 | |
| #=== ERROR while compiling conf-pkg-config.2 ==================================# | |
| # context 2.0.5 | linux/x86_64 | ocaml-base-compiler.4.12.0 | https://opam.ocaml.org#f7364ccf | |
| # path ~/.opam/4.12.0/.opam-switch/build/conf-pkg-config.2 | |
| # command ~/.opam/opam-init/hooks/sandbox.sh build pkg-config --help | |
| # exit-code 1 | |
| # env-file ~/.opam/log/conf-pkg-config-21478-1be4d1.env | |
| # output-file ~/.opam/log/conf-pkg-config-21478-1be4d1.out | |
| ### output ### | |
| # bwrap: execvp pkg-config: No such file or directory | |
| <><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><> | |
| ┌─ The following actions failed | |
| │ λ build conf-pkg-config 2 | |
| └─ | |
| ┌─ The following changes have been performed (the rest was aborted) | |
| │ ∗ install astring 0.8.5 | |
| │ ∗ install base v0.14.1 | |
| │ ∗ install base-bytes base | |
| │ ∗ install base_bigstring v0.14.0 | |
| │ ∗ install base_quickcheck v0.14.1 | |
| │ ∗ install batteries 3.3.0 | |
| │ ∗ install bigarray-compat 1.0.0 | |
| │ ∗ install bin_prot v0.14.0 | |
| │ ∗ install biniou 1.2.1 | |
| │ ∗ install bos 0.2.0 | |
| │ ∗ install camlimages 5.0.4 | |
| │ ∗ install camlpdf 2.3.1+satysfi | |
| │ ∗ install core v0.14.1 | |
| │ ∗ install core_kernel v0.14.1 | |
| │ ∗ install cppo 1.6.7 | |
| │ ∗ install csexp 1.5.1 | |
| │ ∗ install ctypes 0.18.0 | |
| │ ∗ install depext transition | |
| │ ∗ install dune 2.8.5 | |
| │ ∗ install dune-configurator 2.8.5 | |
| │ ∗ install easy-format 1.3.2 | |
| │ ∗ install fieldslib v0.14.0 | |
| │ ∗ install fileutils 0.6.3 | |
| │ ∗ install fmt 0.8.9 | |
| │ ∗ install fpath 0.7.3 | |
| │ ∗ install integers 0.4.0 | |
| │ ∗ install jane-street-headers v0.14.0 | |
| │ ∗ install jbuilder 1.0+beta20.2 | |
| │ ∗ install json-derivers 1.0.0 | |
| │ ∗ install jst-config v0.14.0 | |
| │ ∗ install logs 0.7.0 | |
| │ ∗ install menhir 20210419 | |
| │ ∗ install menhirLib 20210419 | |
| │ ∗ install menhirSdk 20210419 | |
| │ ∗ install num 1.4 | |
| │ ∗ install ocaml-compiler-libs v0.12.3 | |
| │ ∗ install ocaml-migrate-parsetree 2.1.0 | |
| │ ∗ install ocaml-syntax-shims 1.0.0 | |
| │ ∗ install ocamlbuild 0.14.0 | |
| │ ∗ install ocamlfind 1.9.1 | |
| │ ∗ install ocamlgraph 2.0.0 | |
| │ ∗ install octavius 1.2.2 | |
| │ ∗ install omd 1.3.1 | |
| │ ∗ install opam-core 2.0.8 | |
| │ ∗ install opam-depext 1.1.5 | |
| │ ∗ install opam-file-format 2.1.0 | |
| │ ∗ install opam-format 2.0.8 | |
| │ ∗ install opam-repository 2.0.8 | |
| │ ∗ install opam-state 2.0.8 | |
| │ ∗ install otfm 0.3.7+satysfi | |
| │ ∗ install parsexp v0.14.0 | |
| │ ∗ install posixat v0.14.0 | |
| │ ∗ install ppx_assert v0.14.0 | |
| │ ∗ install ppx_base v0.14.0 | |
| │ ∗ install ppx_bench v0.14.1 | |
| │ ∗ install ppx_bin_prot v0.14.0 | |
| │ ∗ install ppx_cold v0.14.0 | |
| │ ∗ install ppx_compare v0.14.0 | |
| │ ∗ install ppx_custom_printf v0.14.1 | |
| │ ∗ install ppx_derivers 1.2.1 | |
| │ ∗ install ppx_deriving 5.2.1 | |
| │ ∗ install ppx_deriving_yojson 3.6.1 | |
| │ ∗ install ppx_enumerate v0.14.0 | |
| │ ∗ install ppx_expect v0.14.1 | |
| │ ∗ install ppx_fields_conv v0.14.2 | |
| │ ∗ install ppx_fixed_literal v0.14.0 | |
| │ ∗ install ppx_hash v0.14.0 | |
| │ ∗ install ppx_here v0.14.0 | |
| │ ∗ install ppx_inline_test v0.14.1 | |
| │ ∗ install ppx_jane v0.14.0 | |
| │ ∗ install ppx_js_style v0.14.0 | |
| │ ∗ install ppx_let v0.14.0 | |
| │ ∗ install ppx_module_timer v0.14.0 | |
| │ ∗ install ppx_optcomp v0.14.1 | |
| │ ∗ install ppx_optional v0.14.0 | |
| │ ∗ install ppx_pipebang v0.14.0 | |
| │ ∗ install ppx_sexp_conv v0.14.3 | |
| │ ∗ install ppx_sexp_message v0.14.1 | |
| │ ∗ install ppx_sexp_value v0.14.0 | |
| │ ∗ install ppx_stable v0.14.1 | |
| │ ∗ install ppx_string v0.14.1 | |
| │ ∗ install ppx_typerep_conv v0.14.2 | |
| │ ∗ install ppx_variants_conv v0.14.1 | |
| │ ∗ install ppxlib 0.22.0 | |
| │ ∗ install re 1.9.0 | |
| │ ∗ install result 1.5 | |
| │ ∗ install rresult 0.6.0 | |
| │ ∗ install satysfi 0.0.6-32-g9dbd61d | |
| │ ∗ install satysfi-dist 0.0.6-32-g9dbd61d | |
| │ ∗ install seq base | |
| │ ∗ install sexplib v0.14.0 | |
| │ ∗ install sexplib0 v0.14.0 | |
| │ ∗ install shexp v0.14.0 | |
| │ ∗ install spawn v0.13.0 | |
| │ ∗ install splittable_random v0.14.0 | |
| │ ∗ install stdio v0.14.0 | |
| │ ∗ install stdlib-shims 0.3.0 | |
| │ ∗ install stringext 1.6.0 | |
| │ ∗ install time_now v0.14.0 | |
| │ ∗ install timezone v0.14.0 | |
| │ ∗ install topkg 1.0.3 | |
| │ ∗ install typerep v0.14.0 | |
| │ ∗ install uchar 0.0.2 | |
| │ ∗ install uutf 1.0.2 | |
| │ ∗ install variantslib v0.14.0 | |
| │ ∗ install yaml 2.1.0 | |
| │ ∗ install yojson 1.7.0 | |
| │ ∗ install yojson-with-position 1.4.2+satysfi | |
| └─ | |
| The packages you requested declare the following system dependencies. Please make sure they are installed before | |
| retrying: | |
| pkg-config | |
| The former state can be restored with: | |
| opam switch import "/home/blank71/.opam/4.12.0/.opam-switch/backup/state-20210423110146.export" | |
| $ sudo apt install pkg-config | |
| $ opam install satysfi satysfi-dist satyrographos | |
| $ eval $(opam env) | |
| $ satyrographos install | |
| Reading runtime dist: /home/blank71/.opam/4.12.0/share/satysfi/dist | |
| Read user libraries: () | |
| Reading opam libraries: (dist) | |
| Overriding dist with user installed one | |
| Not gathering system fonts | |
| Installing libraries: (dist) | |
| Removing destination /home/blank71/.satysfi/dist | |
| Installation completed! | |
| $ mkdir SATySFi | |
| $ cd SATySFi | |
| $ git clone https://github.com/gfngfn/SATySFi.git | |
| $ cd SATySFi | |
| $ cd demo | |
| $ satysfi demo.saty | |
| ---- ---- ---- ---- | |
| target file: 'demo.pdf' | |
| dump file: 'demo.satysfi-aux' (will be created) | |
| parsing 'demo.saty' ... | |
| parsing 'stdjabook.satyh' ... | |
| parsing 'pervasives.satyh' ... | |
| parsing 'gr.satyh' ... | |
| parsing 'geom.satyh' ... | |
| parsing 'list.satyg' ... | |
| parsing 'option.satyg' ... | |
| parsing 'math.satyh' ... | |
| parsing 'code.satyh' ... | |
| parsing 'color.satyh' ... | |
| parsing 'vdecoset.satyh' ... | |
| parsing 'annot.satyh' ... | |
| parsing 'footnote-scheme.satyh' ... | |
| parsing 'itemize.satyh' ... | |
| parsing 'tabular.satyh' ... | |
| parsing 'proof.satyh' ... | |
| parsing 'local.satyh' ... | |
| parsing 'hdecoset.satyh' ... | |
| ---- ---- ---- ---- | |
| type checking 'option.satyg' ... | |
| type check passed. | |
| ---- ---- ---- ---- | |
| type checking 'color.satyh' ... | |
| type check passed. | |
| ---- ---- ---- ---- | |
| type checking 'pervasives.satyh' ... | |
| type check passed. | |
| ---- ---- ---- ---- | |
| type checking 'list.satyg' ... | |
| type check passed. | |
| ---- ---- ---- ---- | |
| type checking 'geom.satyh' ... | |
| type check passed. | |
| ---- ---- ---- ---- | |
| type checking 'tabular.satyh' ... | |
| type check passed. | |
| ---- ---- ---- ---- | |
| type checking 'gr.satyh' ... | |
| type check passed. | |
| ---- ---- ---- ---- | |
| type checking 'annot.satyh' ... | |
| type check passed. | |
| ---- ---- ---- ---- | |
| type checking 'footnote-scheme.satyh' ... | |
| type check passed. | |
| ---- ---- ---- ---- | |
| type checking 'hdecoset.satyh' ... | |
| type check passed. | |
| ---- ---- ---- ---- | |
| type checking 'itemize.satyh' ... | |
| type check passed. | |
| ---- ---- ---- ---- | |
| type checking 'math.satyh' ... | |
| type check passed. | |
| ---- ---- ---- ---- | |
| type checking 'proof.satyh' ... | |
| type check passed. | |
| ---- ---- ---- ---- | |
| type checking 'vdecoset.satyh' ... | |
| type check passed. | |
| ---- ---- ---- ---- | |
| type checking 'code.satyh' ... | |
| type check passed. | |
| ---- ---- ---- ---- | |
| type checking 'stdjabook.satyh' ... | |
| type check passed. | |
| ---- ---- ---- ---- | |
| type checking 'local.satyh' ... | |
| type check passed. | |
| ---- ---- ---- ---- | |
| type checking 'demo.saty' ... | |
| type check passed. (document) | |
| evaluating 'option.satyg' ... | |
| preprocessing 'color.satyh' ... | |
| preprocessing 'pervasives.satyh' ... | |
| evaluating 'list.satyg' ... | |
| preprocessing 'geom.satyh' ... | |
| preprocessing 'tabular.satyh' ... | |
| preprocessing 'gr.satyh' ... | |
| preprocessing 'annot.satyh' ... | |
| preprocessing 'footnote-scheme.satyh' ... | |
| preprocessing 'hdecoset.satyh' ... | |
| preprocessing 'itemize.satyh' ... | |
| preprocessing 'math.satyh' ... | |
| preprocessing 'proof.satyh' ... | |
| preprocessing 'vdecoset.satyh' ... | |
| preprocessing 'code.satyh' ... | |
| preprocessing 'stdjabook.satyh' ... | |
| preprocessing 'local.satyh' ... | |
| preprocessing 'demo.saty' ... | |
| evaluating 'color.satyh' ... | |
| evaluating 'pervasives.satyh' ... | |
| evaluating 'geom.satyh' ... | |
| evaluating 'tabular.satyh' ... | |
| evaluating 'gr.satyh' ... | |
| evaluating 'annot.satyh' ... | |
| evaluating 'footnote-scheme.satyh' ... | |
| evaluating 'hdecoset.satyh' ... | |
| evaluating 'itemize.satyh' ... | |
| evaluating 'math.satyh' ... | |
| evaluating 'proof.satyh' ... | |
| evaluating 'vdecoset.satyh' ... | |
| evaluating 'code.satyh' ... | |
| evaluating 'stdjabook.satyh' ... | |
| evaluating 'local.satyh' ... | |
| ---- ---- ---- ---- | |
| evaluating texts ... | |
| evaluation done. | |
| ---- ---- ---- ---- | |
| breaking contents into pages ... | |
| [Warning] an overfull line occurs on page 1 | |
| [Warning] an overfull line occurs on page 1 | |
| needs another trial for solving cross references... | |
| ---- ---- ---- ---- | |
| evaluating texts (2nd trial) ... | |
| evaluation done. | |
| ---- ---- ---- ---- | |
| breaking contents into pages ... | |
| [Warning] an overfull line occurs on page 1 | |
| [Warning] an overfull line occurs on page 1 | |
| all cross references were solved. | |
| ---- ---- ---- ---- | |
| embedding fonts ... | |
| ---- ---- ---- ---- | |
| writing pages ... | |
| ---- ---- ---- ---- | |
| output written on 'demo.pdf'. | |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment