search

amutake / docker-satysfi

Docker images for SATySFi and Satyrographos
https://hub.docker.com/r/amutake/satysfi/
Apache License 2.0
26 stars 5 forks source link

Try using opam-bin to reduce image size of non-slim images #36

Closed amutake closed 3 years ago

amutake commented 3 years ago

https://ocamlpro.github.io/opam-bin/index.html

amutake commented 3 years ago

When installing satysfi+bin, the dependent library (the binary version of it. e.g., ocaml-base-compiler) is also installed, so unfortunately its size is not reduced. It might be nice if I could just install satysfi+bin, but I don't know if there's a way to do that.

amutake commented 3 years ago

memo: It is required to do opam repository add local-bin.

amutake commented 3 years ago

If I can create an empty switch and install only satysfi+bin and satyrographos+bin, and clean the cache and the other switches, that would be ideal.

amutake commented 3 years ago 
root@9e5882a29d5f:/satysfi# opam bin list
Binary packages in /root/.opam/plugins/opam-bin/store/archives:
root@9e5882a29d5f:/satysfi# satysfi
! [Error] no input file designation.
root@9e5882a29d5f:/satysfi# opam switch
#   switch  compiler                    description
->  4.11.1  ocaml-base-compiler.4.11.1  4.11.1
root@9e5882a29d5f:/satysfi# ls ~/.opam/
4.11.1/         config.1        download-cache/ log/            plugins/
config          config.lock     lock            opam-init/      repo/
root@9e5882a29d5f:/satysfi# ls ~/.opam/plugins/
bin/      opam-bin/
root@9e5882a29d5f:/satysfi# ls ~/.opam/plugins/opam-bin/
cache/         opam-bin.exe   opam-bin.log   store/
config         opam-bin.info  patches/
root@9e5882a29d5f:/satysfi# ls ~/.opam/plugins/opam-bin/store/
archives/ repo/
root@9e5882a29d5f:/satysfi# ls ~/.opam/plugins/opam-bin/store/archives/
root@9e5882a29d5f:/satysfi# ls ~/.opam/plugins/opam-bin/store/repo/
packages/ repo      version
root@9e5882a29d5f:/satysfi# ls ~/.opam/plugins/opam-bin/store/repo/packages/
root@9e5882a29d5f:/satysfi# opam switch list-available
(snip)
root@9e5882a29d5f:/satysfi# opam switch create 4.10.1
(snip)
Done.
# Run eval $(opam env) to update the current shell environment
root@9e5882a29d5f:/satysfi# eval $(opam env)
root@9e5882a29d5f:/satysfi# opam install satysfi
[ERROR] No package named satysfi found.
root@9e5882a29d5f:/satysfi# opam repository add satysfi-external
root@9e5882a29d5f:/satysfi# opam repository add satyrographos-repo
root@9e5882a29d5f:/satysfi# opam info satysfi

<><> satysfi: information on all versions <><><><><><><><><><><><><><><><><><><>
name                   satysfi
all-installed-versions 0.0.5+dev2020.09.05 [4.11.1]
all-versions           0.0.3  0.0.3+dev2018.10.29  0.0.3+dev2019.02.10  0.0.3+dev2019.02.13
                       0.0.3+dev2019.03.10  0.0.3+dev2019.07.14  0.0.3+dev2019.11.16  0.0.4
                       0.0.4+dev2020.02.09  0.0.4+dev2020.02.16  0.0.4+dev2020.02.22
                       0.0.4+dev2020.04.05  0.0.4+dev2020.04.25  0.0.4+dev2020.06.07  0.0.5
                       0.0.5+dev2020.09.05

