From 4f22173bd17d3edc2ea79321b1f5b8f3c23b9d6e Mon Sep 17 00:00:00 2001 From: "satyrographos-repo-gh-action[bot]" <76640024+satyrographos-repo-gh-action[bot]@users.noreply.github.com> Date: Sun, 1 Oct 2023 21:47:22 +0900 Subject: [PATCH] [Automated] Update develop snapshot (#661) * Update develop snapshots * Use Satyrographos 0.0.2.13 for develop snapshot --------- Co-authored-by: na4zagin3 Co-authored-by: Sakamoto Noriaki --- .../satysfi-dist.0.0.9-6-ge0304803/opam | 57 +++++++++++++++++++ .../satysfi/satysfi.0.0.9-6-ge0304803/opam | 42 ++++++++++++++ snapshot-develop.opam | 4 +- 3 files changed, 101 insertions(+), 2 deletions(-) create mode 100644 packages/satysfi-dist/satysfi-dist.0.0.9-6-ge0304803/opam create mode 100644 packages/satysfi/satysfi.0.0.9-6-ge0304803/opam diff --git a/packages/satysfi-dist/satysfi-dist.0.0.9-6-ge0304803/opam b/packages/satysfi-dist/satysfi-dist.0.0.9-6-ge0304803/opam new file mode 100644 index 00000000..8638c46e --- /dev/null +++ b/packages/satysfi-dist/satysfi-dist.0.0.9-6-ge0304803/opam @@ -0,0 +1,57 @@ +opam-version: "2.0" +maintainer: "SAKAMOTO Noriaki " +authors: [ + "gfngfn" +] +extra-source "temp/lm2.004otf.zip" { + archive: "https://www.gust.org.pl/projects/e-foundry/latin-modern/download/lm2.004otf.zip" + checksum: [ + "sha256=5b0236051d3728be6616f1b274e3b910473875b5a3ef9382f0ef00384ddb161b" + "sha512=c63068c86590e768498ef5f68a17a737aa40981432d8f6366c29760ea032a603ddd3d748d348ab259beba77966c292f9382b1fe9eb7a78af0926c6abc71f6f81" + ] +} +extra-source "temp/latinmodern-math-1959.zip" { + archive: "https://www.gust.org.pl/projects/e-foundry/lm-math/download/latinmodern-math-1959.zip" + checksum: [ + "sha256=aaaa060b4ffc091461e875efb9498b9abfa7c7a48f38eb33882868839903a4f8" + "sha512=b4fb4b575107b56eee0fed7971b09d334d4b162842675cf5f5ff7cb12e08099fb00755c81ddc1f04138f87b216592299028906165e2cec43521c6ca61b466d4c" + ] +} +extra-source "temp/junicode-1.002.zip" { + archive: "http://downloads.sourceforge.net/project/junicode/junicode/junicode-1.002/junicode-1.002.zip" + checksum: [ + "sha256=c199d96c8424be60fcab8d00d2eee39ea8ae632cfd5e710cbbd70626d6a729e7" + "sha512=1738802f70b0029567be608ed36481864f8f7f029fd1c45d73fa25d092d49c978c51df1c01147b7b176e9b0409d7f15d5713a6daf1b1b269636bc6324b2c6f37" + ] +} +extra-source "temp/IPAexfont00401.zip" { + archive: "https://moji.or.jp/wp-content/ipafont/IPAexfont/IPAexfont00401.zip" + mirrors: [ + "https://github.com/na4zagin3/satysfi-dist-font-archives/raw/master/IPAJ/IPAexfont00401.zip" + ] + checksum: [ + "sha256=bcf8374ab3f9672c421120430dd19a51c99f5265cf06fc340d9a661ddfd7974b" + "sha512=fe639ded0a25eed66df8cc1e9d5e965b501574a25fab542a749b3cb8464690448e44343ff5845aecd3224ec481c4089ee56e64880cbbc9211a260b22d4cc68cd" + ] +} +homepage: "https://github.com/gfngfn/SATySFi" +dev-repo: "git+https://github.com/gfngfn/SATySFi.git" +bug-reports: "https://github.com/gfngfn/SATySFi/issues" +build: [ + ["./download-fonts.sh"] +] +install: [ + ["./install-libs.sh" "%{share}%/satysfi"] +] +remove: [ + ["rm" "-rf" "%{share}%/satysfi/dist"] +] +depends: [ + "satysfi" {= "%{version}%" } +] +synopsis: "Standard library of SATySFi" +description: """ +Provides the standard library of SATySFi""" +url { + git: "git+https://github.com/gfngfn/SATySFi.git#e0304803fe785fe2f2afc2243bc3213505729223" +} diff --git a/packages/satysfi/satysfi.0.0.9-6-ge0304803/opam b/packages/satysfi/satysfi.0.0.9-6-ge0304803/opam new file mode 100644 index 00000000..810715b7 --- /dev/null +++ b/packages/satysfi/satysfi.0.0.9-6-ge0304803/opam @@ -0,0 +1,42 @@ +opam-version: "2.0" +maintainer: "Takashi Suwa" +authors: [ + "Takashi Suwa" +] +homepage: "https://github.com/gfngfn/SATySFi" +dev-repo: "git+https://github.com/gfngfn/SATySFi.git" +bug-reports: "https://github.com/gfngfn/SATySFi/issues" +build: [ + ["mkdir" "-p" "temp"] + [make "-f" "Makefile" "PREFIX=%{prefix}%"] +] +install: [ + [make "-f" "Makefile" "install" "PREFIX=%{prefix}%"] +] +remove: [ + [make "-f" "Makefile" "uninstall" "PREFIX=%{prefix}%"] +] +# Packages whose version suffix is "+satysfi" are distributed on satysfi-external-repo. +depends: [ + "ocaml" {>= "4.12.0"} + "batteries" + "camlimages" {>= "5.0.1"} + "camlpdf" {= "2.3.1+satysfi"} + "core_kernel" {>= "v0.15"} + "cppo" {build & >= "1.6.4" & < "1.7.0"} + "dune" {build} + "menhir" + "ocamlfind" {build} + "otfed" {= "0.3.1"} + "ppx_deriving" + "re" {build} + "uutf" + "yojson-with-position" {= "1.4.2+satysfi"} + "omd" {< "2.0.0~"} +] +synopsis: "A statically-typed, functional typesetting system" +description: """ +SATySFi is a typesetting system equipped with a statically-typed, functional programming language. 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 OCaml-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.""" +url { + git: "git+https://github.com/gfngfn/SATySFi.git#e0304803fe785fe2f2afc2243bc3213505729223" +} diff --git a/snapshot-develop.opam b/snapshot-develop.opam index 42ecf7f3..383f2b83 100644 --- a/snapshot-develop.opam +++ b/snapshot-develop.opam @@ -13,9 +13,9 @@ synopsis: "Snapshot of stable libraries in Satyrographos Repo" depends: [ "dune" {build} "ocaml" {>= "4.10.0"} - "satysfi" {= "0.0.8"} + "satysfi" {= "0.0.9-6-ge0304803"} "satysfi-dist" - "satyrographos" {= "0.0.2.11"} + "satyrographos" {= "0.0.2.13"} # Package List