Skip to content

Package catala.1.0.0-alpha #28280

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

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

Package catala.1.0.0-alpha #28280

Changes from 2 commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
c8e77bb
Package catala.1.0.0-alpha
denismerigoux Jul 31, 2025
066149a
Use tilde instead of dash
denismerigoux Jul 31, 2025
a3fb7d5
Fix issues and use updated home repo tag
denismerigoux Aug 6, 2025
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
84 changes: 84 additions & 0 deletions packages/catala/catala.1.0.0~alpha/opam
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,84 @@
opam-version: "2.0"
synopsis:
"Compiler and library for the literate programming language for tax code specification"
description:
"Catala is a domain-specific language for deriving faithful-by-construction algorithms from legislative texts. See https://catala-lang.org for more information"
maintainer: "[email protected]"
authors: [
"Denis Merigoux"
"Nicolas Chataing"
"Emile Rolley"
"Louis Gesbert"
"Aymeric Fromherz"
"Alain Delaët-Tixeuil"
"Raphaël Monat"
]
license: "Apache-2.0"
homepage: "https://github.com/CatalaLang/catala"
bug-reports: "https://github.com/CatalaLang/catala/issues"
depends: [
"ocolor" {>= "1.3.0"}
"bindlib" {>= "6.0"}
"cmdliner" {>= "1.1.0"}
"cppo" {>= "1"}
"dates_calc" {>= "0.0.7"}
"dune" {>= "3.13"}
"js_of_ocaml-ppx" {= "4.1.0"}
"menhir" {>= "20200211"}
"menhirLib" {>= "20200211"}
"ocaml" {>= "4.14.0"}
"ocamlfind" {!= "1.9.5"}
"ocamlgraph" {>= "1.8.8"}
"re" {>= "1.11"}
"sedlex" {>= "3.2"}
"uucp" {>= "10"}
"ubase" {>= "0.05"}
"zarith" {>= "1.12"}
"zarith_stubs_js" {>= "v0.14.1"}
"yojson" {>= "2.1.2" }
"crunch" {>= "3.0.0"}
"alcotest" {>= "1.5.0"}
"ninja_utils" {= "0.9.0"}
"odoc" {with-doc}
"ocamlformat" {cataladevmode & = "0.26.0"}
"obelisk" {cataladevmode}
"conf-npm" {cataladevmode}
"conf-python-3-dev" {cataladevmode}
"conf-openjdk" {cataladevmode}
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
"conf-openjdk" {cataladevmode}
"conf-openjdk"

This seems to be necessary:

ile "runtimes/java/dune", line 9, characters 8-13:
# 9 |    (run javac @java.files -d _build)
#             ^^^^^
# Error: Program javac not found in the tree or in PATH
#  (context: default)

Instad of cataladevmode you can use with-dev-setup

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for the tip! I now use with-dev-steup and made the conf-openjdk dependency mandatory, let's see how it goes through the CI :)

"cpdf" {cataladevmode}
"conf-pandoc" {cataladevmode}
"z3" {catalaz3mode}
"conf-ninja"
"otoml" {>= "1.0"}
]
depopts: ["z3"]
conflicts: [
"z3" {< "4.8.11"}
"base" {>= "v0.16.0"}
]
build: [
"dune"
"build"
"-p"
name
"-j"
jobs
"@install"
"@runtest" {with-test}
"@doc" {with-doc}
]
dev-repo: "git+https://github.com/CatalaLang/catala"
depexts: [
["groff"] { with-doc }
["python3-pip"] {cataladevmode & os-family = "debian"}
["py3-pip" "py3-pygments"] {cataladevmode & os-distribution = "alpine"}
["python-pygments"] {cataladevmode & os-family = "arch"}
]
url {
src:
"https://github.com/CatalaLang/catala/archive/refs/tags/v1.0.0-alpha.tar.gz"
checksum: [
"md5=ca75801a6e5f24c9e93070773fdddb86"
"sha512=c14b0f6d3e9eaed7d7297006a403268349afdddb8122311dcc79ff1be59886268db4f539b0a94510777112490fe9d769c4c3a51bedc15858ab89f272ee0cae6a"
]
}
Loading