<><> Version-specific details <><><><><><><><><><><><><><><><><><><><><><><><><>
version      0.0.5+dev2020.09.05
repository   satyrographos-repo
url.src:     "git+https://github.com/gfngfn/SATySFi.git#4e8ea2147f66b8c26a494067b3011e480be6526e"
homepage:    "https://github.com/gfngfn/SATySFi"
bug-reports: "https://github.com/gfngfn/SATySFi/issues"
dev-repo:    "git+https://github.com/gfngfn/SATySFi.git"
authors:     "gfngfn"
maintainer:  "gfngfn"
depends:     "ocaml" {>= "4.08.0"}
             "batteries"
             "camlimages" {>= "5.0.1"}
             "camlpdf" {= "2.3.1+satysfi"}
             "core_kernel" {>= "v0.13"}
             "cppo" {build & >= "1.6.4" & < "1.7.0"}
             "depext"
             "dune" {build}
             "menhir"
             "ocamlfind" {build}
             "otfm" {= "0.3.7+satysfi"}
             "ppx_deriving"
             "re" {build}
             "uutf"
             "yojson-with-position" {= "1.4.2+satysfi"}
             "omd"
synopsis     A statically-typed, functional typesetting system
description  SATySFi is a typesetting system with a static type system. It consists mainly of two
             “layers” ― the text layer and the program layer. The former is for writing documents in
             LaTeX-like syntax. The latter, which has ML-like syntax, is for defining functions and
             commands. SATySFi enables you to write documents markuped with flexible commands of your
             own making. In addition, its informative type error reporting will be a good help to your
             writing.
