Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Package satysfi-base.1.6.0 #653

Open
wants to merge 2 commits into
base: master
Choose a base branch
from
Open

Package satysfi-base.1.6.0 #653

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
f32e327
Package satysfi-base.1.6.0
zeptometer Sep 26, 2023
417953d
Allow unlimit stack size for OCaml 4.11 and 4.12
na4zagin3 Sep 28, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 7 additions & 0 deletions ci.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -34,6 +34,13 @@ if [ $TIMESTAMP_DEADLINE_WORKAROUND_OPAM_BUG_STRICT -ge $TIMESTAMP_NOW ] ; then
WORKAROUND_OPAM_BUG_STRICT=1
fi

case "$(ocamlc --version)" in
4.1[1-2].*)
# OCaml optimizer may produce code that require extremely large stack size.
# See https://github.com/ocaml/ocaml/issues/9839
ulimit -s unlimited
esac

OCAML_PACKAGE="ocaml.$(opam show --color=never -f version ocaml)"

if [ -n "$SKIP_OLDEST_DEPS" ] || ! opam install --yes opam-0install
Expand Down
37 changes: 37 additions & 0 deletions packages/satysfi-base/satysfi-base.1.6.0/opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,37 @@
opam-version: "2.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.
"""
maintainer: "Yuichi Nishiwaki <yuichi.nishiwaki@gmail.com>"
authors: [
"Yuichi Nishiwaki <yuichi.nishiwaki@gmail.com>"
"puripuri2100 <puripuri2100@gmail.com>"
"Yuito Murase <yuito.murase@gmail.com>"
]
license: "MIT"
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"
depends: [
"satysfi" {>= "0.0.5" & < "0.1"}
"satysfi-dist"
"satyrographos" {>= "0.0.2.6" & < "0.0.3"}
"satysfi-fonts-dejavu" {>= "2.37"}
]
install: [
["satyrographos" "opam" "install"
"--name" "base"
"--prefix" "%{prefix}%"
"--script" "%{build}%/Satyristes"]
]
url {
src:
"https://github.com/nyuichi/satysfi-base/archive/refs/tags/1.6.0.tar.gz"
checksum: [
"md5=b853f692f4c38026d249c146f8b3ee98"
"sha512=8f6f6e6a1c1f269aa98dbd243971af87d3bd96cb16f8eb843f1e2ee7476e20a5b5af2fc0a39986cbcd9383bd0143fcf9e29b4aa920f79c98b1480804443eb8a2"
]
}
Loading