Light

Try using opam-bin to reduce image size of non-slim images about docker-satysfi HOT 7 CLOSED

amutake commented on September 25, 2024 1

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

from docker-satysfi.

Comments (7)

amutake commented on September 25, 2024

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.

from docker-satysfi.

amutake commented on September 25, 2024

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

from docker-satysfi.

amutake commented on September 25, 2024

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.

from docker-satysfi.

amutake commented on September 25, 2024

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 <[email protected]>
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 <[email protected]>"
              "puripuri2100 <[email protected]>"
              "Yuito Murase <[email protected]>"
maintainer:   "Yuichi Nishiwaki <[email protected]>"
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 <[email protected]>"
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#

from docker-satysfi.

amutake commented on September 25, 2024

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

from docker-satysfi.

amutake commented on September 25, 2024

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

from docker-satysfi.

amutake commented on September 25, 2024

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

from docker-satysfi.

Related Issues (15)

Try to use multi-stage build to reduce image size HOT 10
Re-release 0.0.4 series HOT 1
Nightly build HOT 2
Remove unnecessary ocaml compilers HOT 1
linux/arm64 support
Reorganize tags HOT 1
0.0.5-59
Support arm64 for nightly
Use -ccopt -static
Consider using alpine
Notify satyrographos-repo update
nightly build failed HOT 1
CI: Use --cache-from to speed-up build time
Dependency Dashboard

Recommend Projects

React

A declarative, efficient, and flexible JavaScript library for building user interfaces.
Vue.js

🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
TensorFlow

An Open Source Machine Learning Framework for Everyone
Django

The Web framework for perfectionists with deadlines.
Laravel

A PHP framework for web artisans
D3

Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

javascript

JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
web

Some thing interesting about web. New door for the world.
server

A server is a program made to process requests and deliver data to clients.
Machine learning

Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Visualization

Some thing interesting about visualization, use data art
Game

Some thing interesting about game, make everyone happy.

Recommend Org

Facebook

We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft

Open source projects and samples from Microsoft.
Google

Google ❤️ Open Source for everyone.
Alibaba

Alibaba Open Source for everyone
D3

Data-Driven Documents codes.
Tencent

China tencent open source team.