root@9e5882a29d5f:/satysfi# opam install satysfi
(snip)
Done.
root@9e5882a29d5f:/satysfi# opam bin list
Binary packages in /root/.opam/plugins/opam-bin/store/archives:
base-bigarray.base+bin+e647d4c2+f2cc4984-bin.tar.gz
base-bytes.base+bin+4d5169e5+f2cc4984-bin.tar.gz
base-threads.base+bin+f854a44a+f2cc4984-bin.tar.gz
base-unix.base+bin+cf3e0c8e+f2cc4984-bin.tar.gz
base.v0.14.0+bin+baa73d0b+1e7f8be5-bin.tar.gz
base_bigstring.v0.14.0+bin+e8b1acc8+afc9c956-bin.tar.gz
base_quickcheck.v0.14.0+bin+b88fe326+12eaa927-bin.tar.gz
batteries.3.2.0+bin+b4222a9e+b00b018f-bin.tar.gz
bin_prot.v0.14.0+bin+ae62cc2f+23d4c887-bin.tar.gz
biniou.1.2.1+bin+58c5ae05+fc500760-bin.tar.gz
camlimages.5.0.4+bin+1351308d+e752f281-bin.tar.gz
camlpdf.2.3.1+satysfi+bin+70c2621b+ea6cd4a2-bin.tar.gz
conf-m4.1+bin+5f777b5f+f2cc4984-bin.tar.gz
core_kernel.v0.14.0+bin+dc103562+7d19e3ae-bin.tar.gz
cppo.1.6.6+bin+76ec8f09+c94ecb9b-bin.tar.gz
csexp.1.3.2+bin+7cefa0c5+69ddfc61-bin.tar.gz
depext.transition+bin+af75e8f4+f2cc4984-bin.tar.gz
dune-configurator.2.7.1+bin+12ab1b21+a4a01625-bin.tar.gz
dune.2.7.1+bin+3d31427b+78d41356-bin.tar.gz
easy-format.1.3.2+bin+40d233aa+ea4168b4-bin.tar.gz
fieldslib.v0.14.0+bin+f4a3d5b0+79c9deee-bin.tar.gz
jane-street-headers.v0.14.0+bin+49313a3c+7bdab3a4-bin.tar.gz
jst-config.v0.14.0+bin+c1f6cc4e+111ed381-bin.tar.gz
menhir.20200624+bin+26808af7+2579ae98-bin.tar.gz
menhirLib.20200624+bin+64439263+63740dd1-bin.tar.gz
menhirSdk.20200624+bin+322ef9d3+55e97044-bin.tar.gz
num.1.4+bin+86018089+e27d745c-bin.tar.gz
ocaml-base-compiler.4.10.1+bin+55d22ba6+965560cc-bin.tar.gz
ocaml-compiler-libs.v0.12.3+bin+3ea787bb+0264f094-bin.tar.gz
ocaml-config.1+bin+3ecefed8+2f4c3127-bin.tar.gz
ocaml-migrate-parsetree.1.8.0+bin+db09d926+3bd2d368-bin.tar.gz
ocaml.4.10.1+bin+a2cfa800+f2cc4984-bin.tar.gz
ocamlbuild.0.14.0+bin+afa5862f+3b86fedd-bin.tar.gz
ocamlfind.1.8.1+bin+ef8b3673+279fc0c2-bin.tar.gz
octavius.1.2.2+bin+2def9ec6+11b4b957-bin.tar.gz
omd.1.3.1+bin+b4ac62b3+c57f7936-bin.tar.gz
opam-depext.1.1.4+bin+c06b8bab+dd66818b-bin.tar.gz
otfm.0.3.7+satysfi+bin+86d4db4a+a3097e90-bin.tar.gz
parsexp.v0.14.0+bin+f1e4ff28+3bb816a4-bin.tar.gz
ppx_assert.v0.14.0+bin+47448ccc+92c40afd-bin.tar.gz
ppx_base.v0.14.0+bin+89c6b98e+13cae085-bin.tar.gz
ppx_bench.v0.14.1+bin+cf74bfa1+6ac60d84-bin.tar.gz
ppx_bin_prot.v0.14.0+bin+bf4e2894+7f0143ab-bin.tar.gz
ppx_cold.v0.14.0+bin+a08a9ab0+24980524-bin.tar.gz
ppx_compare.v0.14.0+bin+841e5db0+6343104e-bin.tar.gz
ppx_custom_printf.v0.14.0+bin+908939f7+49a87657-bin.tar.gz
ppx_derivers.1.2.1+bin+495409e3+6b7c9808-bin.tar.gz
ppx_deriving.5.1+bin+89e625a6+ed268fcb-bin.tar.gz
ppx_enumerate.v0.14.0+bin+7d23f6cf+20d2ef6c-bin.tar.gz
ppx_expect.v0.14.0+bin+53d92385+e6019532-bin.tar.gz
ppx_fields_conv.v0.14.1+bin+f44c90ac+db693776-bin.tar.gz
ppx_fixed_literal.v0.14.0+bin+f181bf66+37e00109-bin.tar.gz
ppx_hash.v0.14.0+bin+e2a013d4+7a5a909f-bin.tar.gz
ppx_here.v0.14.0+bin+ca31b4bf+9f380900-bin.tar.gz
ppx_inline_test.v0.14.1+bin+52b10968+af9e878e-bin.tar.gz
ppx_jane.v0.14.0+bin+ce61e63d+ad6129dc-bin.tar.gz
ppx_js_style.v0.14.0+bin+083942af+6e114f70-bin.tar.gz
ppx_let.v0.14.0+bin+fef8f8c6+584c60cf-bin.tar.gz
ppx_module_timer.v0.14.0+bin+b090c020+9c1d0d37-bin.tar.gz
ppx_optcomp.v0.14.0+bin+7663c18b+a26300b0-bin.tar.gz
ppx_optional.v0.14.0+bin+0c923be2+38e4d370-bin.tar.gz
ppx_pipebang.v0.14.0+bin+45e20c30+b9c56dd8-bin.tar.gz
ppx_sexp_conv.v0.14.1+bin+acac41a0+18bc5294-bin.tar.gz
ppx_sexp_message.v0.14.0+bin+ff2fc4d1+3e71c141-bin.tar.gz
ppx_sexp_value.v0.14.0+bin+046e5636+bbb766a1-bin.tar.gz
ppx_stable.v0.14.1+bin+cef6a056+0e62abdd-bin.tar.gz
ppx_string.v0.14.1+bin+82b387c3+9b2e2c73-bin.tar.gz
ppx_typerep_conv.v0.14.1+bin+2245d739+41e86919-bin.tar.gz
ppx_variants_conv.v0.14.1+bin+e75a69ff+bbf2ceb0-bin.tar.gz
ppxlib.0.15.0+bin+6a7b6971+53e8d9aa-bin.tar.gz
re.1.9.0+bin+0838fe91+0a1f191c-bin.tar.gz
result.1.5+bin+baffeb54+4246b89b-bin.tar.gz
satysfi.0.0.5+dev2020.09.05+bin+38c13732+24b823e5-bin.tar.gz
seq.base+bin+85dd742a+f056f66d-bin.tar.gz
sexplib.v0.14.0+bin+6e1a4e48+9da2f0eb-bin.tar.gz
sexplib0.v0.14.0+bin+5b54a12f+424966ff-bin.tar.gz
splittable_random.v0.14.0+bin+6d632df7+3aaa8c9a-bin.tar.gz
stdio.v0.14.0+bin+5470d67f+331abe6c-bin.tar.gz
stdlib-shims.0.1.0+bin+fef1deaa+027cd2e3-bin.tar.gz
time_now.v0.14.0+bin+aa658fa5+4ae0a0ed-bin.tar.gz
topkg.1.0.3+bin+b02a7d77+71908144-bin.tar.gz
typerep.v0.14.0+bin+5f7c5bce+7dbb017e-bin.tar.gz
uchar.0.0.2+bin+b7a7e189+2120ee63-bin.tar.gz
uutf.1.0.2+bin+43dd2ed3+3258f0f8-bin.tar.gz
variantslib.v0.14.0+bin+822cda9e+f75ae448-bin.tar.gz
yojson-with-position.1.4.2+satysfi+bin+4daf7f23+a5f95397-bin.tar.gz
root@9e5882a29d5f:/satysfi# opam switch
#   switch  compiler                    description
->  4.10.1  ocaml-base-compiler.4.10.1  4.10.1
    4.11.1  ocaml-base-compiler.4.11.1  4.11.1
root@9e5882a29d5f:/satysfi# opam switch create empty --empty
root@9e5882a29d5f:/satysfi# opam repository add local-bin
root@9e5882a29d5f:/satysfi# opam repository add satyrographos-repo
root@9e5882a29d5f:/satysfi# opam bin config --base-url $HOME/.opam/plugins/opam-bin/store
opam-bin 1.0.0 by OCamlPro SAS <contact@ocamlpro.com>
opam-bin config saved in /root/.opam/plugins/opam-bin/config .
Refactoring...
root@9e5882a29d5f:/satysfi# apt-get install nano
(snip)
root@9e5882a29d5f:/satysfi# opam update

<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[local-bin] synchronised from file:///root/.opam/plugins/opam-bin/store/repo
[satyrographos-repo] no changes from git+https://github.com/na4zagin3/satyrographos-repo.git
[default] synchronised from https://opam.ocaml.org
Now run 'opam upgrade' to apply any package updates.
root@9e5882a29d5f:/satysfi# opam info satysfi

<><> satysfi: information on all versions <><><><><><><><><><><><><><><><><><><>
name                   satysfi
all-installed-versions 0.0.5+dev2020.09.05 [4.11.1 4.10.1]
all-versions           0.0.3  0.0.3+dev2018.10.29  0.0.3+dev2019.02.10  0.0.3+dev2019.02.13
                       0.0.3+dev2019.03.10  0.0.3+dev2019.07.14  0.0.3+dev2019.11.16  0.0.4
                       0.0.4+dev2020.02.09  0.0.4+dev2020.02.16  0.0.4+dev2020.02.22
                       0.0.4+dev2020.04.05  0.0.4+dev2020.04.25  0.0.4+dev2020.06.07  0.0.5
                       0.0.5+dev2020.09.05  0.0.5+dev2020.09.05+bin+38c13732+24b823e5

<><> Version-specific details <><><><><><><><><><><><><><><><><><><><><><><><><>
version       0.0.5+dev2020.09.05+bin+38c13732+24b823e5
repository    local-bin
url.src:      "file:///root/.opam/plugins/opam-bin/store/archives/satysfi.0.0.5+dev2020.09.05+bin+38c13732+24b823e5-bin.tar.gz"
url.checksum: "md5=24b823e58e127809dd337a8a1cceb5f1"
homepage:     "https://github.com/gfngfn/SATySFi"
bug-reports:  "https://github.com/gfngfn/SATySFi/issues"
dev-repo:     "git+https://github.com/gfngfn/SATySFi.git"
authors:      "gfngfn"
maintainer:   "gfngfn"
depends:      "omd" {= "1.3.1+bin+b4ac62b3+c57f7936"}
              "yojson-with-position" {= "1.4.2+satysfi+bin+4daf7f23+a5f95397"}
              "uutf" {= "1.0.2+bin+43dd2ed3+3258f0f8"}
              "ppx_deriving" {= "5.1+bin+89e625a6+ed268fcb"}
              "otfm" {= "0.3.7+satysfi+bin+86d4db4a+a3097e90"}
              "menhir" {= "20200624+bin+26808af7+2579ae98"}
              "depext" {= "transition+bin+af75e8f4+f2cc4984"}
              "core_kernel" {= "v0.14.0+bin+dc103562+7d19e3ae"}
              "camlpdf" {= "2.3.1+satysfi+bin+70c2621b+ea6cd4a2"}
              "camlimages" {= "5.0.4+bin+1351308d+e752f281"}
              "batteries" {= "3.2.0+bin+b4222a9e+b00b018f"}
              "ocaml" {= "4.10.1+bin+a2cfa800+f2cc4984"}
synopsis      A statically-typed, functional typesetting system
description   SATySFi is a typesetting system with a static type system. It consists mainly of two
              “layers” ― the text layer and the program layer. The former is for writing documents in
              LaTeX-like syntax. The latter, which has ML-like syntax, is for defining functions and
              commands. SATySFi enables you to write documents markuped with flexible commands of your
              own making. In addition, its informative type error reporting will be a good help to
              your writing.
root@9e5882a29d5f:/satysfi# opam pin edit satysfi
Package satysfi is not pinned. Edit as a new pinning to version
0.0.5+dev2020.09.05+bin+38c13732+24b823e5? [Y/n] y
Press enter to start "nano" (this can be customised by setting EDITOR or OPAMEDITOR)...
[WARNING] The opam file didn't pass validation:
    error 53: Mismatching 'extra-files:' field: "bin-package.version", "bin-package.info"
Proceed anyway ('no' will re-edit)? [Y/n] y
You can edit this file again with "opam pin edit satysfi", export it with "opam show satysfi --raw"
satysfi is now pinned to file:///root/.opam/plugins/opam-bin/store/archives/satysfi.0.0.5+dev2020.09.05+bin+38c13732+24b823e5-bin.tar.gz (version 0.0.5+dev2020.09.05+bin+38c13732+24b823e5)
The following actions will be performed:
  - install satysfi 0.0.5+dev2020.09.05+bin+38c13732+24b823e5*

<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[satysfi.0.0.5+dev2020.09.05+bin+38c13732+24b823e5] downloaded from file:///root/.opam/plugins/opam-bin/store/archives/satysfi.0.0.5+dev2020.09.05+bin+38c13732+24b823e5-bin.tar.gz

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed satysfi.0.0.5+dev2020.09.05+bin+38c13732+24b823e5
Done.
# Run eval $(opam env) to update the current shell environment
root@9e5882a29d5f:/satysfi# eval $(opam env)
root@9e5882a29d5f:/satysfi# satysfi
! [Error] no input file designation.
root@9e5882a29d5f:/satysfi# opam info satysfi-base

<><> satysfi-base: information on all versions ><><><><><><><><><><><><><><><><>
name         satysfi-base
all-versions 1.0.0  1.1.1  1.2.0  1.2.1  1.3.0

<><> Version-specific details <><><><><><><><><><><><><><><><><><><><><><><><><>
version       1.3.0
repository    satyrographos-repo
url.src:      "https://github.com/nyuichi/satysfi-base/archive/1.3.0.tar.gz"
url.checksum:
          "md5=a01fec04317611432422b713b9edad53"
          "sha512=86be0df201b597ce58257b763728f573c20cc0581927054f5f7d3f903b4abfbb1cfc9b1bb243831ce6ff29d6b65c3bc607fa2175b42183add369e0b2bd7279aa"
homepage:     "https://github.com/nyuichi/satysfi-base"
bug-reports:  "https://github.com/nyuichi/satysfi-base/issues"
dev-repo:     "git+https://github.com/nyuichi/satysfi-base.git"
authors:      "Yuichi Nishiwaki <yuichi.nishiwaki@gmail.com>"
              "puripuri2100 <puripuri2100@gmail.com>"
              "Yuito Murase <yuito.murase@gmail.com>"
maintainer:   "Yuichi Nishiwaki <yuichi.nishiwaki@gmail.com>"
license:      "MIT"
depends:      "satysfi" {>= "0.0.3" & < "0.0.6"}
              "satyrographos" {>= "0.0.2.3" & < "0.0.3"}
              "satysfi-fonts-dejavu" {>= "2.37"}
              "satysfi-zrbase" {>= "0.4.0"}
synopsis      A collection of utility functions and modules for SATySFi
description
          This is a collection of utility functions and modules for SATySFi. Because the library
          bundled with the default installation configuration of SATySFi is currently not rich enough,
          this project aims to provide a complementary library sufficient for most situations in
          typesetting.
          this requires Satyrographos to install. See https://github.com/na4zagin3/satyrographos.
root@9e5882a29d5f:/satysfi# opam install satysfi-base
^Croot@9e5882a29d5f:/satysfi# opam switch 4.10.1
# Run eval $(opam env) to update the current shell environment
root@9e5882a29d5f:/satysfi# eval $(opam env)
root@9e5882a29d5f:/satysfi# opam repository
[NOTE] These are the repositories in use by the current switch. Use '--all' to see all configured
       repositories.

<><> Repository configuration for switch 4.10.1 <><><><><><><><><><><><><><><><>
 1 satyrographos-repo git+https://github.com/na4zagin3/satyrographos-repo.git
 2 satysfi-external   git+https://github.com/gfngfn/satysfi-external-repo.git
 3 default            https://opam.ocaml.org
root@9e5882a29d5f:/satysfi# opam install satyrographos
(snip)
Done.
root@9e5882a29d5f:/satysfi# opam switch empty
# Run eval $(opam env) to update the current shell environment
root@9e5882a29d5f:/satysfi# eval $(opam env)
root@9e5882a29d5f:/satysfi# opam update local-bin

<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[local-bin] synchronised from file:///root/.opam/plugins/opam-bin/store/repo
Now run 'opam upgrade' to apply any package updates.
root@9e5882a29d5f:/satysfi# opam pin edit satyrographos
Package satyrographos is not pinned. Edit as a new pinning to version 0.0.2.8+bin+79d8e50b+bb672083?
[Y/n] y
Press enter to start "nano" (this can be customised by setting EDITOR or OPAMEDITOR)...
[WARNING] The opam file didn't pass validation:
    error 53: Mismatching 'extra-files:' field: "bin-package.version", "bin-package.info"
Proceed anyway ('no' will re-edit)? [Y/n] y
You can edit this file again with "opam pin edit satyrographos", export it with "opam show satyrographos --raw"
satyrographos is now pinned to file:///root/.opam/plugins/opam-bin/store/archives/satyrographos.0.0.2.8+bin+79d8e50b+bb672083-bin.tar.gz (version 0.0.2.8+bin+79d8e50b+bb672083)
The following actions will be performed:
  - install satyrographos 0.0.2.8+bin+79d8e50b+bb672083*

<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[satyrographos.0.0.2.8+bin+79d8e50b+bb672083] downloaded from file:///root/.opam/plugins/opam-bin/store/archives/satyrographos.0.0.2.8+bin+79d8e50b+bb672083-bin.tar.gz

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed satyrographos.0.0.2.8+bin+79d8e50b+bb672083
Done.
root@9e5882a29d5f:/satysfi# satyrographos install
Uncaught exception:

  "SATySFi dist directory is not found. Please run opam install satysfi-dist"

Raised at file "src/error.ml" (inlined), line 8, characters 14-30
Called from file "src/option.ml", line 136, characters 4-21
Called from file "src/command/install.ml", line 22, characters 25-147
Called from file "src/command/install.ml", line 169, characters 20-66
Called from file "src/command/install.ml", line 213, characters 4-103
Called from file "bin/commandInstall.ml", line 50, characters 8-334
Called from file "src/command.ml", line 2451, characters 8-238
Called from file "src/exn.ml", line 111, characters 6-10
root@9e5882a29d5f:/satysfi# opam info satysfi-dist

<><> satysfi-dist: information on all versions ><><><><><><><><><><><><><><><><>
name                   satysfi-dist
all-installed-versions 0.0.5+dev2020.09.05 [4.11.1]
all-versions           0.0.3  0.0.3+dev2019.02.10  0.0.3+dev2019.02.13  0.0.3+dev2019.03.10
                       0.0.3+dev2019.07.14  0.0.3+dev2019.11.16  0.0.4  0.0.4+dev2020.02.09
                       0.0.4+dev2020.02.16  0.0.4+dev2020.02.22  0.0.4+dev2020.04.05
                       0.0.4+dev2020.04.25  0.0.4+dev2020.06.07  0.0.5  0.0.5+dev2020.09.05

<><> Version-specific details <><><><><><><><><><><><><><><><><><><><><><><><><>
version      0.0.5+dev2020.09.05
repository   satyrographos-repo
url.src:     "git+https://github.com/gfngfn/SATySFi.git#4e8ea2147f66b8c26a494067b3011e480be6526e"
homepage:    "https://github.com/gfngfn/SATySFi"
bug-reports: "https://github.com/gfngfn/SATySFi/issues"
dev-repo:    "git+https://github.com/gfngfn/SATySFi.git"
authors:     "gfngfn"
maintainer:  "SAKAMOTO Noriaki <mrty.ityt.pt@gmail.com>"
depends:     "satysfi" {= "%{version}%"}
synopsis     Standard library of SATySFi
description  Provides the standard library of SATySFi
root@9e5882a29d5f:/satysfi# opam switch 4.10.1
# Run eval $(opam env) to update the current shell environment
root@9e5882a29d5f:/satysfi# eval $(opam env)
root@9e5882a29d5f:/satysfi# opam install satysfi-dist
The following actions will be performed:
  - install satysfi-dist 0.0.5+dev2020.09.05

<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[satysfi-dist.0.0.5+dev2020.09.05] synchronised from git+https://github.com/gfngfn/SATySFi.git#4e8ea2147f66b8c26a494067b3011e480be6526e

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed satysfi-dist.0.0.5+dev2020.09.05
Done.
root@9e5882a29d5f:/satysfi# opam switch empty
# Run eval $(opam env) to update the current shell environment
root@9e5882a29d5f:/satysfi# opam update local-bin

<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[local-bin] synchronised from file:///root/.opam/plugins/opam-bin/store/repo
Now run 'opam upgrade' to apply any package updates.
root@9e5882a29d5f:/satysfi# opam pin edit satysfi-dist
Package satysfi-dist is not pinned. Edit as a new pinning to version
0.0.5+dev2020.09.05+bin+e6c0d5f5+89bf87b7? [Y/n] y
Press enter to start "nano" (this can be customised by setting EDITOR or OPAMEDITOR)...
[WARNING] The opam file didn't pass validation:
    error 53: Mismatching 'extra-files:' field: "bin-package.version", "bin-package.info"
Proceed anyway ('no' will re-edit)? [Y/n] y
You can edit this file again with "opam pin edit satysfi-dist", export it with "opam show satysfi-dist --raw"
satysfi-dist is now pinned to file:///root/.opam/plugins/opam-bin/store/archives/satysfi-dist.0.0.5+dev2020.09.05+bin+e6c0d5f5+89bf87b7-bin.tar.gz (version 0.0.5+dev2020.09.05+bin+e6c0d5f5+89bf87b7)
The following actions will be performed:
  - install satysfi-dist 0.0.5+dev2020.09.05+bin+e6c0d5f5+89bf87b7*

<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[satysfi-dist.0.0.5+dev2020.09.05+bin+e6c0d5f5+89bf87b7] downloaded from file:///root/.opam/plugins/opam-bin/store/archives/satysfi-dist.0.0.5+dev2020.09.05+bin+e6c0d5f5+89bf87b7-bin.tar.gz

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed satysfi-dist.0.0.5+dev2020.09.05+bin+e6c0d5f5+89bf87b7
Done.
# Run eval $(opam env) to update the current shell environment
root@9e5882a29d5f:/satysfi# satyrographos install
Reading runtime dist: /root/.opam/empty/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 /root/.satysfi/dist
Installation completed!
root@9e5882a29d5f:/satysfi# opam install satysfi-base
The following actions will be performed:
  - install satysfi-fonts-dejavu 2.37+satysfi0.0.4 [required by satysfi-base]
  - install satysfi-zrbase       0.4.0             [required by satysfi-base]
  - install satysfi-base         1.3.0
===== 3 to install =====

<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[satysfi-fonts-dejavu.2.37+satysfi0.0.4] downloaded from https://github.com/zeptometer/SATySFi-fonts-dejavu/archive/2.37+satysfi0.0.4.tar.gz
[satysfi-zrbase.0.4.0] downloaded from https://github.com/zr-tex8r/satysfi-zrbase/archive/0.4.0.tar.gz
[satysfi-base.1.3.0] downloaded from https://github.com/nyuichi/satysfi-base/archive/1.3.0.tar.gz
[satysfi-fonts-dejavu.2.37+satysfi0.0.4/dejavu-fonts-ttf-2.37.zip] downloaded from http://sourceforge.net/projects/dejavu/files/dejavu/2.37/dejavu-fonts-ttf-2.37.zip

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed satysfi-fonts-dejavu.2.37+satysfi0.0.4
-> installed satysfi-zrbase.0.4.0
-> installed satysfi-base.1.3.0
Done.
# Run eval $(opam env) to update the current shell environment
root@9e5882a29d5f:/satysfi#
amutake commented 3 years ago 
opam switch 4.10.1 # opam-bin does not work for 4.11.1
opam install opam-ed --ignore-constraints-on
opam switch create empty --empty
opam repo add satyrographos-repo
opam repo add local-bin
opam update
SATYSFI_FILE=$(opam info satysfi -f url.src: | sed -e 's/"//g')
SATYROGRAPHOS_FILE=$(opam info satyrographos -f url.src: | sed -e 's/"//g')
opam install opam-ed
opam pin add satysfi $SATYSFI_FILE --no-action
opam-ed 'remove depends' -f ~/.opam/empty/.opam-switch/overlay/satysfi/opam -i
opam pin add satyrographos $SATYROGRAPHOS_FILE --no-action
opam-ed 'remove depends' -f ~/.opam/empty/.opam-switch/overlay/satyrographos/opam -i
opam install satysfi satyrographos satysfi-dist
opam remove opam-ed -a
opam switch 4.10.1
opam remove opam-bin
opam bin uninstall
opam switch empty
opam switch remove 4.10.1
opam bin uninstall
opam clean -a -c -r --logs --unused-repositories
amutake commented 3 years ago

sed -z 's/depends[^]]*]//' -i ~/.opam/empty/.opam-switch/overlay/satysfi/opam instead of opam-ed

amutake commented 3 years ago

blog post: http://amutake.hatenablog.com/entry/2020/11/23/215434